AWS 22.0.0

Tested with MacPorts (gmp).

.github/TESTING

@@ -0,0 +1,10 @@
+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.

.github/workflows/build-crate.yml

@@ -1,5 +1,11 @@
+# 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,11 +25,11 @@ jobs:
           - ubuntu-latest
           - windows-latest
         tag:
-          - arch-rolling
-          - centos-latest-community-latest
-          - community-latest
-          - debian-stable
-          - ubuntu-lts
+          - 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
           - ""
         exclude: # inclusions don't allow to add arrays of values to a scenario
           - os: ubuntu-latest
@@ -31,21 +37,21 @@ jobs:
           - os: macos-latest
             tag: arch-rolling
           - os: macos-latest
-            tag: centos-latest-community-latest
-          - os: macos-latest
-            tag: community-latest
+            tag: centos-stream-fsf-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-latest-community-latest
-          - os: windows-latest
-            tag: community-latest
+            tag: centos-stream-fsf-latest
           - os: windows-latest
             tag: debian-stable
+          - os: windows-latest
+            tag: fedora-latest
           - os: windows-latest
             tag: ubuntu-lts
 
@@ -59,6 +65,13 @@ 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
@@ -93,7 +106,7 @@ jobs:
       uses: mosteo/actions@docker-run/v1
       with:
         image: alire/gnat:${{matrix.tag}}
-        command: scripts/gh-build-crate.sh
+        command: ${{env.CHECKS_REPO}}/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)
@@ -102,5 +115,5 @@ jobs:
 
     - name: Test crate (Windows/MacOS)
       if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
-      run: scripts/gh-build-crate.sh
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
       shell: bash

.github/workflows/build-native.yml

@@ -1,6 +1,12 @@
+# 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:
@@ -30,6 +36,13 @@ 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.
@@ -63,5 +76,5 @@ jobs:
       run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
 
     - name: Test crate
-      run: scripts/gh-build-crate.sh
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
       shell: bash

.github/workflows/diff-release.yml

@@ -1,8 +1,14 @@
+# 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:
@@ -23,6 +29,13 @@ 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 stable `alr`
       if: contains(github.base_ref, 'stable-')
       uses: alire-project/setup-alire@v1
@@ -49,5 +62,5 @@ jobs:
         branch: master
 
     - name: Diff releases
-      run: scripts/diff-release.sh || true # No deal breaker if failed
+      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
       shell: bash

.github/workflows/main.yml

@@ -12,7 +12,7 @@ jobs:
 
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@latest-stable
+      uses: alire-project/setup-alire@v1
 
     - name: Set up GNAT for devel `alr`
       if: contains(github.base_ref, 'devel-')
@@ -22,7 +22,9 @@ jobs:
 
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@latest-devel
+      uses: alire-project/setup-alire@v1
+      with:
+        branch: master
 
     - run: alr index --list
 

index/aa/aaa/aaa-0.2.6.toml

@@ -0,0 +1,27 @@
+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"
+

index/an/ansiada/ansiada-1.0.0.toml

@@ -0,0 +1,15 @@
+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"
+

index/au/automate/automate-2.2.2.toml

@@ -0,0 +1,21 @@
+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"
+

index/aw/aws/aws-22.0.0.toml

@@ -0,0 +1,53 @@
+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"]
+

index/cl/clic/clic-0.2.1.toml

@@ -0,0 +1,28 @@
+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"
+

index/co/cortex_m/cortex_m-0.4.0.toml

@@ -0,0 +1,34 @@
+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"
+

index/de/dependency_graph_extractor/dependency_graph_extractor-22.0.0.toml

@@ -0,0 +1,20 @@
+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"
+

index/ee/eeprom_i2c/eeprom_i2c-3.2.0.toml

@@ -0,0 +1,18 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "3.2.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
+website = "https://github.com/hgrodriguez/eeprom_i2c"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+
+[origin]
+commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+

index/ev/evdev/evdev-2.0.1.toml

@@ -0,0 +1,24 @@
+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"

index/ga/garlic/garlic-6.0.1.toml

@@ -0,0 +1,32 @@
+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"
+

index/ge/getopt/getopt-1.2.2.toml

@@ -0,0 +1,27 @@
+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"
+

index/ge/getopt/getopt-2.0.0.toml

@@ -0,0 +1,27 @@
+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"
+

index/gn/gnat_math_extensions/gnat_math_extensions-1.1.0.toml

