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

coqPackages_8_15.aac-tactics: restore 8.15.1 version reference

Browse Source 
Without the change the evail fails as:

    $ nix build --no-link -f. coqPackages_8_15.aac-tactics.src
    error:
       error: Failed to open archive (Source threw exception: error: unable to download 'https://github.com/rocq-community/aac-tactics/archive/8.15.0.tar.gz': HTTP error 404

              response body:

              404: Not Found)
This commit is contained in:
Sergei Trofimovich
2026-07-30 18:29:29 +01:00
parent 220b05cde7
commit 7665ddbca0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/aac-tactics/default.nix
View File

@@ -44,7 +44,7 @@ mkCoqDerivation {
(case "8.18" "8.18.0")
(case "8.17" "8.17.0")
(case "8.16" "8.16.0")
(case "8.15" "8.15.0")
(case "8.15" "8.15.1")
(case "8.14" "8.14.1")
(case "8.13" "8.13.2")
(case "8.12" "8.12.0")