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")