From 6ebbbe16a7d8e3a189f074cbbdc1633a5b3d066e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chlo=C3=A9=20Kassandra=20Rei=C3=9F?=
 <nina.reiss@nickr.eu>
Date: Thu, 5 Mar 2026 21:49:08 +0100
Subject: [PATCH] Pin gnat version and install all required components

---
 system-environment/config.nix | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/system-environment/config.nix b/system-environment/config.nix
index cbf2178..2a6949f 100644
--- a/system-environment/config.nix
+++ b/system-environment/config.nix
@@ -27,7 +27,13 @@ in
 
         # Ada/+Spark & Rust tools
         alire
-        gnat
+        gnat15
+        gnat15Packages.gprbuild
+        gnat15Packages.gpr2
+        gnat15Packages.gnatprove
+        gnat15Packages.gnatcoll-core
+        gnat15Packages.gnatcoll-readline
+        gnat15Packages.gnatcoll-python3
         rustc
         cargo
     ];