@@ -0,0 +1,22 @@
+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"
+

index/gn/gnatcoll/gnatcoll-22.0.0.toml

@@ -27,6 +27,7 @@ GNATCOLL_OS = "windows"
 
 [gpr-set-externals]
 GNATCOLL_VERSION = "22.0.0"
+GNATCOLL_BUILD_MODE = "PROD"
 
 [[depends-on]]
 libgpr = "~22.0.0"

index/gn/gnatdist_garlic/gnatdist_garlic-6.0.1.toml

@@ -0,0 +1,33 @@
+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"
+

index/ha/hac/hac-0.11.0.toml

@@ -0,0 +1,16 @@
+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"]

index/it/iterators/iterators-0.2.0.toml

@@ -0,0 +1,23 @@
+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"
+

index/j2/j2ada/j2ada-1.4.2.toml

@@ -0,0 +1,21 @@
+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"
+

index/js/json/json-5.0.2.toml

@@ -0,0 +1,22 @@
+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"

index/li/libblas/libblas-external.toml

@@ -9,5 +9,6 @@ maintainers-logins = ["simonjwright"]
 [[external]]
 kind="system"
 [external.origin."case(distribution)"]
+"macos" = []
 "debian|ubuntu" = ["libblas-dev"]
-# "msys2" = ["mingw-w64-x86_64-openblas"]
+"msys2" = ["mingw-w64-x86_64-lapack"]

index/li/libgmp/libgmp-external.toml

@@ -9,3 +9,8 @@ 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\\.]+)"

index/li/libgnutls/libgnutls-external.toml

@@ -9,3 +9,8 @@ kind = "system"
 [external.origin."case(distribution)"]
 "..." = []
 "debian|ubuntu" = ["libgnutls28-dev"]
+
+[[external]]
+kind = "version-output"
+version-command = [ "pkg-config", "--modversion", "gnutls" ]
+version-regexp = "([\\d\\.]+)"

index/li/libkeccak/libkeccak-3.0.0.toml

@@ -0,0 +1,31 @@
+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"
+

index/li/liblapack/liblapack-external.toml

@@ -9,5 +9,6 @@ maintainers-logins = ["simonjwright"]
 [[external]]
 kind="system"
 [external.origin."case(distribution)"]
+"macos" = []
 "debian|ubuntu" = ["liblapack-dev"]
-# "msys2" = ["mingw-w64-x86_64-lapack"]
+"msys2" = ["mingw-w64-x86_64-lapack"]

index/li/libtls/libtls-external.toml

@@ -0,0 +1,15 @@
+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"]

index/li/linenoise_ada/linenoise_ada-1.1.1.toml

@@ -0,0 +1,35 @@
+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"
+

index/li/littlefs/littlefs-0.2.0.toml

@@ -0,0 +1,24 @@
+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"
+

index/lm/lmdb_ada/lmdb_ada-1.1.0.toml

@@ -0,0 +1,37 @@
+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"
+

index/mi/microbit_examples/microbit_examples-0.1.0.toml

@@ -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"

index/mi/midi/midi-0.2.0.toml

@@ -0,0 +1,18 @@
+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"

index/mi/minirest/minirest-0.2.0.toml

@@ -0,0 +1,20 @@
+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"
+

index/nr/nrf5x_hal/nrf5x_hal-0.1.0.toml

@@ -11,8 +11,9 @@ 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"
+cortex_m = "~0.2.0"
+hal = "~0.1.0"
+gnat_arm_elf = "^11.2"
 
 [origin]
 commit = "0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc"

index/pi/pico_bsp/pico_bsp-1.6.0.toml

@@ -0,0 +1,22 @@
+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"
+

index/pi/pico_examples/pico_examples-1.6.0.toml

@@ -0,0 +1,39 @@
+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"
+

index/re/rejuvenation/rejuvenation-22.0.1.toml

@@ -0,0 +1,24 @@
+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"
+

index/re/rewriters/rewriters-22.0.0.toml

@@ -0,0 +1,18 @@
+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"
+

index/rp/rp2040_hal/rp2040_hal-1.6.0.toml

@@ -0,0 +1,28 @@
+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"
+

index/si/simh_tapes/simh_tapes-0.1.1.toml

@@ -0,0 +1,16 @@
+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"
+

index/si/simple_components/simple_components-4.42.0.toml

