From 8e4a284d49bbaf72db64342250b660b065971fff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Fri, 30 Jan 2026 15:34:29 +0100
Subject: [PATCH] coqPackages.aac-tactics: init at 9.0.0

---
 pkgs/development/coq-modules/aac-tactics/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/development/coq-modules/aac-tactics/default.nix b/pkgs/development/coq-modules/aac-tactics/default.nix
index db8aca777402..46e8948abab1 100644
--- a/pkgs/development/coq-modules/aac-tactics/default.nix
+++ b/pkgs/development/coq-modules/aac-tactics/default.nix
@@ -11,6 +11,7 @@ mkCoqDerivation {
 
   releaseRev = v: "v${v}";
 
+  release."9.0.0".sha256 = "sha256-mln1182EOeXZCa1NzjAiovK93Xm+5JMZpGqJVrM67Jo=";
   release."8.20.0".sha256 = "sha256-VQzeINIZAfP3Qyh29uPqcNVlNJfIzzRLtN0Cm4EuGCk=";
   release."8.19.1".sha256 = "sha256-W/V57h+rjb3m0ktCG83PquMHfXiv6H1Nhvw9sVEPLqM=";
   release."8.19.0".sha256 = "sha256-IeCBd8gcu4bAXH5I/XIT7neQIILi+EWR6qqAA4GzQD0=";
@@ -34,6 +35,10 @@ mkCoqDerivation {
   defaultVersion =
 
     lib.switch coq.coq-version [
+      {
+        case = "9.0";
+        out = "9.0.0";
+      }
       {
         case = "8.20";
         out = "8.20.0";