pyrox.dev
lol
coqPackages_8_19.ITree
authored by
Pierre Roux
and committed by
Vincent Laporte
9e6484a3
b57a1c69
+1
-1
+1
-1
pkgs/development/coq-modules/ITree/default.nix
+1
-1
pkgs/development/coq-modules/ITree/default.nix
···
5
5
owner = "DeepSpec";
6
6
inherit version;
7
7
defaultVersion = with lib.versions; lib.switch coq.version [
8
-
{ case = range "8.13" "8.18"; out = "5.1.2"; }
8
+
{ case = range "8.13" "8.19"; out = "5.1.2"; }
9
9
{ case = range "8.10" "8.16"; out = "4.0.0"; }
10
10
] null;
11
11
release."5.1.2".sha256 = "sha256-uKJIjNXGWl0YS0WH52Rnr9Jz98Eo2k0X0qWB9hUYJMk=";