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