pyrox.dev
lol
coqPackages.ExtLib: 0.12.2 → 0.13.0
authored by
Vincent Laporte
and committed by
Vincent Laporte
94b32163
5731d41e
+2
-1
+2
-1
pkgs/development/coq-modules/ExtLib/default.nix
+2
-1
pkgs/development/coq-modules/ExtLib/default.nix
···
4
4
pname = "coq-ext-lib";
5
5
inherit version;
6
6
defaultVersion = with lib.versions; lib.switch coq.coq-version [
7
-
{ case = range "8.14" "8.20"; out = "0.12.2"; }
7
+
{ case = range "8.14" "8.20"; out = "0.13.0"; }
8
8
{ case = range "8.11" "8.19"; out = "0.12.0"; }
9
9
{ case = range "8.8" "8.16"; out = "0.11.6"; }
10
10
{ case = range "8.8" "8.14"; out = "0.11.4"; }
···
13
13
{ case = "8.6"; out = "0.9.5"; }
14
14
{ case = "8.5"; out = "0.9.4"; }
15
15
] null;
16
+
release."0.13.0".sha256 = "sha256-vqVSu+nyGjRVXe2tnE6MPl0kcg4LHfgFwRCpTQAP/is=";
16
17
release."0.12.2".sha256 = "sha256-lSTlbpkSuAY6B9cqofXSlDk2VchtqfZpRQ0+y/BAbEY=";
17
18
release."0.12.1".sha256 = "sha256-YIHyiRUHPy/LGM2DMTRKRwP7j6OSBYKpu6wO2mZOubo=";
18
19
release."0.12.0".sha256 = "sha256-9szpnWoS83bDc+iLqElfgz0LNRo9hSRQwUFIgpTca4c=";