Use gnat-12 in Sourcehut Debian builds.
1 files changed, 18 insertions(+), 18 deletions(-)

M .builds/debian.yml
M .builds/debian.yml +18 -18
@@ 1,18 1,18 @@ 
-image: debian/stable
-packages:
-  - gprbuild
-  - make
-  - gnat-10
-  - mercurial
-
-sources:
-  - hg+https://hg.sr.ht/~tkoskine/ahven
-tasks:
-  - build-plain: |
-      mkdir /tmp/ahven-install
-      cd ahven
-      gprbuild -p -P gnat/ahven.gpr
-      gprbuild -p -P gnat/ahven_tests.gpr
-  - test-plain: |
-      ahven/gnat/tester
-      ahven/gnat/tap_tester
+image: debian/stable
+packages:
+  - gprbuild
+  - make
+  - gnat-12
+  - mercurial
+
+sources:
+  - hg+https://hg.sr.ht/~tkoskine/ahven
+tasks:
+  - build-plain: |
+      mkdir /tmp/ahven-install
+      cd ahven
+      gprbuild -p -P gnat/ahven.gpr
+      gprbuild -p -P gnat/ahven_tests.gpr
+  - test-plain: |
+      ahven/gnat/tester
+      ahven/gnat/tap_tester