pyrox.dev
lol
coqPackages.interval: 4.5.2 → 4.6.0
authored by
Vincent Laporte
and committed by
Vincent Laporte
69218416
16df31b2
+2
pkgs/development/coq-modules/interval/default.nix
+2
pkgs/development/coq-modules/interval/default.nix
···
7
7
domain = "gitlab.inria.fr";
8
8
inherit version;
9
9
defaultVersion = with lib.versions; lib.switch coq.coq-version [
10
+
{ case = range "8.12" "8.16"; out = "4.6.0"; }
10
11
{ case = range "8.8" "8.16"; out = "4.5.2"; }
11
12
{ case = range "8.8" "8.12"; out = "4.0.0"; }
12
13
{ case = range "8.7" "8.11"; out = "3.4.2"; }
13
14
{ case = range "8.5" "8.6"; out = "3.3.0"; }
14
15
] null;
16
+
release."4.6.0".sha256 = "sha256-n9ECKnV0L6XYcIcbYyOJKwlbisz/RRbNW5YESHo07X0=";
15
17
release."4.5.2".sha256 = "sha256-r0yE9pkC4EYlqsimxkdlCXevRcwKa3HGFZiUH+ueUY8=";
16
18
release."4.5.1".sha256 = "sha256-5OxbSPdw/1FFENubulKSk6fEIEYSPCxfvMMgtgN6j6s=";
17
19
release."4.3.0".sha256 = "sha256-k8DLC4HYYpHeEEgXUafS8jkaECqlM+/CoYaInmUTYko=";