fix: improper syntax that will be rejected post-2.1 (#1417 ) (#1447 )

* fix: improper syntax that will be rejected post-2.1 (#1417) We had a missing check in index loading logic that should have rejected an unexpected array. * Don't fail fast
2025-03-20 19:02:07 +01:00
64 changed files with 306 additions and 1154 deletions
@@ -1,10 +0,0 @@
-The name of the branch plays a role in the tests run when changes are
-submitted. For this reason, when modifying the workflows in ./.github, if you
-want to test them prior to submission, the PR must be tested against a branch that
-exists also in the `alire-index-checks` repo, e.g., 'stable-1.2' or 'devel-1.2'
-
-Normally you'll want to use the latest stable or devel branch.
-
-E.g., if you modify a workflow in the `alire-index` repo and want to test it
-privately, you can do so in your own account, but using the same `stable-x.x`
-base branch for your private PR.
@@ -1,11 +1,5 @@
-# Please read the TESTING file before modifying this file
-
 name: Build Crate

-env:
-  CHECKS_ORG: alire-project
-  CHECKS_REPO: alire-index-checks
-
 on:
  pull_request:
    paths:
@@ -19,17 +13,18 @@ jobs:
    runs-on: ${{ matrix.os }}

    strategy:
+      fail-fast: false
      matrix:
        os:
          - macos-latest
          - ubuntu-latest
          - windows-latest
        tag:
-          - arch-rolling              # Arch has its own recent GNAT and pacman
-          - centos-stream-fsf-latest  # CentOS is used for unknown package manager
-          - debian-stable             # Debian has very good Ada support and apt
-          - fedora-latest             # Fedora has its own GNAT and dnf
-          - ubuntu-lts                # Ubuntu LTS is a common Debian derivative
+          - arch-rolling
+          - centos-latest-community-latest
+          - community-latest
+          - debian-stable
+          - ubuntu-lts
          - ""
        exclude: # inclusions don't allow to add arrays of values to a scenario
          - os: ubuntu-latest
@@ -37,21 +32,21 @@ jobs:
          - os: macos-latest
            tag: arch-rolling
          - os: macos-latest
-            tag: centos-stream-fsf-latest
+            tag: centos-latest-community-latest
+          - os: macos-latest
+            tag: community-latest
          - os: macos-latest
            tag: debian-stable
-          - os: macos-latest
-            tag: fedora-latest
          - os: macos-latest
            tag: ubuntu-lts
          - os: windows-latest
            tag: arch-rolling
          - os: windows-latest
-            tag: centos-stream-fsf-latest
+            tag: centos-latest-community-latest
+          - os: windows-latest
+            tag: community-latest
          - os: windows-latest
            tag: debian-stable
-          - os: windows-latest
-            tag: fedora-latest
          - os: windows-latest
            tag: ubuntu-lts

@@ -65,13 +60,6 @@ jobs:
        # changed files detectors (in both scripts/gh-build-crate.sh and
        # check-author action).

-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
-
    - name: Update system repositories
      if: matrix.os == 'ubuntu-latest'
      run: sudo apt update
@@ -106,7 +94,7 @@ jobs:
      uses: mosteo/actions@docker-run/v1
      with:
        image: alire/gnat:${{matrix.tag}}
-        command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+        command: scripts/gh-build-crate.sh
        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr

    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
@@ -115,5 +103,5 @@ jobs:

    - name: Test crate (Windows/MacOS)
      if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
-      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      run: scripts/gh-build-crate.sh
      shell: bash
@@ -1,12 +1,6 @@
-# Please read the TESTING file before modifying this file
-
 name: Toolchain
 # Build the submitted crate with a native toolchain from Alire

-env:
-  CHECKS_ORG: alire-project
-  CHECKS_REPO: alire-index-checks
-
 on:
  pull_request:
    paths:
@@ -20,6 +14,7 @@ jobs:
    runs-on: ${{ matrix.os }}

    strategy:
+      fail-fast: false
      matrix:
        os:
          - macos-latest
@@ -36,13 +31,6 @@ jobs:
        # changed files detectors (in both scripts/gh-build-crate.sh and
        # check-author action).

-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
-
    # For the devel branch we need a compiler available to build alr in
    # setup-alire. We will be able to get rid of this once composite actions
    # support conditional steps.
@@ -76,5 +64,5 @@ jobs:
      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar

    - name: Test crate
-      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      run: scripts/gh-build-crate.sh
      shell: bash
@@ -1,14 +1,8 @@
-# Please read the TESTING file before modifying this file
-
 # Show differences between the submitted manifest and the previous
 # release of the same crate, to enable easier catching of problems

 name: Diff release

-env:
-  CHECKS_ORG: alire-project
-  CHECKS_REPO: alire-index-checks
-
 on:
  pull_request:
    paths:
@@ -29,12 +23,10 @@ jobs:
        # need the full history or else grafted partial branches confuse the
        # changed files detector

-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
+#    - name: Set up GNAT toolchain (FSF)
+#      uses: ada-actions/toolchain@ce2020
+#      with:
+#        distrib: fsf # faster install?

    - name: Set up stable `alr`
      if: contains(github.base_ref, 'stable-')
@@ -42,18 +34,6 @@ jobs:
      with:
        toolchain: --disable-assistant # We don't need the compiler

-    - name: Set up GNAT toolchain (FSF)
-      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: fsf # faster install?
-
-    - name: Set up GNAT toolchain (Community)
-      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: community
-
    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
      uses: alire-project/setup-alire@v1
@@ -62,5 +42,5 @@ jobs:
        branch: master

    - name: Diff releases
-      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
-      shell: bash
+      run: scripts/diff-release.sh || true # No deal breaker if failed
+      shell: bash
@@ -1,7 +0,0 @@
-# Changes to the index format that require versioning
-
-## 1.2
-
- Build profiles and switches.
- New `subdir` property in git remotes.
- New `host-arch` key for case expressions.
@@ -1,27 +0,0 @@
-name = "aaa"
-version = "0.2.6"
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-
-long-description = """
-Alex's Ada Assortment of Utilities
-
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
-"""
-
-authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["miscellanea", "utility"]
-website = "https://github.com/mosteo/aaa"
-
-[origin]
-commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -1,15 +0,0 @@
-name = "ansiada"
-description = "ANSI escape sequences"
-version = "1.0.0"
-
-licenses = "MIT"
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-tags = ["ansi", "terminal"]
-
-[origin]
-commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
-url = "git+https://github.com/mosteo/ansi-ada.git"
-
@@ -1,21 +0,0 @@
-name = "automate"
-description = "Ada finite-state machine generator"
-version = "2.2.2"
-tags = ["automaton", "generator"]
-
-authors = ["Pascal Pignard"]
-maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
-maintainers-logins = ["Blady-Com"]
-website = "https://github.com/Blady-Com/Automate"
-
-licenses = "CECILL-2.1"
-
-executables = ["genauto"]
-
-[gpr-set-externals.'case(os)']
-macos   = { GENAUTO_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
-
-[origin]
-commit = "5ce97f6cc06d5a370b9aaf40c996f868f7d73e61"
-url = "git+https://github.com/Blady-Com/Automate.git"
-
@@ -1,53 +0,0 @@
-description = "Ada Web Server"
-website = "https://github.com/adacore/aws"
-name = "aws"
-version = "22.0.0"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["install_dir/share/gpr/aws.gpr"]
-tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
-
-# Since the AWS project doesn't build alone with just gprbuild we build and
-# install with the Makefile from post-fetch action.
-[[actions]]
-type = "post-fetch"
-command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
-           "LAL=false", "XMLADA=false", "prefix=install_dir",
-           "PRJ_BUILD=Release"]
-
-[[depends-on]]
-make = "*"
-xmlada = "~22.0.0"
-gnat = ">=9"
-openssl = "*"
-
-[configuration]
-disabled = true
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "relocatable"]
-PRJ_BUILD = ["Debug", "Release"]
-PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
-PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
-
-[gpr-set-externals]
-PRJ_LAL="Disabled"
-
-[gpr-set-externals."case(os)".linux]
-PRJ_TARGET = "UNIX"
-TARGET = "x86_64-linux-gnu"
-SOCKET = "openssl"
-
-[gpr-set-externals."case(os)".macos]
-PRJ_TARGET = "Darwin"
-SOCKET = "openssl"
-
-[gpr-set-externals."case(os)".windows]
-PRJ_TARGET = "Windows_NT"
-
-[origin]
-url= "https://github.com/AdaCore/aws/archive/v22.0.0/aws-22.0.0.zip"
-hashes=["sha512:0fa3695d3d45ae05f03312cc71390547cfffd1cc966fd147037dd2d927e5709fbc193ec9dbbe4a0b2130779521a0baee4a3736f4f8b7f93a15448a0c96401c3d"]
-
@@ -1,28 +0,0 @@
-name = "clic"
-description = "Command Line Interface Components"
-version = "0.2.1"
-
-authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
-maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["mosteo", "Fabien-Chouteau"]
-licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
-tags = ["cli", "command-line", "user-input", "tty"]
-website = "https://github.com/alire-project/clic"
-long-description = """
-Command Line Interface Components:
- - "git like" subcommand handling
- - TTY color and formatting
- - User input queries
- - User configuration
-"""
-
-[[depends-on]]
-aaa = "~0.2.4"
-simple_logging = "^1.2.0"
-ansiada = "^1.0"
-ada_toml = "~0.2|~0.3"
-
-[origin]
-commit = "c7aabf94e0946ae3a5b77c29cc45fd28f70e17f6"
-url = "git+https://github.com/alire-project/clic.git"
-
@@ -1,34 +0,0 @@
-description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
-long-description = '''# cortex-m
-
-Ada drivers for the peripherals of ARM Cortex-M micro-controllers
-(NVIC,\nSysTick, etc.)
-
-This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "cortex_m"
-version = "0.4.0"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["embedded", "arm", "nostd"]
-
-[[depends-on]]
-hal = "~0.3"
-gnat_arm_elf = ">=11"
-
-[configuration.variables]
-core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
-
-[origin]
-commit = "7cfb8c9b2f03a5f461c113b6acf3b6245c627cc7"
-url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-
@@ -1,20 +0,0 @@
-name = "dependency_graph_extractor"
-description = "Extract dependency information from Ada projects"
-version = "22.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
-tags = ["extract", "dependency", "analysis", "graph", "graphml"]
-
-authors = ["Jeroen Ketema", "Pierre van de Laar"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-executables = ["dependency_graph_extractor"]
-
-[[depends-on]]
-libadalang = "^22.0.0"
-
-[origin]
-commit = "992fc1c438fff2917f5cbdbfe6ca449933ee6fd5"
-url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
-
@@ -1,24 +0,0 @@
-name = "evdev"
-description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
-version = "2.0.1"
-website = "https://github.com/onox/evdev-ada"
-licenses = "Apache-2.0"
-tags = ["evdev", "force-feedback"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-project-files = ["evdev.gpr", "evdev_info.gpr"]
-executables = ["evdev-ada"]
-
-[configuration]
-disabled = true
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[origin]
-commit = "571a6bc0f0d3c112753ddfb90f572833c575070c"
-url = "git+https://github.com/onox/evdev-ada.git"
@@ -1,32 +0,0 @@
-name = "garlic"
-description = "GNAT Library for Ada Distributed Environment (garlic)"
-website = "https://github.com/reznikmm/garlic/wiki"
-version = "6.0.1"
-tags = ["dsa", "distributed", "annex", "network", "glade"]
-
-authors = ["AdaCore"]
-maintainers = ["Max Reznik <reznikmm@gmail.com>"]
-maintainers-logins = ["reznikmm"]
-licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
-
-project-files = ["gnat/garlic.gpr"]
-
-[configuration]
-disabled = true
-
-[gpr-externals]
-GARLIC_BUILD_MODE = ["dev", "prod"]
-
-[environment.'case(os)'.windows.PATH]
-append = "${CRATE_ROOT}/.libs/relocatable"
-
-[environment.'case(os)'.linux.LD_LIBRARY_PATH]
-append = "${CRATE_ROOT}/.libs/relocatable"
-
-[environment.'case(os)'.macos.DYLD_LIBRARY_PATH]
-append = "${CRATE_ROOT}/.libs/relocatable"
-
-[origin]
-commit = "90ef4b6f01c95df7e04c8f3e4c41c275f23acea9"
-url = "git+https://github.com/reznikmm/garlic.git"
-
@@ -1,27 +0,0 @@
-name = "getopt"
-description = "POSIX getopt(3) for Ada"
-version = "1.2.2"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/getopt-ada"
-tags = ["arguments", "options", "flags", "getopt"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:b5ade9bcda49c1dc74554137fe961e4d4c072d29fcf99a7219ccb4c2827ae84e",
-"sha512:4556349572048135747631aa1c89d657282e745ccde9f7126dfb29e4648d301b778c583f83703ad72e73ca74741e2484b1dcd341d3f4c1ed589a59b71a5ccfdd",
-]
-url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v1.2.2.tar.gz"
-
@@ -1,27 +0,0 @@
-name = "getopt"
-description = "POSIX getopt(3) for Ada"
-version = "2.0.0"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/getopt-ada"
-tags = ["arguments", "options", "flags", "getopt"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-GETOPT_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-GETOPT_COMPILE_CHECKS = ["enabled", "disabled"]
-GETOPT_RUNTIME_CHECKS = ["enabled", "disabled"]
-GETOPT_STYLE_CHECKS = ["enabled", "disabled"]
-GETOPT_CONTRACTS = ["enabled", "disabled"]
-GETOPT_BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:2c0816539b61aa27c3accac795ab9278102857c836f27c498bf09387ae2c92d9",
-"sha512:84570b13d0dc49c9a7e548780607e50b01b12de8f147ac484efcc35e8f69e4be773665aecbaa4c6bf875101a70d4a9e72c0d616fda04f097dd6f45d5a896019c",
-]
-url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v2.0.0.tar.gz"
-
@@ -1,22 +0,0 @@
-name = "gnat_math_extensions"
-description = "Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices"
-website = "https://github.com/simonjwright/gnat_math_extensions"
-version = "1.1.0"
-licenses= "GPL-3.0-or-later WITH GCC-exception-3.1"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-project-files = ["gnat_math_extensions.gpr"]
-
-tags = ["matrices", "blas", "lapack"]
-
-[[depends-on]]
-  "libblas" = "*"
-  "liblapack" = "*"
-
-[origin]
-commit = "e1f68c35cfb4539450341cede99ffc980510219c"
-url = "git+https://github.com/simonjwright/gnat_math_extensions.git"
-
@@ -27,7 +27,6 @@ GNATCOLL_OS = "windows"

 [gpr-set-externals]
 GNATCOLL_VERSION = "22.0.0"
-GNATCOLL_BUILD_MODE = "PROD"

 [[depends-on]]
 libgpr = "~22.0.0"
@@ -1,33 +0,0 @@
-name = "gnatdist_garlic"
-description = "The configuration tool gnatdist for GARLIC"
-website = "https://github.com/reznikmm/garlic/wiki"
-version = "6.0.1"
-tags = ["dsa", "distributed", "annex", "network", "glade"]
-
-authors = ["AdaCore"]
-maintainers = ["Max Reznik <reznikmm@gmail.com>"]
-maintainers-logins = ["reznikmm"]
-licenses = "GPL-2.0-or-later"
-
-project-files = ["../gnat/gnatdist.gpr"]
-
-executables = ["gnatdist"]
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment.PATH]
-append = "${CRATE_ROOT}/.bin"
-
-[[forbids]]
-polyorb="*"
-
-
-
-[origin]
-commit = "90ef4b6f01c95df7e04c8f3e4c41c275f23acea9"
-subdir = "./Dist/"
-url = "git+https://github.com/reznikmm/garlic.git"
-
@@ -1,16 +0,0 @@
-description = "HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada"
-name = "hac"
-version = "0.11.0"
-authors = ["Gautier de Montmollin"]
-website = "https://hacadacompiler.sourceforge.io/"
-licenses = "MIT"
-maintainers = ["gdemont@hotmail.com"]
-maintainers-logins = ["zertovitch"]
-project-files = ["hac.gpr"]
-
-[gpr-externals]
-HAC_Build_Mode = ["Debug", "Fast", "Small"]
-
-[origin]
-url = "https://sourceforge.net/projects/hacadacompiler/files/hac-2022-06-19-v.0.11.zip"
-hashes = ["sha512:c596ed7c814406defbbb0d2dbf94c167236f36dc514e681ca2523045698d3fa4346e0b87ade272d4ed5a6047f61e9d4bdd033967bdb893fb4967a9af6c01982d"]
@@ -1 +1 @@
-version = "1.2"
+version = "1.1"
@@ -1,23 +0,0 @@
-name = "iterators"
-description = "Functional iterators a la Rust"
-version = "0.2.0"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-website = "https://github.com/mosteo/iterators"
-
-licenses = "LGPL-3.0-only"
-tags = ["iterators", "functional"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-aaa = "~0.2.1"
-gnat = "^10"  # gnat 11 is causing many new errors, migration pending
-
-[origin]
-commit = "18995a4dc100b945a63ba49861d14a015a36a527"
-url = "git+https://github.com/mosteo/iterators.git"
-
@@ -1,21 +0,0 @@
-name = "j2ada"
-description = "Almost Java to Ada translator"
-version = "1.4.2"
-tags = ["java", "translator"]
-
-authors = ["Pascal Pignard"]
-maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
-maintainers-logins = ["Blady-Com"]
-website = "https://github.com/Blady-Com/j2ada"
-
-licenses = "CECILL-2.1"
-
-executables = ["j2ada"]
-
-[gpr-set-externals.'case(os)']
-macos   = { J2ADA_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
-
-[origin]
-commit = "79a4663450089d4dc2acdbb4c656624b6f43269a"
-url = "git+https://github.com/Blady-Com/j2ada.git"
-
@@ -1,22 +0,0 @@
-name = "json"
-description = "An Ada 2012 library for parsing JSON"
-version = "5.0.2"
-website = "https://github.com/onox/json-ada"
-licenses = "Apache-2.0"
-tags = ["json"]
-
-executables = ["pretty_print"]
-
-project-files = ["json.gpr", "json_pretty_print.gpr"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[configuration]
-disabled = true
-
-[origin]
-url = "git+https://github.com/onox/json-ada.git"
-commit = "d429d7af880ab9ed38d58ac08c1c9a16e7697752"
-subdir = "json"
@@ -9,8 +9,3 @@ kind = "system"
 [external.origin."case(distribution)"]
 "debian|ubuntu" = ["libgmp-dev"]
 msys2 = ["mingw-w64-x86_64-gmp"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "pkg-config", "--modversion", "gmp" ]
-version-regexp = "([\\d\\.]+)"
@@ -9,8 +9,3 @@ kind = "system"
 [external.origin."case(distribution)"]
 "..." = []
 "debian|ubuntu" = ["libgnutls28-dev"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "pkg-config", "--modversion", "gnutls" ]
-version-regexp = "([\\d\\.]+)"
@@ -1,31 +0,0 @@
-name = "libkeccak"
-description = "SHA-3 and related algorithms"
-version = "3.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/damaki/libkeccak"
-tags = [
-    "spark", "cryptography", "security", "hash", "sha3", "keccak", "gimli",
-    "ascon", "shake", "cshake", "kmac", "tuplehash", "parallelhash",
-    "kangarootwelve"
-]
-
-authors = ["Daniel King"]
-maintainers = ["Daniel King <damaki.gh@gmail.com>"]
-maintainers-logins = ["damaki"]
-
-[[depends-on]]
-gnat = ">=11.0.0"
-
-[gpr-externals]
-LIBKECCAK_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-LIBKECCAK_COMPILE_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_RUNTIME_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_STYLE_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_CONTRACTS = ["enabled", "disabled"]
-LIBKECCAK_BUILD_MODE = ["debug", "optimize"]
-LIBKECCAK_ARCH = ["generic", "x86_64"]
-LIBKECCAK_SIMD = ["none", "SSE2", "AVX2"]
-[origin]
-commit = "f33be1c8120196d90f600b14d669b11d16149bf9"
-url = "git+https://github.com/damaki/libkeccak.git"
-
@@ -1,15 +0,0 @@
-name = "libtls"
-description = "A new TLS library"
-website = "https://man.openbsd.org/tls_init.3"
-tags = ["tls", "ssl"]
-licenses = "ISC"
-
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libtls-dev"]
-"arch|centos|fedora" = ["libretls"]
-msys2 = ["mingw-w64-libressl"]
@@ -1,35 +0,0 @@
-name = "linenoise_ada"
-description = "Bindings to the Linenoise line editing library"
-version = "1.1.1"
-licenses = "BSD-2-Clause"
-
-project-files = ["linenoise.gpr"]
-
-website = "https://git.sr.ht/~nytpu/linenoise-ada"
-tags = ["linenoise", "readline", "line-editing"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[available.'case(os)']
-linux   = true
-macos   = true
-windows = false
-'...'   = false
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:09aa2452b34c2714858e06cceeae52f366a79f452fec667d5a78d3252a31b40f",
-"sha512:c098d1281992702d8fd889e73d19feeaa10770f00bdb40ad0cb1627cd6cb48bf8272e8cfe8fc5fb4a0fa64125f9b4d4a04e43012a06ba9dda1ff21695b11cf04",
-]
-url = "https://git.sr.ht/~nytpu/linenoise-ada/archive/v1.1.1.tar.gz"
-
@@ -1,24 +0,0 @@
-name = "littlefs"
-description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
-version = "0.2.0"
-licenses = "BSD-3-Clause"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/littlefs-ada"
-tags = ["embedded", "filesystem", "nostd", "flash"]
-
-[configuration.variables]
-Assert    = { type = "boolean", default = false}
-Debug     = { type = "boolean", default = false}
-Warn      = { type = "boolean", default = false}
-Error     = { type = "boolean", default = false}
-Trace     = { type = "boolean", default = false}
-No_Malloc = { type = "boolean", default = true}
-Max_Name_Size = { type = "integer", first = 1, last = 1022, default = 255 }
-Max_File_Size = { type = "integer", first = 1, last = 2147483647, default = 2147483647 }
-
-[origin]
-commit = "ecc2fb25b7c1b711dfc83d510f1b727f11cc98fe"
-url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
-
@@ -1,37 +0,0 @@
-name = "lmdb_ada"
-description = "Bindings to the Lightning Memory-Mapped Database"
-version = "1.1.0"
-licenses = "BSD-2-Clause AND OLDAP-2.8+"
-
-project-files = ["lmdb.gpr"]
-
-website = "https://git.sr.ht/~nytpu/lmdb-ada"
-tags = ["database", "key-value"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LMDB_PLATFORM = ["unix", "windows"]
-LMDB_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-LMDB_COMPILE_CHECKS = ["enabled", "disabled"]
-LMDB_RUNTIME_CHECKS = ["enabled", "disabled"]
-LMDB_STYLE_CHECKS = ["enabled", "disabled"]
-LMDB_CONTRACTS = ["enabled", "disabled"]
-LMDB_BUILD_MODE = ["debug", "optimize"]
-
-[gpr-set-externals.'case(os)']
-'linux|macos' = { LMDB_PLATFORM = "unix" }
-windows = { LMDB_PLATFORM = "windows" }
-
-[[depends-on]]
-gnatcoll = "^22.0.0"
-
-[origin]
-hashes = [
-"sha256:f9975436cb38096f3d87f10cf424ac32ce53f9f0420fe627c7b0ee6de393f967",
-"sha512:533a6b89082fac9631bcc84c9ef8867af27c69b840d8810f4fd4d2c87d89a000b51427df68f541e9237a4fdbbb84e92611b3d2b126e7178e0515dfab527f7576",
-]
-url = "https://git.sr.ht/~nytpu/lmdb-ada/archive/v1.1.0.tar.gz"
-
@@ -102,7 +102,7 @@ tags = ["embedded", "nostd", "microbit", "nrf51"]
 auto-gpr-with=false # User has to select only one project file

 [[depends-on]]
-microbit_bsp = "~0.1.0"
+microbit_bsp = "^0.1.0"

 [gpr-set-externals]
 MICROBIT_BSP_RUNTIME_CHECKS="enabled"
@@ -1,18 +0,0 @@
-name = "midi"
-description = "Library to encode and decode MIDI messages"
-version = "0.1.0"
-licenses = "MIT"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/MIDI"
-tags = ["midi", "embedded", "nostd"]
-
-[[depends-on]]
-hal = "~0.3.0"
-bbqueue = "~0.3.0"
-
-[origin]
-commit = "14c7842aa16ad970ca0eb53f6cbf31cc2b648a72"
-url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
-
@@ -1,18 +0,0 @@
-name = "midi"
-description = "Library to encode and decode MIDI messages"
-version = "0.2.0"
-licenses = "MIT"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/MIDI"
-tags = ["midi", "embedded", "nostd"]
-
-[[depends-on]]
-hal = "~0.3.0"
-bbqueue = "~0.3.0"
-gnat = ">=11"
-
-[origin]
-commit = "6a6306df92ca026119ef193d8837ba9ef9eebfd1"
-url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
@@ -1,20 +0,0 @@
-name = "minirest"
-description = "Minimalist Ada REST client library"
-version = "0.2"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-tags = ["rest"]
-website = "https://github.com/mosteo/minirest"
-
-[[depends-on]]
-aaa = "~0.2.1|~0.3"
-curl = "*"
-
-[origin]
-commit = "a50d0f7cc1c546b9dd61bc3dd3004e4b953fb9f2"
-url = "git+https://github.com/mosteo/minirest.git"
-
@@ -11,9 +11,8 @@ tags = ["embedded", "nostd", "nrf51", "nrf52", "nordic", "drivers", "ble"]
 auto-gpr-with=false # User has to select only one project file

 [[depends-on]]
-cortex_m = "~0.2.0"
-hal = "~0.1.0"
-gnat_arm_elf = "^11.2"
+cortex_m = "^0.2.0"
+hal = "^0.1.0"

 [origin]
 commit = "0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc"
@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "1.6.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.1"
-rp2040_hal = "^1.6"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "5796813759fdbb37a65f704eea08bdb414296dcc"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-
@@ -1,39 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "1.6.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = "BSD-3-Clause"
-tags = ["embedded", "nostd", "pico", "rp2040"]
-website = "https://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "multicore/multicore.gpr",
-    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
-    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
-    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
-    "pio_assemble/pio_assemble.gpr",
-    "pio_blink/pio_blink.gpr",
-    "pwm/pwm.gpr",
-    "rtc/rtc.gpr",
-    "spi_loopback/spi_loopback.gpr",
-    "timer/timer.gpr",
-    "uart_echo/uart_echo.gpr",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-pico_bsp = "^1.6"
-chests = "~0.1.1"
-
-[origin]
-commit = "0e814acca3e5d8b0890e7086a95f3bef24531267"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-
@@ -1,24 +0,0 @@
-name = "rejuvenation"
-description = "Analysis and manipulation of Ada code based on concrete patterns"
-version = "22.0.1"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Rejuvenation-Ada"
-tags = ["analysis", "manipulation", "transformation"]
-
-authors = ["Pierre van de Laar", "Arjan J. Mooij"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-[[depends-on]]
-libadalang = "^22.0.0"          #  remove this dependency when libadalang is 
-                                #  already installed on your system
-                                #  and accessible via your GPR_PROJECT_PATH
-
-# libadalang_tools = "^22.0.0"    #  needs gnatpp from libadalang_tools installed on PATH
-                                  #  Alire is not yet capable to add gnatpp to PATH.
-                                  #  see https://github.com/AdaCore/libadalang-tools/issues/21
-
-[origin]
-commit = "a6990d10a3b81067d7b8dc0407361a38a9b2c3dc"
-url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
-
@@ -1,15 +0,0 @@
-name = "resources"
-description = "Utility library to handle project resources at run-time"
-version = "0.1.0"
-
-licenses = "MIT"
-website = "https://github.com/alire-project/resources"
-tags = ["utils"]
-
-authors = ["Alire Team"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau", "mosteo"]
-
-[origin]
-commit = "a418da627ec3d18f50f60edaee41a2f47f173a0e"
-url = "git+https://github.com/alire-project/resources.git"
@@ -1,18 +0,0 @@
-name = "rewriters"
-description = "Easy, yet advanced manipulation of Ada code"
-version = "22.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Rewriters-Ada"
-tags = ["manipulation", "transformation"]
-
-authors = ["Pierre van de Laar"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-[[depends-on]]
-libadalang = "^22.0.0"
-rejuvenation = "^22.0.0"
-[origin]
-commit = "9b54e0c264161ebd27d0b8fd8018cd0d3a966d6e"
-url = "git+https://github.com/TNO/Rewriters-Ada.git"
-
@@ -1,28 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "1.6.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.3"
-hal = "~0.1"
-usb_embedded = "~0.2"
-gnat_arm_elf = "^11.2"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-
-[origin]
-commit = "548c38843e13d5bbd2ea8854b9a333f29edf4d47"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-
@@ -1,16 +0,0 @@
-name = "simh_tapes"
-description = "Library to handle SimH Standard magnetic tape image files"
-version = "0.1.1"
-
-authors = ["Stephen Merrony"]
-maintainers = ["Stephen Merrony <merrony@gmail.com>"]
-maintainers-logins = ["SMerrony"]
-licenses = "AGPL-3.0-or-later"
-website = "https://github.com/SMerrony/simh_tapes"
-tags = ["legacy", "magtape", "magnetic", "tape", "emulation", "simulation"]
-executables = ["simhtapetool"]
-
-[origin]
-commit = "795aadd4cbc1e8978e98a63aa8bf9a40aed36f1c"
-url = "git+https://github.com/SMerrony/simh_tapes.git"
-
@@ -10,7 +10,7 @@ maintainers-logins = ["mosteo"]
 project-files = ["components.gpr", "components-connections_server.gpr", "components-connections_server-elv_max_cube.gpr", "components-connections_server-http_server.gpr", "components-connections_server-http_server-sqlite_browser.gpr", "components-connections_server-modbus.gpr", "components-connections_server-mqtt.gpr", "components-connections_server-secure.gpr", "components-connections_server-smtp.gpr", "components-gnutls.gpr", "components-ntp.gpr", "components-odbc.gpr", "components-sqlite.gpr", "strings_edit.gpr", "tables.gpr"]

 [[depends-on]]
-gnat = "<2020 & (<11 | >2000)"
+gnat = "/=2021 & <11"
 libgnutls = "^3.5.8"
 unixODBC = "^2.3"

@@ -2,7 +2,7 @@ name = "spawn"
 description = "A simple library to spawn processes and communicate with them."
 long-description = "This is Glib indepentent implementation of a spawn processes interface."
 version = "1.0.0"
-website = "https://github.com/AdaCore/spawn"
+website = "https://github.com/reznikmm/spawn"
 authors = ["AdaCore", "Max Reznik"]
 licenses = "GPL-3.0-only WITH GCC-exception-3.1"
 maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -19,5 +19,5 @@ windows = { OS = "Windows_NT" }  # to see all enumeration values, one per row.
 macos   = { OS = "osx" }

 [origin]
-url = "https://github.com/AdaCore/spawn/releases/download/1.0.0/spawn-1.0.0.tar.gz"
+url = "https://github.com/reznikmm/spawn/files/5311743/spawn-1.0.0.tar.gz"
 hashes = ["sha512:a3d12d2df209f006922883ffcd1b69cff87995970b5e60a1aee69251bd01094364a7f8fe546284d21d0979a34ee3e95b92a94e31de55a0a3d9acf1e7aa133066"]
@@ -2,7 +2,7 @@ name = "spawn"
 description = "A simple library to spawn processes and communicate with them."
 long-description = "This is Glib indepentent implementation of a spawn processes interface."
 version = "22.0.0"
-website = "https://github.com/AdaCore/spawn"
+website = "https://github.com/reznikmm/spawn"
 authors = ["AdaCore", "Max Reznik"]
 licenses = "GPL-3.0-only WITH GCC-exception-3.1"
 maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -2,7 +2,7 @@ name = "spawn_glib"
 description = "A simple library to spawn processes and communicate with them."
 long-description = "This is Glib integrated implementation of a spawn processes interface."
 version = "1.0.0"
-website = "https://github.com/AdaCore/spawn"
+website = "https://github.com/reznikmm/spawn"
 authors = ["AdaCore", "Max Reznik"]
 licenses = "GPL-3.0-only WITH GCC-exception-3.1"
 maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -22,5 +22,5 @@ windows = { OS = "Windows_NT" }  # to see all enumeration values, one per row.
 macos   = { OS = "osx" }

 [origin]
-url = "https://github.com/AdaCore/spawn/releases/download/1.0.0/spawn_glib-1.0.0.tar.gz"
+url = "https://github.com/reznikmm/spawn/files/5311744/spawn_glib-1.0.0.tar.gz"
 hashes = ["sha512:44f2752986dcfdea4634731e0bcb972dec129d89b57e55c9e785b47cd3ae3adc04cf70334294dbcb9dd0c54cfe2896695d9b9090b8f7d6165eaf04a0b3baaaa6"]
@@ -1,15 +0,0 @@
-name = "stopwatch"
-description = "Keep track of elapsed time"
-version = "0.1.0"
-tags = ["timer", "stopwatch", "chronometer"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-
-[origin]
-commit = "624a7c877a01fa0f9c38fa01af8cafe9a220e76b"
-url = "git+https://github.com/mosteo/stopwatch.git"
-
@@ -23,7 +23,6 @@ TP_XMLADA = ["Installed", "Disabled"]

 [gpr-set-externals]
 TP_XMLADA = "Installed"
-PRJ_BUILD = "Release"

 [environment]
 ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check
@@ -6,7 +6,7 @@ authors = ["Jeremy Grosser"]
 maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
 maintainers-logins = ["JeremyGrosser"]
 licenses = "MIT"
-website = ["https://github.com/JeremyGrosser/tiny_text"]
+website = "https://github.com/JeremyGrosser/tiny_text"
 tags = ["font", "hal", "bitmap", "text"]

 [[depends-on]]  # This line was added by `alr with`
@@ -1,30 +0,0 @@
-name = "tlsada"
-description = "Bindings for libtls"
-version = "2.4.1"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/tlsada"
-tags = ["tls", "ssl"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[[depends-on]]
-libtls = "^3.5"
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:fff6f7613b46d8c2c5d030b2b1f34b3d3245cacf8c36d640057b4e168d85f2bc",
-"sha512:db65fa3e63053548dd8ebf50e06634ac6bfc9e1b9fef79d968954b6039566366615fe42a21aa6cd2272027208cff910181a0eabae84bcc938d704c7f5fe34967",
-]
-url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.4.1.tar.gz"
-
@@ -1,30 +0,0 @@
-name = "tlsada"
-description = "Bindings for libtls"
-version = "2.4.2"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/tlsada"
-tags = ["tls", "ssl"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[[depends-on]]
-libtls = "^3.5"
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:ba066138194a8de874114fcb5871136ba8442f6f72484c1cd5540ce71383ef4d",
-"sha512:1ac4355ee73b7d91baabec3f13d63dcb8c80e2f48c6fc89efe0517420ecd4c6bae9670fd9e3d6fd067f3ac3997df5e3e5080e3084623e6af83f3f32b1d97e0d7",
-]
-url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.4.2.tar.gz"
-
@@ -1,18 +0,0 @@
-name = "toml_slicer"
-description = "Edit TOML files directly without parsing"
-version = "0.1.1"
-licenses = "MIT"
-tags = ["toml"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-website = "https://github.com/mosteo/toml_slicer"
-
-[[depends-on]]
-aaa = "~0.2.4|~0.3"
-
-[origin]
-commit = "65fb5313c45642dc232f69f729a8a207de4faae9"
-url = "git+https://github.com/mosteo/toml_slicer.git"
-
@@ -8,8 +8,3 @@ maintainers-logins = ["mosteo"]
 [[external]]
 kind = "system"
 origin = ["unixodbc-dev"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "odbc_config", "--version" ]
-version-regexp = "([\\d\\.]+)"
@@ -1,15 +0,0 @@
-name = "uri_ada"
-description = "Processing of URI strings"
-version = "2.0"
-licenses = "MIT"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-tags = ["uri", "url", "utility"]
-
-[origin]
-commit = "02a0780d7757e9e79b3410c3a34960655cacea3d"
-url = "git+https://github.com/mosteo/uri-ada.git"
-
@@ -1,27 +0,0 @@
-name = "uri_mime"
-description = "URI & MIME Type Parsing and Manupulation"
-version = "1.3.1"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/uri-mime-ada"
-tags = ["uri", "url", "mime", "media-type"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:166cc99fc5f5a137dfda5a407d31d7f4df1f3a049739fea9da7335941e208071",
-"sha512:cd600f0f7725bea9c8927f981c593ef879ca3a84008f1f1b50d2a79fc41d17f77cc0d50d93632a64a615a4ccedcdc13b863e0c877c3cbfb14ed1f5d122f27539",
-]
-url = "https://git.sr.ht/~nytpu/uri-mime-ada/archive/v1.3.1.tar.gz"
-
@@ -1,25 +0,0 @@
-name = "usb_embedded"
-description = "An Ada USB stack for embedded devices"
-version = "0.3.0"
-
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/usb_embedded"
-licenses = "BSD-3-Clause"
-tags = ["embedded", "usb", "hid", "midi", "nostd"]
-
-[[depends-on]]
-hal = "~0.3"
-bbqueue = "~0.3.0"
-
-[configuration.variables]
-Control_Buffer_Size = {type = "Integer", first = 256, default = 256 }
-String_Buffer_Size = {type = "Integer", first = 0, default = 256 }
-Max_Strings = {type = "Integer", first = 0, default = 10 }
-Event_Log_Buffer_Size = {type = "Integer", first = 0, default = 0 }
-
-[origin]
-commit = "ed111b350df2a61893f6d3deaac53bfa14f47f01"
-url = "git+https://github.com/Fabien-Chouteau/usb_embedded.git"
-
@@ -1,24 +0,0 @@
-name = "wordle"
-description = "Wordle for the terminal"
-version = "0.1.1"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-executables = ["wordle"]
-
-licenses = "MIT"
-tags = ["wordle", "console", "terminal", "game"]
-
-[[depends-on]]
-aaa       = "~0.2.6"
-ansiada   = "^1.0.0"
-wordlelib = "~0.1.0"
-wordlist  = "~0.1.2"
-
-
-[origin]
-commit = "e2a960d82bce0914d3ed7ac5e4b0a6cd13d41b21"
-url = "git+https://github.com/mosteo/wordle_ada.git"
-
@@ -1,18 +0,0 @@
-name = "wordlelib"
-description = "Library to track progress in a game of Wordle"
-version = "0.1.0"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-tags = ["wordle", "game", "console", "terminal"]
-
-[[depends-on]]
-aaa = "~0.2.5"
-
-[origin]
-commit = "5f907b3b1c98112eaaec9be55296625f4443d316"
-url = "git+https://github.com/mosteo/wordlelib_ada.git"
-
@@ -1,25 +0,0 @@
-name = "wordlist"
-description = "An English word list"
-version = "0.1.3"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-tags = ["wordlist", "english"]
-
-[[depends-on]]
-aaa       = "~0.2.5"
-ada_toml  = "~0.3.0"
-gnat      = ">=11 & <2000"
-resources = "~0.1.0"
-
-[configuration.variables]
-Logging = { type = "Boolean", default = false }
-Wordset = { type = "Enum", values = ["small", "large", "wordle"], default = "large" }
-
-[origin]
-commit = "fad16afcc384075bd0fda36d98b95d78778e46c7"
-url = "git+https://github.com/mosteo/wordlist_ada.git"
-
@@ -13,14 +13,7 @@ project-files = ["distrib/xmlada.gpr",
                 "schema/xmlada_schema.gpr",
                 "unicode/xmlada_unicode.gpr"]

-# XMLada 21.0 config scripts are not able to detect build machine on msys2.
-# We explicitly set the value in on the command line:
-[[actions."case(distribution)".msys2]]
-type = "post-fetch"
-command = ["sh", "configure", "--build=x86_64-w64-mingw32"]
-
-# For other hosts the detection works fine:
-[[actions."case(distribution)"."..."]]
+[[actions]]
 type = "post-fetch"
 command = ["sh", "configure"]

@@ -21,12 +21,12 @@ disabled = true

 # XMLada 22.0 config scripts are not able to detect build machine on msys2.
 # We explicitly set the value in on the command line:
-[[actions."case(distribution)".msys2]]
+[[actions."case(os)".windows]]
 type = "post-fetch"
 command = ["sh", "configure", "--build=x86_64-w64-mingw32"]

 # For other hosts the detection works fine:
-[[actions."case(distribution)"."..."]]
+[[actions."case(os)"."..."]]
 type = "post-fetch"
 command = ["sh", "configure"]

@@ -0,0 +1,76 @@
+#!/bin/bash
+
+trap 'echo "ERROR at line ${LINENO} (code: $?)" >&2' ERR
+trap 'echo "Interrupted" >&2 ; exit 1' INT
+
+set -o errexit
+set -o nounset
+
+# Ensure all alr runs are non-interactive
+alias alr="alr -n"
+
+# Detect changes
+CHANGES=$(git diff --name-only HEAD~1)
+
+# Bulk changes for the record
+echo Changed files: $CHANGES
+
+# Disable assistant. This is necessary despite the setup-alire action doing it
+# too, because we sometimes run inside a Docker with fresh configuration
+alr toolchain --disable-assistant
+
+# Configure index
+alr index --del local >/dev/null || true # Simplifies local testing
+alr index --name local --add ./index
+
+# Remove community index in case it has been added before
+alr index --del community >/dev/null || true
+
+diff_opts=(--minimal -U0 --line-prefix "--| " --ignore-all-space --ignore-blank-lines --ignore-cr-at-eol)
+
+function diff_one() {
+    local file="$1"
+    local folder=$(dirname $file)
+    local crate=$(basename $file .toml | cut -f1 -d-)
+    local version=$(basename $file .toml | cut -f2- -d-)
+    local milestone="$crate=$version"
+
+    echo " "
+    echo "------8<------"
+
+    if echo $milestone | grep -q external; then
+        echo DIFFING external: $milestone
+        git diff "${diff_opts[@]}" HEAD~1 -- $file
+    else
+        echo DIFFING release: $milestone
+
+        # Locate the immediately precedent release
+
+        # For a first release, there's nothing to compare
+        if [ $(ls $folder | grep -v external | wc -l) -eq 1 ]; then
+            echo NOTHING to diff against, first crate release
+            return 0
+        fi
+
+        # Othewise, get from alr what's the immediately preceding version
+        local prev_milestone=$(alr show "$crate<$version" | head -1 | cut -f1 -d:)
+        echo DIFFING milestones $prev_milestone '-->' $milestone
+
+        if [ "$prev_milestone" == "ERROR" ]; then
+            echo ERROR extracting milestone:
+            alr show "$crate<$version"
+            return 1
+        fi
+
+        # Convert into filename
+        local prev_file=$folder/${prev_milestone//=/-}.toml
+
+        git diff --no-index "${diff_opts[@]}" -- $prev_file $file
+    fi
+
+    return 0
+}
+
+for file in $CHANGES; do
+    diff_one "$file" || true # keep on trying for different files
+done
@@ -0,0 +1,194 @@
+#!/bin/bash
+
+trap 'echo "ERROR at line ${LINENO} (code: $?)" >&2' ERR
+trap 'echo "Interrupted" >&2 ; exit 1' INT
+
+set -o errexit
+set -o nounset
+
+# Ensure all alr runs are non-interactive
+alias alr="alr -n"
+
+# See whats happening
+git log --graph --decorate --pretty=oneline --abbrev-commit --all | head -30
+
+# Detect changes
+CHANGES=$(git diff --name-only HEAD~1)
+
+# Bulk changes for the record
+echo Changed files: $CHANGES
+
+# Disable assistant. This is necessary despite the setup-alire action doing it
+# too, because we sometimes run inside a Docker with fresh configuration
+alr toolchain --disable-assistant
+
+# Show alr metadata
+alr version
+
+# Configure index
+alr index --name local --add ./index
+
+# Remove community index in case it has been added before
+alr index --del community || true
+
+# Show environment for the record
+env
+
+# Check index for obsolescent features
+echo STRICT MODE index checks
+alr index --check
+
+# Check no warning during index loading.
+# Such a warning would also happen during `alr printenv`, breaking it.
+# TODO: remove after old license deprecation.
+alr search --crates 2>&1 | grep "Warning:" && exit 1
+
+# Test crate
+for file in $CHANGES; do
+
+   if [[ $file == index.toml ]]; then
+      echo Skipping index metadata file: $file
+      continue
+   fi
+
+   if [[ $file != *.toml ]]; then
+      echo Skipping non-crate file: $file
+      continue
+   fi
+
+   if ! [ -f ./$file ]; then
+      echo Skipping deleted file: $file
+      continue
+   fi
+
+   # Checks passed, this is a crate we must test
+   is_system=false
+
+   crate=$(basename $file .toml | cut -f1 -d-)
+   version=$(basename $file .toml | cut -f2- -d-)
+   version_noextras=$(echo $version | cut -f1 -d- | cut -f1 -d+)
+   milestone="$crate=$version"
+   echo Testing crate: $milestone
+   # Remember that version can be "external", in which case we do not know the
+   # actual version, and indeed the test will only work if the external is the
+   # newest version. This probably merits a way of being tested properly, but
+   # that will require changes in alr.
+
+   if [[ $version = external ]]; then
+      echo Downgrading milestone to plain crate name
+      milestone=$crate
+   fi
+
+   # Show info for the record
+   echo PLATFORM-INDEPENDENT CRATE INFO $milestone
+   alr show $milestone
+   alr show --external $milestone
+   alr show --external-detect $milestone
+
+   echo PLATFORM-DEPENDENT CRATE INFO $milestone
+   alr show --system $milestone
+   alr show --external --system $milestone
+   alr show --external-detect --system $milestone
+   crateinfo=$(alr show --external-detect --system $milestone)
+
+   echo CRATE DEPENDENCIES $milestone
+   alr show --solve --detail --external-detect $milestone
+   solution=$(alr show --solve --detail --external-detect $milestone)
+
+   # Fail if there are pins in the manifest
+   if grep -q 'Pins (direct)' <<< $crateinfo ; then
+      echo "FAIL: release $milestone manifest contains pins"
+      exit 1
+   fi
+
+   # Skip on explicit unavailability
+   if alr show --system $milestone | grep -q 'Available when: False'; then
+      echo SKIPPING crate build: $milestone UNAVAILABLE on system
+      continue
+   fi
+
+   # In unsupported platforms, externals are properly reported as missing. We
+   # can skip testing of such a crate since it will likely fail.
+   if grep -q 'Dependencies (external):' <<< $solution ; then
+      echo SKIPPING build for crate $milestone with MISSING external dependencies
+      continue
+   fi
+
+   # Update system repositories whenever a detected system package is involved,
+   # either as dependency or as the crate being tested.
+   if grep -iq 'origin: system' <<< $solution; then
+      echo "UPDATING system repositories with sudo from user ${USERNAME:-unset} ($UID:-unset)..."
+      type apt-get 2>/dev/null && sudo apt-get update || true
+      type pacman  2>/dev/null && sudo pacman -Syy    || true
+   else
+      echo No need to update system repositories
+   fi
+
+   # Install an Alire-provided gprbuild whenever there is a non-external gnat in solution
+   if grep -iq 'gnat_' <<< $solution && ! grep -iq 'gnat_external' <<< $solution; then
+      gnat_dep=$(grep -E -o '^   gnat_.*=\S*' <<< $solution | xargs)
+      gnat_dep=${gnat_dep:-gnat_native}
+      echo "INSTALLING indexed gprbuild compatible with $gnat_dep"
+      alr toolchain --select $gnat_dep gprbuild
+      # -E for regex, -o for only the matched part, xargs to trim space
+      # We must give both the gnat in the solution and gprbuild, so both are compatible
+      # Even if we default to gnat_native, that would select the appropriate gprbuild
+   fi
+
+   # Detect whether the crate is binary to skip build
+   is_binary=false
+   if grep -iq 'binary archive' <<< $crateinfo; then
+      echo Crate is BINARY
+      is_binary=true
+   fi
+
+   # Alternatives for when the crate itself comes from an external. Only system
+   # externals should be tested.
+   if grep -q 'Origin: external path' <<< $crateinfo ; then
+      echo SKIPPING detected external crate $milestone
+      continue
+   elif grep -q 'Origin: system package' <<< $crateinfo ; then
+      echo INSTALLING detected system crate $milestone
+      is_system=true
+   elif grep -q 'Not found:' <<< $crateinfo && \
+        grep -q 'There are external definitions' <<< $crateinfo
+   then
+      echo SKIPPING undetected external crate $crate
+      continue
+   fi
+
+   # Detect missing dependencies for clearer error
+   if grep -q 'Dependencies cannot be met' <<< $solution ; then
+      echo FAIL: crate $milestone dependencies cannot be met
+      exit 1
+   fi
+
+   # Actual checks
+   echo DEPLOYING CRATE $milestone
+   if $is_binary; then
+      echo SKIPPING BUILD for BINARY crate, FETCHING only
+   elif $is_system; then
+      echo SKIPPING BUILD for SYSTEM crate, FETCHING only
+   fi
+
+   alr -d -q get $milestone
+
+   if $is_system; then
+      echo DETECTING INSTALLED PACKAGE via crate $milestone
+      alr -d show --external-detect $milestone
+   elif $is_binary; then
+      echo FETCHED BINARY crate OK
+   else
+      echo FETCHED SOURCE crate OK
+      cd ${crate}_${version_noextras}_*
+      echo BUILD ENVIRONMENT
+      alr printenv
+      echo BUILDING CRATE
+      alr -d build
+      echo LISTING EXECUTABLES of crate $milestone
+      alr -d run --list
+      cd ..
+   fi
+
+   echo CRATE $milestone TEST ENDED SUCCESSFULLY
+done