Stream: Coq users

Topic: Not able to install VPL library


view this post on Zulip Pablo (Feb 26 2024 at 17:58):

Hello,

I am doing a Final Bachelor Thesis on Polyhedra, and I need to install the VPL library 8https://github.com/VERIMAG-Polyhedra/VPL/tree/master) but I am unable to install the opam package coq-vpltactic. An error occurs, which I show in a picture in this message. I also upload a picture of my 'opam list' packages. Thanks in advance.
Screenshot-from-2024-02-26-18-57-51.png
Screenshot-from-2024-02-26-18-58-16.png

view this post on Zulip Vincent Laporte (Mar 10 2024 at 06:13):

Hi Pablo. I’d like to draw your attention on the following: https://github.com/NixOS/nixpkgs/pull/294475 Once this lands in nixpkgs, it should be easier to install the VplTactic library through the nix package manager.

view this post on Zulip Karl Palmskog (Mar 11 2024 at 13:57):

also, if someone submits an opam package here, it should be installable via opam: https://github.com/coq/opam


Last updated: Jun 22 2024 at 15:01 UTC