pyrox.dev
coqPackages.compcert: 3.14 → 3.15 (#364936)
authored by Arne Keller and committed by GitHub db08c9d4 f244d656
+2
-1
pkgs/development/coq-modules/compcert/default.nix
+2
-1
pkgs/development/coq-modules/compcert/default.nix
···
42
42
lib.switch coq.version [
43
43
{
44
44
case = range "8.14" "8.20";
45
-
out = "3.14";
45
+
out = "3.15";
46
46
}
47
47
{
48
48
case = isEq "8.13";
···
67
67
"3.13".sha256 = "sha256-ZedxgEPr1ZgKIcyhQ6zD1l2xr6RDNNUYq/4ZyR6ojM4=";
68
68
"3.13.1".sha256 = "sha256-ldXbuzVB0Z+UVTd5S4yGSg6oRYiKbXLMmUZcQsJLcns=";
69
69
"3.14".sha256 = "sha256-QXJMpp/BaPiK5okHeo2rcmXENToXKjB51UqljMHTDgw=";
70
+
"3.15".sha256 = "sha256-QFTueGZd0hAWUj+c5GZL/AyNpfN4FuJiIzCICmwRXJ8=";
70
71
};
71
72
72
73
strictDeps = true;