1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 zarith,
6}:
7
8buildDunePackage rec {
9 pname = "vpl-core";
10 version = "0.5";
11
12 minimalOCamlVersion = "4.07";
13
14 src = fetchFromGitHub {
15 owner = "VERIMAG-Polyhedra";
16 repo = "vpl";
17 rev = version;
18 hash = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o=";
19 };
20
21 propagatedBuildInputs = [
22 zarith
23 ];
24
25 meta = {
26 description = "Verified Polyhedra Library";
27 homepage = "https://amarechal.gitlab.io/home/projects/vpl/";
28 license = lib.licenses.lgpl3Only;
29 maintainers = [ lib.maintainers.vbgl ];
30 };
31
32}