@@ -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 = "/=2021 & <11"
+gnat = "<2020 & (<11 | >2000)"
 libgnutls = "^3.5.8"
 unixODBC = "^2.3"
 

index/sp/spawn/spawn-1.0.0.toml

@@ -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/reznikmm/spawn"
+website = "https://github.com/AdaCore/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/reznikmm/spawn/files/5311743/spawn-1.0.0.tar.gz"
+url = "https://github.com/AdaCore/spawn/releases/download/1.0.0/spawn-1.0.0.tar.gz"
 hashes = ["sha512:a3d12d2df209f006922883ffcd1b69cff87995970b5e60a1aee69251bd01094364a7f8fe546284d21d0979a34ee3e95b92a94e31de55a0a3d9acf1e7aa133066"]

index/sp/spawn/spawn-22.0.0.toml

@@ -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/reznikmm/spawn"
+website = "https://github.com/AdaCore/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>"]

index/sp/spawn_glib/spawn_glib-1.0.0.toml

@@ -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/reznikmm/spawn"
+website = "https://github.com/AdaCore/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/reznikmm/spawn/files/5311744/spawn_glib-1.0.0.tar.gz"
+url = "https://github.com/AdaCore/spawn/releases/download/1.0.0/spawn_glib-1.0.0.tar.gz"
 hashes = ["sha512:44f2752986dcfdea4634731e0bcb972dec129d89b57e55c9e785b47cd3ae3adc04cf70334294dbcb9dd0c54cfe2896695d9b9090b8f7d6165eaf04a0b3baaaa6"]

index/st/stopwatch/stopwatch-0.1.0.toml

@@ -0,0 +1,15 @@
+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"
+

index/te/templates_parser/templates_parser-22.0.0.toml

@@ -23,6 +23,7 @@ TP_XMLADA = ["Installed", "Disabled"]
 
 [gpr-set-externals]
 TP_XMLADA = "Installed"
+PRJ_BUILD = "Release"
 
 [environment]
 ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check

index/tl/tlsada/tlsada-2.4.1.toml

@@ -0,0 +1,30 @@
+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"
+

index/tl/tlsada/tlsada-2.4.2.toml

@@ -0,0 +1,30 @@
+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"
+

index/to/toml_slicer/toml_slicer-0.1.1.toml

@@ -0,0 +1,18 @@
+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"
+

index/un/unixodbc/unixodbc-external.toml

@@ -8,3 +8,8 @@ maintainers-logins = ["mosteo"]
 [[external]]
 kind = "system"
 origin = ["unixodbc-dev"]
+
+[[external]]
+kind = "version-output"
+version-command = [ "odbc_config", "--version" ]
+version-regexp = "([\\d\\.]+)"

index/ur/uri_ada/uri_ada-2.0.0.toml

@@ -0,0 +1,15 @@
+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"
+

index/ur/uri_mime/uri_mime-1.3.1.toml

@@ -0,0 +1,27 @@
+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"
+

index/us/usb_embedded/usb_embedded-0.3.0.toml

@@ -0,0 +1,25 @@
+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"
+

index/wo/wordle/wordle-0.1.1.toml

@@ -0,0 +1,24 @@
+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"
+

index/wo/wordlelib/wordlelib-0.1.0.toml

@@ -0,0 +1,18 @@
+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"
+

index/wo/wordlist/wordlist-0.1.3.toml

@@ -0,0 +1,25 @@
+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"
+

index/xm/xmlada/xmlada-21.0.0.toml

@@ -13,7 +13,14 @@ project-files = ["distrib/xmlada.gpr",
                  "schema/xmlada_schema.gpr",
                  "unicode/xmlada_unicode.gpr"]
 
-[[actions]]
+# 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)"."..."]]
 type = "post-fetch"
 command = ["sh", "configure"]
 

index/xm/xmlada/xmlada-22.0.0.toml

@@ -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(os)".windows]]
+[[actions."case(distribution)".msys2]]
 type = "post-fetch"
 command = ["sh", "configure", "--build=x86_64-w64-mingw32"]
 
 # For other hosts the detection works fine:
-[[actions."case(os)"."..."]]
+[[actions."case(distribution)"."..."]]
 type = "post-fetch"
 command = ["sh", "configure"]
 

scripts/diff-release.sh

@@ -1,76 +0,0 @@
-#!/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

scripts/gh-build-crate.sh

@@ -1,194 +0,0 @@
-#!/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