From 7665ddbca0493fc23aedee9038146056f8434751 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Thu, 30 Jul 2026 18:29:29 +0100 Subject: [PATCH] coqPackages_8_15.aac-tactics: restore `8.15.1` version reference 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) --- pkgs/development/coq-modules/aac-tactics/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/aac-tactics/default.nix b/pkgs/development/coq-modules/aac-tactics/default.nix index 4d27ac065a44..271e37ba0b81 100644 --- a/pkgs/development/coq-modules/aac-tactics/default.nix +++ b/pkgs/development/coq-modules/aac-tactics/default.nix @@ -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")