tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 mathcomp,
6 stdlib,
7 version ? null,
8}:
9
10mkCoqDerivation {
11 pname = "reglang";
12
13 releaseRev = v: "v${v}";
14
15 release."1.2.2".sha256 = "sha256-js1JaLSpYbxfiAfh8XvGsnJpx5DV13heouUm3oeBfNg=";
16 release."1.2.1".sha256 = "sha256-giCRK8wzpVVzXAkFAieQDWqSsP7upSJSUUHkwG4QqO4=";
17 release."1.2.0".sha256 = "sha256-gSqQ7D2HLwM4oYopTWkMFYfYXxsH/7VxI3AyrLwNf3o=";
18 release."1.1.3".sha256 = "sha256-kaselYm8K0JBsTlcI6K24m8qpv8CZ9+VNDJrOtFaExg=";
19 release."1.1.2".sha256 = "sha256-SEnMilLNxh6a3oiDNGLaBr8quQ/nO2T9Fwdf/1il2Yk=";
20
21 inherit version;
22 defaultVersion =
23 let
24 case = coq: mc: out: {
25 cases = [
26 coq
27 mc
28 ];
29 inherit out;
30 };
31 in
32 with lib.versions;
33 lib.switch
34 [ coq.coq-version mathcomp.version ]
35 [
36 (case (range "8.16" "9.1") (range "2.0.0" "2.4.0") "1.2.2")
37 (case (range "8.16" "9.0") (range "2.0.0" "2.3.0") "1.2.1")
38 (case (range "8.16" "8.18") (range "2.0.0" "2.1.0") "1.2.0")
39 (case (range "8.10" "8.20") (isLt "2.0.0") "1.1.3")
40 ]
41 null;
42
43 propagatedBuildInputs = [
44 mathcomp.ssreflect
45 stdlib
46 ];
47
48 meta = with lib; {
49 description = "Regular Language Representations in Coq";
50 maintainers = with maintainers; [ siraben ];
51 license = licenses.cecill-b;
52 platforms = platforms.unix;
53 };
54}