tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 autoconf,
5 coq,
6 stdlib,
7 mathcomp-boot,
8 version ? null,
9}:
10
11mkCoqDerivation {
12 pname = "coquelicot";
13 owner = "coquelicot";
14 domain = "gitlab.inria.fr";
15 inherit version;
16 defaultVersion =
17 let
18 case = case: out: { inherit case out; };
19 in
20 with lib.versions;
21 lib.switch coq.coq-version [
22 (case (range "8.12" "9.1") "3.4.4")
23 (case (range "8.12" "9.1") "3.4.3")
24 (case (range "8.12" "8.20") "3.4.2")
25 (case (range "8.12" "8.18") "3.4.0")
26 (case (range "8.12" "8.17") "3.3.0")
27 (case (range "8.8" "8.16") "3.2.0")
28 (case (range "8.8" "8.13") "3.1.0")
29 (case (range "8.5" "8.9") "3.0.2")
30 ] null;
31 release."3.4.4".sha256 = "sha256-xuL1ZpAfiBvQwXGjS7aN2N7KqSZlw+ywB8HvL9/Bjqs=";
32 release."3.4.3".sha256 = "sha256-bzzAIENU2OYTtmdBU9Xw8zyBvz9vqTiqjWSm7RnXXRA=";
33 release."3.4.2".sha256 = "sha256-aBTF8ZKu67Rb3ryCqFyejUXf/65KgG8i5je/ZMFSrj4=";
34 release."3.4.1".sha256 = "sha256-REhvIBl3EaL8CQqI34Gn7Xjf9NhPI3nrUAO26pSLbm0=";
35 release."3.4.0".sha256 = "sha256-LIj2SwTvVBxSAO58VYCQix/uxQQe8ey6hqFOSh3PNcg=";
36 release."3.3.1".sha256 = "sha256-YCvd4aIt2BxLKBYSWzN7aqo0AuY7z8oADmKvybhYBQI=";
37 release."3.3.0".sha256 = "sha256-bh9qP/EhWrHpTe2GMGG3S2vgBSSK088mFfhAIGejVoU=";
38 release."3.2.0".sha256 = "07w7dbl8x7xxnbr2q39wrdh054gvi3daqjpdn1jm53crsl1fjxm4";
39 release."3.1.0".sha256 = "02i0djar13yk01hzaqprcldhhscn9843x9nf6x3jkv4wv1jwnx9f";
40 release."3.0.2".sha256 = "1rqfbbskgz7b1bcpva8wh3v3456sq2364y804f94sc8y5sij23nl";
41 releaseRev = v: "coquelicot-${v}";
42
43 nativeBuildInputs = [ autoconf ];
44 propagatedBuildInputs = [
45 stdlib
46 mathcomp-boot
47 ];
48 useMelquiondRemake.logpath = "Coquelicot";
49
50 meta = {
51 homepage = "http://coquelicot.saclay.inria.fr/";
52 description = "Coq library for Reals";
53 license = lib.licenses.lgpl3;
54 maintainers = [ lib.maintainers.vbgl ];
55 };
56}