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

rocqPackages.extructures: 0.5.0 -> 0.6.0

Browse Source 
This release requires Rocq 9.0 or later and MathComp 2.5 or later, so
keep 0.5.0 as the default for the older versions.

Assisted-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
Arthur Azevedo de Amorim
2026-10-12 11:37:36 -04:00
parent 4140aa8c79
commit aefa358e6c
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/rocq-modules/extructures/default.nix
View File

@@ -26,6 +26,7 @@
lib.switch
[ coq.coq-version mathcomp-boot.version ]
[
(case (range "9.0" "9.2") (range "2.5.0" "2.6.0") "0.6.0")
(case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.5.0")
(case (range "8.17" "8.20") (range "2.0.0" "2.3.0") "0.4.0")
(case (range "8.11" "8.20") (range "1.12.0" "1.19.0") "0.3.1")
@@ -36,6 +37,7 @@
releaseRev = v: "v${v}";
release."0.6.0".hash = "sha256-rwqkVoRVErqanJOGS5p2q1GPdqXQcBaro5GnFnumzhw=";
release."0.5.0".hash = "sha256-Guu2+tmHym52DA6SB5Rq/rYWIQEl47Q7YvMaUkfOH2k=";
release."0.4.0".hash = "sha256-hItFO2XY2LTPSofPTKt3AfOEfiLliaYdzUXgDv4ea9Y=";
release."0.3.1".hash = "sha256-KcuG/11Yq5ACem4FyVnQqHKvy3tNK7hd0ir2SJzzMN0=";