pyrox.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 zorns-lemma,
6 version ? null,
7}:
8
9mkCoqDerivation {
10 pname = "topology";
11
12 releaseRev = v: "v${v}";
13
14 release."10.2.0".sha256 = "sha256-xLi3uRQBKL9KiLd4FBnbTPxh8TjdN8IEW/1D7n2B+xY=";
15 release."9.0.0".sha256 = "sha256:03lgy53xg9pmrdd3d8qb4087k5qjnk260655svp6d79x4p2lxr8c";
16 release."8.12.0".sha256 = "sha256-ypHmHwzwZ6MQPYwuS3QyZmVOEPUCSbO2lhVaA6TypgQ=";
17 release."8.10.0".sha256 = "sha256-mCLF3JYIiO3AEW9yvlcLeF7zN4SjW3LG+Y5vYB0l55A=";
18 release."8.9.0".sha256 = "sha256-ZJh1BM34iZOQ75zqLIA+KtBjO2y33y0UpAw/ydCWQYc=";
19 release."8.8.0".sha256 = "sha256-Yfm3UymEP1e+BKMNPhdRFLdFhynMirtQ8E0HXnRiqHU=";
20 release."8.7.0".sha256 = "sha256-qcZQKvMRs5wWIAny8ciF9TrmEQfKKO9fWhwIRL+s7VA=";
21 release."8.6.0".sha256 = "sha256-eu/dBEFo3y6vnXlJljUD4hds6+qgAPQVvsuspyGHcj8=";
22
23 inherit version;
24 defaultVersion =
25 with lib.versions;
26 lib.switch coq.coq-version [
27 {
28 case = range "8.12" "8.18";
29 out = "10.2.0";
30 }
31 {
32 case = range "8.10" "8.16";
33 out = "9.0.0";
34 }
35 {
36 case = "8.9";
37 out = "8.9.0";
38 }
39 {
40 case = "8.8";
41 out = "8.8.0";
42 }
43 {
44 case = "8.7";
45 out = "8.7.0";
46 }
47 {
48 case = "8.6";
49 out = "8.6.0";
50 }
51 ] null;
52
53 propagatedBuildInputs = [ zorns-lemma ];
54
55 useDuneifVersion = lib.versions.isGe "9.0";
56
57 meta = with lib; {
58 description = "General topology in Coq";
59 longDescription = ''
60 This library develops some of the basic concepts and results of
61 general topology in Coq.
62 '';
63 maintainers = with maintainers; [ siraben ];
64 license = licenses.lgpl21Plus;
65 };
66}