tjh.dev
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.3")
23 (case (range "8.12" "8.20") "3.4.2")
24 (case (range "8.12" "8.18") "3.4.0")
25 (case (range "8.12" "8.17") "3.3.0")
26 (case (range "8.8" "8.16") "3.2.0")
27 (case (range "8.8" "8.13") "3.1.0")
28 (case (range "8.5" "8.9") "3.0.2")
29 ] null;
30 release."3.4.3".sha256 = "sha256-bzzAIENU2OYTtmdBU9Xw8zyBvz9vqTiqjWSm7RnXXRA=";
31 release."3.4.2".sha256 = "sha256-aBTF8ZKu67Rb3ryCqFyejUXf/65KgG8i5je/ZMFSrj4=";
32 release."3.4.1".sha256 = "sha256-REhvIBl3EaL8CQqI34Gn7Xjf9NhPI3nrUAO26pSLbm0=";
33 release."3.4.0".sha256 = "sha256-LIj2SwTvVBxSAO58VYCQix/uxQQe8ey6hqFOSh3PNcg=";
34 release."3.3.1".sha256 = "sha256-YCvd4aIt2BxLKBYSWzN7aqo0AuY7z8oADmKvybhYBQI=";
35 release."3.3.0".sha256 = "sha256-bh9qP/EhWrHpTe2GMGG3S2vgBSSK088mFfhAIGejVoU=";
36 release."3.2.0".sha256 = "07w7dbl8x7xxnbr2q39wrdh054gvi3daqjpdn1jm53crsl1fjxm4";
37 release."3.1.0".sha256 = "02i0djar13yk01hzaqprcldhhscn9843x9nf6x3jkv4wv1jwnx9f";
38 release."3.0.2".sha256 = "1rqfbbskgz7b1bcpva8wh3v3456sq2364y804f94sc8y5sij23nl";
39 releaseRev = v: "coquelicot-${v}";
40
41 nativeBuildInputs = [ autoconf ];
42 propagatedBuildInputs = [
43 stdlib
44 mathcomp-boot
45 ];
46 useMelquiondRemake.logpath = "Coquelicot";
47
48 meta = with lib; {
49 homepage = "http://coquelicot.saclay.inria.fr/";
50 description = "Coq library for Reals";
51 license = licenses.lgpl3;
52 maintainers = [ maintainers.vbgl ];
53 };
54}