Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
587 B · 32 lines
Nix
123456789101112131415161718192021222324252627282930313233{ lib, fetchFromGitHub, buildDunePackage, zarith,}:
buildDunePackage rec { pname = "vpl-core"; version = "0.5";
minimalOCamlVersion = "4.07";
src = fetchFromGitHub { owner = "VERIMAG-Polyhedra"; repo = "vpl"; rev = version; hash = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o="; };
propagatedBuildInputs = [ zarith ];
meta = { description = "Verified Polyhedra Library"; homepage = "https://amarechal.gitlab.io/home/projects/vpl/"; license = lib.licenses.lgpl3Only; maintainers = [ lib.maintainers.vbgl ]; };
}