ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-13 09:17:07 +03:00
Code Issues Projects Releases Wiki Activity

coqPackages.VST: 2.12 → 2.13

Browse Source 
coqPackages.compcert: 3.13 → 3.13.1
This commit is contained in:
Vincent Laporte 2023-11-20 08:53:40 +01:00 committed by Vincent Laporte
parent fbbbcfb879
commit 2ec2d68238
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/coq-modules/VST/default.nix
View File

@ -23,11 +23,12 @@ mkCoqDerivation {
repo = "VST";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.15" "8.17"; out = "2.12"; }
{ case = range "8.15" "8.17"; out = "2.13"; }
{ case = range "8.14" "8.16"; out = "2.10"; }
{ case = range "8.13" "8.15"; out = "2.9"; }
{ case = range "8.12" "8.13"; out = "2.8"; }
] null;
release."2.13".sha256 = "sha256-i6rvP3cpayBln5KHZOpeNfraYU5h0O9uciBQ4jRH4XA=";
release."2.12".sha256 = "sha256-4HL0U4HA5/usKNXC0Dis1UZY/Hb/LRd2IGOrqrvdWkw=";
release."2.11.1".sha256 = "sha256-unpNstZBnRT4dIqAYOv9n1J0tWJMeRuaaa2RG1U0Xs0=";
release."2.10".sha256 = "sha256-RIxfPWoHnV1CFkpxCusoGY/LIk07TgC7wWGRP4BSq8w=";

3
pkgs/development/coq-modules/compcert/default.nix
View File

@ -27,7 +27,7 @@ compcert = mkCoqDerivation {
releaseRev = v: "v${v}";
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.14" "8.17"; out = "3.13"; }
{ case = range "8.14" "8.17"; out = "3.13.1"; }
{ case = isEq "8.13" ; out = "3.10"; }
{ case = isEq "8.12" ; out = "3.9"; }
{ case = range "8.8" "8.11"; out = "3.8"; }
@ -40,6 +40,7 @@ compcert = mkCoqDerivation {
"3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A=";
"3.12".sha256 = "sha256-hXkQ8UnAx3k50OJGBmSm4hgrnRFCosu4+PEMrcKfmV0=";
"3.13".sha256 = "sha256-ZedxgEPr1ZgKIcyhQ6zD1l2xr6RDNNUYq/4ZyR6ojM4=";
"3.13.1".sha256 = "sha256-ldXbuzVB0Z+UVTd5S4yGSg6oRYiKbXLMmUZcQsJLcns=";
};
strictDeps = true;

3
pkgs/top-level/coq-packages.nix
View File

@ -128,8 +128,7 @@ let
(lib.versionAtLeast self.coq.version "8.14") {
compcert = self.compcert.override {
version = with lib.versions; lib.switch self.coq.version [
{ case = isEq "8.17"; out = "3.13"; }
{ case = range "8.15" "8.16"; out = "3.12"; }
{ case = range "8.15" "8.17"; out = "3.13.1"; }
{ case = isEq "8.14"; out = "3.11"; }
] null;
};