pyrox.dev
coqPackages.LibHyps: init at 2.0.4.1
authored by Théo Zimmermann and committed by Vincent Laporte 7fa2a723 13754a02
+21
pkgs/development/coq-modules/LibHyps/default.nix
+21
pkgs/development/coq-modules/LibHyps/default.nix
···
1
+
{ lib, mkCoqDerivation, coq, version ? null }:
2
+
3
+
with lib;
4
+
mkCoqDerivation {
5
+
pname = "LibHyps";
6
+
owner = "Matafou";
7
+
inherit version;
8
+
defaultVersion = if (versions.range "8.11" "8.15") coq.version then "2.0.4.1" else null;
9
+
release = {
10
+
"2.0.4.1".sha256 = "09p89701zhrfdmqlpxw3mziw8yylj1w1skb4b0xpbdwd1vsn4k3h";
11
+
};
12
+
13
+
configureScript = "./configure.sh";
14
+
15
+
releaseRev = (v: "libhyps-${v}");
16
+
17
+
meta = {
18
+
description = "Hypotheses manipulation library";
19
+
license = licenses.mit;
20
+
};
21
+
}
+1
pkgs/top-level/coq-packages.nix
+1
pkgs/top-level/coq-packages.nix
···
58
58
iris = callPackage ../development/coq-modules/iris {};
59
59
itauto = callPackage ../development/coq-modules/itauto { };
60
60
ITree = callPackage ../development/coq-modules/ITree { };
61
+
LibHyps = callPackage ../development/coq-modules/LibHyps {};
61
62
ltac2 = callPackage ../development/coq-modules/ltac2 {};
62
63
math-classes = callPackage ../development/coq-modules/math-classes { };
63
64
mathcomp = callPackage ../development/coq-modules/mathcomp {};