Commit 4027ca26 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.Vpl: init at 0.5

parent 431fd13c

pkgs/development/coq-modules/Vpl/default.nix

0 → 100644
+17 −0
Original line number Diff line number Diff line 
{ lib, mkCoqDerivation, coq, version ? null }:



mkCoqDerivation {

  pname = "Vpl";

  owner = "VERIMAG-Polyhedra";

  inherit version;



  defaultVersion = if lib.versions.range "8.8" "8.9" coq.coq-version then "0.5" else null;



  release."0.5".sha256 = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o=";



  sourceRoot = "source/coq";



  meta = coq.ocamlPackages.vpl-core.meta // {

    description = "Coq interface to VPL abstract domain of convex polyhedra";

  };

}

pkgs/top-level/coq-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -125,6 +125,7 @@ let 
      vcfloat = callPackage ../development/coq-modules/vcfloat {};

      Velisarios = callPackage ../development/coq-modules/Velisarios {};

      Verdi = callPackage ../development/coq-modules/Verdi {};

      Vpl = callPackage ../development/coq-modules/Vpl {};

      vscoq-language-server = callPackage ../development/coq-modules/vscoq-language-server {};

      VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs

        (lib.versionAtLeast self.coq.version "8.14") {