From a82d1f592c943bba310c7db7fab4373a514e8246 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chloe=20Kassandra=20Rei=C3=9F?= <nina.reiss@nickr.eu>
Date: Thu, 5 Mar 2026 22:07:22 +0100
Subject: [PATCH] Revert changes

---
 system-environment/config.nix | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/system-environment/config.nix b/system-environment/config.nix
index 74680ac..2a6949f 100644
--- a/system-environment/config.nix
+++ b/system-environment/config.nix
@@ -27,12 +27,17 @@ in
 
         # Ada/+Spark & Rust tools
         alire
+        gnat15
+        gnat15Packages.gprbuild
+        gnat15Packages.gpr2
+        gnat15Packages.gnatprove
+        gnat15Packages.gnatcoll-core
+        gnat15Packages.gnatcoll-readline
+        gnat15Packages.gnatcoll-python3
         rustc
         cargo
     ];
 
-    programs.nix-ld.enable = true;
-
     environment.variables = {
     };