pyrox.dev
coqtail-math: init at 20201124
authored by Ben Siraphob and committed by Vincent Laporte 970b82e7 b5eec8b7
+19
pkgs/development/coq-modules/coqtail-math/default.nix
+19
pkgs/development/coq-modules/coqtail-math/default.nix
···
1
+
{ lib, mkCoqDerivation, coq, version ? null }:
2
+
3
+
with lib;
4
+
5
+
mkCoqDerivation {
6
+
pname = "coqtail-math";
7
+
owner = "coq-community";
8
+
inherit version;
9
+
defaultVersion = if versions.range "8.11" "8.13" coq.coq-version then "20201124" else null;
10
+
release."20201124".rev = "5c22c3d7dcd8cf4c47cf84a281780f5915488e9e";
11
+
release."20201124".sha256 = "sha256-wd+Lh7dpAD4zfpyKuztDmSFEZo5ZiFrR8ti2jUCVvoQ=";
12
+
13
+
buildInputs = with coq.ocamlPackages; [ ocaml findlib ];
14
+
15
+
meta = {
16
+
license = licenses.lgpl3Only;
17
+
maintainers = [ maintainers.siraben ];
18
+
};
19
+
}
+1
pkgs/top-level/coq-packages.nix
+1
pkgs/top-level/coq-packages.nix
···
27
27
coqeal = callPackage ../development/coq-modules/coqeal {};
28
28
coqhammer = callPackage ../development/coq-modules/coqhammer {};
29
29
coqprime = callPackage ../development/coq-modules/coqprime {};
30
+
coqtail-math = callPackage ../development/coq-modules/coqtail-math {};
30
31
coquelicot = callPackage ../development/coq-modules/coquelicot {};
31
32
corn = callPackage ../development/coq-modules/corn {};
32
33
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};