pyrox.dev
coqPackages.coqprime: 8.17 → 8.18
authored by Vincent Laporte and committed by Vincent Laporte f78667f7 a19ba12b
+2
-1
pkgs/development/coq-modules/coqprime/default.nix
+2
-1
pkgs/development/coq-modules/coqprime/default.nix
···
6
owner = "thery";
7
inherit version;
8
defaultVersion = with lib.versions; lib.switch coq.coq-version [
9
-
{ case = range "8.14" "8.18"; out = "8.17"; }
10
{ case = range "8.12" "8.16"; out = "8.15"; }
11
{ case = range "8.10" "8.11"; out = "8.10"; }
12
{ case = range "8.8" "8.9"; out = "8.8"; }
13
{ case = "8.7"; out = "8.7.2"; }
14
] null;
15
16
release."8.17".sha256 = "sha256-D878t/PijVCopRKHYqfwdNvt3arGlI8yxbK/vI6qZUY=";
17
release."8.15".sha256 = "sha256:1zr2q52r08na8265019pj9spcz982ivixk6cnzk6l1srn2g328gv";
18
release."8.14.1".sha256= "sha256:0dqf87xkzcpg7gglbxjyx68ad84w1w73icxgy3s7d3w563glc2p7";
···
6
owner = "thery";
7
inherit version;
8
defaultVersion = with lib.versions; lib.switch coq.coq-version [
9
+
{ case = range "8.14" "8.18"; out = "8.18"; }
10
{ case = range "8.12" "8.16"; out = "8.15"; }
11
{ case = range "8.10" "8.11"; out = "8.10"; }
12
{ case = range "8.8" "8.9"; out = "8.8"; }
13
{ case = "8.7"; out = "8.7.2"; }
14
] null;
15
16
+
release."8.18".sha256 = "sha256-KObBEYerWhIStmq90G3vs9K5LUEOfB2SPxirwLiWQ6E=";
17
release."8.17".sha256 = "sha256-D878t/PijVCopRKHYqfwdNvt3arGlI8yxbK/vI6qZUY=";
18
release."8.15".sha256 = "sha256:1zr2q52r08na8265019pj9spcz982ivixk6cnzk6l1srn2g328gv";
19
release."8.14.1".sha256= "sha256:0dqf87xkzcpg7gglbxjyx68ad84w1w73icxgy3s7d3w563glc2p7";