nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

rocqPackages.ExtLib: 0.13.1 → 0.13.2

Browse Source
This commit is contained in:
Vincent Laporte
2026-10-02 09:35:37 +02:00
parent c677f58e72
commit bf48f434b9
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/rocq-modules/ExtLib/default.nix
View File

@@ -15,7 +15,7 @@ mkCoqDerivation {
in
with lib.versions;
lib.switch coq.coq-version [
(case (range "8.14" "9.2") "0.13.1")
(case (range "8.14" "9.3") "0.13.2")
(case (range "8.11" "8.19") "0.12.0")
(case (range "8.8" "8.16") "0.11.6")
(case (range "8.8" "8.14") "0.11.4")
@@ -24,6 +24,7 @@ mkCoqDerivation {
(case "8.6" "0.9.5")
(case "8.5" "0.9.4")
] null;
release."0.13.2".hash = "sha256-N+P9T2BfsRapJFLEhoEEBXO6mdJ8YZHwidHYpDe6o08=";
release."0.13.1".hash = "sha256-WJZaisQhbK9s/X4UeEYlhIaG2JqVWm1BiXzlDAcfEMk=";
release."0.13.0".hash = "sha256-vqVSu+nyGjRVXe2tnE6MPl0kcg4LHfgFwRCpTQAP/is=";
release."0.12.2".hash = "sha256-lSTlbpkSuAY6B9cqofXSlDk2VchtqfZpRQ0+y/BAbEY=";

3
pkgs/development/rocq-modules/jasmin/default.nix
View File

@@ -26,7 +26,8 @@
] null;
releaseRev = v: "v${v}";
release."2026.03.3".hash = "sha256-LY3683WHT0A3pXpszGAl8tkc7fCy5RufuPBVedBk298=";
release."2026.03.3".hash = "sha256-C41usqCbj/sKhWCIOdF4oVPRoqnWfIC58gyrDRnxPEw=";
release."2026.03.3".rev = "aad63329716bfc0489c2dd0cb5aaf0497ec2d324";
release."2026.03.1".hash = "sha256-CE+WbcG0lgKvaV/OSMlTp3fG+v82X41z/w7ynsM/LLg=";
release."2026.03.0".hash = "sha256-MzdVbZhXlb9JFLsf+23yJNFiGJDBJZGbX6Ox3/U1EzA=";
release."2025.06.1".hash = "sha256-wEL1tN0HUa1Eb7FiQOBA6sAkuonrAMdkqq8gu9/CED0=";