Commit 453b69da authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.VplTactic: init at 0.5

parent 4027ca26

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

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



mkCoqDerivation {

  pname = "VplTactic";

  owner = "VERIMAG-Polyhedra";

  defaultVersion = if lib.versions.isEq "8.9" coq.version then "0.5" else null;



  release."0.5".rev = "487e3aff8446bed2c5116cefc7d71d98a06e85de";

  release."0.5".sha256 = "sha256-4h0hyvj9R+GOgnGWQFDi0oENLZPiJoimyK1q327qvIY=";



  buildInputs = [ coq.ocamlPackages.vpl-core ];

  propagatedBuildInputs = [ Vpl ];

  mlPlugin = true;



  meta = Vpl.meta // {

    description = "A Coq Tactic for Arithmetic (based on VPL)";

  };

}

pkgs/top-level/coq-packages.nix

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

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

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

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

      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") {