Revert changes

2026-03-05 22:07:22 +01:00
parent f5a23fc052
commit a82d1f592c
1 changed files with 7 additions and 2 deletions
--- 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 = {
    };