coqPackages.itauto: init at 8.13+no
This commit is contained in:
parent
dd9790a83f
commit
9fd32c9121
24
pkgs/development/coq-modules/itauto/default.nix
Normal file
24
pkgs/development/coq-modules/itauto/default.nix
Normal file
|
@ -0,0 +1,24 @@
|
||||||
|
{ lib, mkCoqDerivation, coq, version ? null }:
|
||||||
|
with lib;
|
||||||
|
|
||||||
|
mkCoqDerivation rec {
|
||||||
|
pname = "itauto";
|
||||||
|
owner = "fbesson";
|
||||||
|
domain = "gitlab.inria.fr";
|
||||||
|
|
||||||
|
release."8.13+no".sha256 = "sha256-gXoxtLcHPoyjJkt7WqvzfCMCQlh6kL2KtCGe3N6RC/A=";
|
||||||
|
inherit version;
|
||||||
|
defaultVersion = with versions; switch coq.coq-version [
|
||||||
|
{ case = isGe "8.13"; out = "8.13+no"; }
|
||||||
|
] null;
|
||||||
|
|
||||||
|
mlPlugin = true;
|
||||||
|
extraBuildInputs = (with coq.ocamlPackages; [ ocamlbuild ]);
|
||||||
|
enableParallelBuilding = false;
|
||||||
|
|
||||||
|
meta = {
|
||||||
|
description = "A reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support";
|
||||||
|
maintainers = with maintainers; [ siraben ];
|
||||||
|
license = licenses.gpl3Plus;
|
||||||
|
};
|
||||||
|
}
|
|
@ -49,6 +49,7 @@ let
|
||||||
interval = callPackage ../development/coq-modules/interval {};
|
interval = callPackage ../development/coq-modules/interval {};
|
||||||
InfSeqExt = callPackage ../development/coq-modules/InfSeqExt {};
|
InfSeqExt = callPackage ../development/coq-modules/InfSeqExt {};
|
||||||
iris = callPackage ../development/coq-modules/iris {};
|
iris = callPackage ../development/coq-modules/iris {};
|
||||||
|
itauto = callPackage ../development/coq-modules/itauto { };
|
||||||
ITree = callPackage ../development/coq-modules/ITree { };
|
ITree = callPackage ../development/coq-modules/ITree { };
|
||||||
ltac2 = callPackage ../development/coq-modules/ltac2 {};
|
ltac2 = callPackage ../development/coq-modules/ltac2 {};
|
||||||
math-classes = callPackage ../development/coq-modules/math-classes { };
|
math-classes = callPackage ../development/coq-modules/math-classes { };
|
||||||
|
|
Loading…
Reference in a new issue