pyrox.dev
lol
1{ lib, mkCoqDerivation, coq, version ? null }:
2
3mkCoqDerivation {
4 pname = "Vpl";
5 owner = "VERIMAG-Polyhedra";
6 inherit version;
7
8 defaultVersion = if lib.versions.range "8.8" "8.9" coq.coq-version then "0.5" else null;
9
10 release."0.5".sha256 = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o=";
11
12 sourceRoot = "source/coq";
13
14 meta = {
15 description = "Coq interface to VPL abstract domain of convex polyhedra";
16 homepage = "https://amarechal.gitlab.io/home/projects/vpl/";
17 license = lib.licenses.lgpl3Only;
18 maintainers = [ lib.maintainers.vbgl ];
19 };
20}