pyrox.dev
coqPackages.Verdi: 20200131 → 20210524
authored by Vincent Laporte and committed by Vincent Laporte 9f4ccabc 05845bd4
+5
-2
pkgs/development/coq-modules/Verdi/default.nix
+5
-2
pkgs/development/coq-modules/Verdi/default.nix
···
6
6
owner = "uwplse";
7
7
inherit version;
8
8
defaultVersion = with versions; switch coq.coq-version [
9
-
{ case = isGe "8.7"; out = "20200131"; }
10
-
{ case = isEq "8.6"; out = "20181102"; }
9
+
{ case = range "8.7" "8.14"; out = "20210524"; }
10
+
{ case = range "8.7" "8.13"; out = "20200131"; }
11
+
{ case = "8.6"; out = "20181102"; }
11
12
] null;
13
+
release."20210524".rev = "54597d8ac7ab7dd4dae683f651237644bf77701e";
14
+
release."20210524".sha256 = "sha256:05wb0km2jkhvi8807glxk9fi1kll4lwisiyzkxhqvymz4x6v8xqv";
12
15
release."20200131".rev = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
13
16
release."20200131".sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
14
17
release."20181102".rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";