diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-03 14:18:51 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-07-19 06:52:13 +0200 |
| commit | fa3c3c1a330e52e85f62ff874bc7cc401e087363 (patch) | |
| tree | 8c0525a9b8b7a520f1fb9b0f018d21c5c4c4ddc3 | |
| parent | 23432ed4fcf6e3a466c6f6e616834871f65ca621 (diff) | |
| download | nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.tar nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.tar.gz nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.tar.bz2 nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.tar.lz nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.tar.xz nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.tar.zst nixpkgs-fa3c3c1a330e52e85f62ff874bc7cc401e087363.zip | |
coqPackages.flocq: 3.4.3 → 4.1.0
compcert: 3.10 → 3.11 coqPackages.VST: 2.9 → 2.10
| -rw-r--r-- | pkgs/development/coq-modules/VST/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/compcert/default.nix | 4 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/flocq/default.nix | 2 |
3 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/VST/default.nix b/pkgs/development/coq-modules/VST/default.nix index ef22ecbdb95..dea603b5e4f 100644 --- a/pkgs/development/coq-modules/VST/default.nix +++ b/pkgs/development/coq-modules/VST/default.nix @@ -25,9 +25,11 @@ mkCoqDerivation { repo = "VST"; inherit 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.12" "8.13"; out = "2.8"; } ] null; + release."2.10".sha256 = "sha256-RIxfPWoHnV1CFkpxCusoGY/LIk07TgC7wWGRP4BSq8w="; release."2.9".sha256 = "sha256:1adwzbl1pprrrwrm7cm493098fizxanxpv7nyfbvwdhgbhcnv6qf"; release."2.8".sha256 = "sha256-cyK88uzorRfjapNQ6XgQEmlbWnDsiyLve5po1VG52q0="; releaseRev = v: "v${v}"; diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix index 166dd037845..596c059f501 100644 --- a/pkgs/development/coq-modules/compcert/default.nix +++ b/pkgs/development/coq-modules/compcert/default.nix @@ -16,7 +16,8 @@ let compcert = mkCoqDerivation rec { releaseRev = v: "v${v}"; 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 = range "8.8" "8.11"; out = "3.8"; } ] null; @@ -25,6 +26,7 @@ let compcert = mkCoqDerivation rec { "3.8".sha256 = "1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7"; "3.9".sha256 = "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb"; "3.10".sha256 = "sha256:19rmx8r8v46101ij5myfrz60arqjy7q3ra3fb8mxqqi3c8c4l4j6"; + "3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A="; }; nativeBuildInputs = [ makeWrapper ]; diff --git a/pkgs/development/coq-modules/flocq/default.nix b/pkgs/development/coq-modules/flocq/default.nix index a0f4a3ecae8..ed973996fee 100644 --- a/pkgs/development/coq-modules/flocq/default.nix +++ b/pkgs/development/coq-modules/flocq/default.nix @@ -7,9 +7,11 @@ with lib; mkCoqDerivation { domain = "gitlab.inria.fr"; inherit 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.5" "8.8"; out = "2.6.1"; } ] null; + release."4.1.0".sha256 = "sha256:09rak9cha7q11yfqracbcq75mhmir84331h1218xcawza48rbjik"; release."3.4.3".sha256 = "sha256-YTdWlEmFJjCcHkl47jSOgrGqdXoApJY4u618ofCaCZE="; release."3.4.2".sha256 = "1s37hvxyffx8ccc8mg5aba7ivfc39p216iibvd7f2cb9lniqk1pw"; release."3.3.1".sha256 = "1mk8adhi5hrllsr0hamzk91vf2405sjr4lh5brg9201mcw11abkz"; |