pkgs/development/ocaml-modules/vpl-core/default.nix

   1 {
   2   lib,
   3   fetchFromGitHub,
   4   buildDunePackage,
   5   zarith,
   6 }:
   7
   8 buildDunePackage 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 }