tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 pname = "Vpl";
10 owner = "VERIMAG-Polyhedra";
11 inherit version;
12
13 defaultVersion = if lib.versions.range "8.8" "8.9" coq.coq-version then "0.5" else null;
14
15 release."0.5".sha256 = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o=";
16
17 setSourceRoot = "sourceRoot=$(echo */coq)";
18
19 meta = {
20 description = "Coq interface to VPL abstract domain of convex polyhedra";
21 homepage = "https://amarechal.gitlab.io/home/projects/vpl/";
22 license = lib.licenses.lgpl3Only;
23 maintainers = [ lib.maintainers.vbgl ];
24 };
25}