Stream: Coq users

Topic: Not able to install VPL library

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


I am doing a Final Bachelor Thesis on Polyhedra, and I need to install the VPL library 8 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.

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: 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:

Last updated: Jun 22 2024 at 15:01 UTC