tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
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.5.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 = {
49 description = "Regular Language Representations in Coq";
50 maintainers = with lib.maintainers; [ siraben ];
51 license = lib.licenses.cecill-b;
52 platforms = lib.platforms.unix;
53 };
54}