coqPackages.flocq: 3.4.3 → 4.1.0
compcert: 3.10 → 3.11 coqPackages.VST: 2.9 → 2.10
This commit is contained in:
parent
23432ed4fc
commit
fa3c3c1a33
|
@ -25,9 +25,11 @@ mkCoqDerivation {
|
||||||
repo = "VST";
|
repo = "VST";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = with versions; switch coq.coq-version [
|
defaultVersion = with versions; switch coq.coq-version [
|
||||||
|
{ case = range "8.14" "8.15"; out = "2.10"; }
|
||||||
{ case = range "8.13" "8.15"; out = "2.9"; }
|
{ case = range "8.13" "8.15"; out = "2.9"; }
|
||||||
{ case = range "8.12" "8.13"; out = "2.8"; }
|
{ case = range "8.12" "8.13"; out = "2.8"; }
|
||||||
] null;
|
] null;
|
||||||
|
release."2.10".sha256 = "sha256-RIxfPWoHnV1CFkpxCusoGY/LIk07TgC7wWGRP4BSq8w=";
|
||||||
release."2.9".sha256 = "sha256:1adwzbl1pprrrwrm7cm493098fizxanxpv7nyfbvwdhgbhcnv6qf";
|
release."2.9".sha256 = "sha256:1adwzbl1pprrrwrm7cm493098fizxanxpv7nyfbvwdhgbhcnv6qf";
|
||||||
release."2.8".sha256 = "sha256-cyK88uzorRfjapNQ6XgQEmlbWnDsiyLve5po1VG52q0=";
|
release."2.8".sha256 = "sha256-cyK88uzorRfjapNQ6XgQEmlbWnDsiyLve5po1VG52q0=";
|
||||||
releaseRev = v: "v${v}";
|
releaseRev = v: "v${v}";
|
||||||
|
|
|
@ -16,7 +16,8 @@ let compcert = mkCoqDerivation rec {
|
||||||
releaseRev = v: "v${v}";
|
releaseRev = v: "v${v}";
|
||||||
|
|
||||||
defaultVersion = with versions; switch coq.version [
|
defaultVersion = with versions; switch coq.version [
|
||||||
{ case = range "8.13" "8.15"; out = "3.10"; }
|
{ case = range "8.14" "8.15"; out = "3.11"; }
|
||||||
|
{ case = isEq "8.13" ; out = "3.10"; }
|
||||||
{ case = isEq "8.12" ; out = "3.9"; }
|
{ case = isEq "8.12" ; out = "3.9"; }
|
||||||
{ case = range "8.8" "8.11"; out = "3.8"; }
|
{ case = range "8.8" "8.11"; out = "3.8"; }
|
||||||
] null;
|
] null;
|
||||||
|
@ -25,6 +26,7 @@ let compcert = mkCoqDerivation rec {
|
||||||
"3.8".sha256 = "1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7";
|
"3.8".sha256 = "1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7";
|
||||||
"3.9".sha256 = "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb";
|
"3.9".sha256 = "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb";
|
||||||
"3.10".sha256 = "sha256:19rmx8r8v46101ij5myfrz60arqjy7q3ra3fb8mxqqi3c8c4l4j6";
|
"3.10".sha256 = "sha256:19rmx8r8v46101ij5myfrz60arqjy7q3ra3fb8mxqqi3c8c4l4j6";
|
||||||
|
"3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ];
|
nativeBuildInputs = [ makeWrapper ];
|
||||||
|
|
|
@ -7,9 +7,11 @@ with lib; mkCoqDerivation {
|
||||||
domain = "gitlab.inria.fr";
|
domain = "gitlab.inria.fr";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = with versions; switch coq.coq-version [
|
defaultVersion = with versions; switch coq.coq-version [
|
||||||
|
{ case = range "8.14" "8.16"; out = "4.1.0"; }
|
||||||
{ case = range "8.7" "8.15"; out = "3.4.3"; }
|
{ case = range "8.7" "8.15"; out = "3.4.3"; }
|
||||||
{ case = range "8.5" "8.8"; out = "2.6.1"; }
|
{ case = range "8.5" "8.8"; out = "2.6.1"; }
|
||||||
] null;
|
] null;
|
||||||
|
release."4.1.0".sha256 = "sha256:09rak9cha7q11yfqracbcq75mhmir84331h1218xcawza48rbjik";
|
||||||
release."3.4.3".sha256 = "sha256-YTdWlEmFJjCcHkl47jSOgrGqdXoApJY4u618ofCaCZE=";
|
release."3.4.3".sha256 = "sha256-YTdWlEmFJjCcHkl47jSOgrGqdXoApJY4u618ofCaCZE=";
|
||||||
release."3.4.2".sha256 = "1s37hvxyffx8ccc8mg5aba7ivfc39p216iibvd7f2cb9lniqk1pw";
|
release."3.4.2".sha256 = "1s37hvxyffx8ccc8mg5aba7ivfc39p216iibvd7f2cb9lniqk1pw";
|
||||||
release."3.3.1".sha256 = "1mk8adhi5hrllsr0hamzk91vf2405sjr4lh5brg9201mcw11abkz";
|
release."3.3.1".sha256 = "1mk8adhi5hrllsr0hamzk91vf2405sjr4lh5brg9201mcw11abkz";
|
||||||
|
|
Loading…
Reference in a new issue