ITree: init at 4.0.0
This commit is contained in:
parent
79d6e2a2b7
commit
7e73508a5f
17
pkgs/development/coq-modules/ITree/default.nix
Normal file
17
pkgs/development/coq-modules/ITree/default.nix
Normal file
|
@ -0,0 +1,17 @@
|
||||||
|
{ lib, mkCoqDerivation, coq, version ? null , paco, coq-ext-lib }:
|
||||||
|
|
||||||
|
with lib; mkCoqDerivation rec {
|
||||||
|
pname = "ITree";
|
||||||
|
owner = "DeepSpec";
|
||||||
|
inherit version;
|
||||||
|
defaultVersion = with versions; switch coq.coq-version [
|
||||||
|
{ case = range "8.10" "8.13"; out = "4.0.0"; }
|
||||||
|
] null;
|
||||||
|
release."4.0.0".sha256 = "0h5rhndl8syc24hxq1gch86kj7mpmgr89bxp2hmf28fd7028ijsm";
|
||||||
|
releaseRev = v: "${v}";
|
||||||
|
propagatedBuildInputs = [ coq-ext-lib paco ];
|
||||||
|
meta = {
|
||||||
|
description = "A Library for Representing Recursive and Impure Programs in Coq";
|
||||||
|
maintainers = with maintainers; [ larsr ];
|
||||||
|
};
|
||||||
|
}
|
|
@ -42,6 +42,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 {};
|
||||||
|
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 { };
|
||||||
mathcomp = callPackage ../development/coq-modules/mathcomp {};
|
mathcomp = callPackage ../development/coq-modules/mathcomp {};
|
||||||
|
|
Loading…
Reference in a new issue