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

.github/workflows/build-crate.yml

@@ -13,6 +13,7 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
+      fail-fast: false
       matrix:
         os:
           - macos-latest
@@ -59,9 +60,13 @@ jobs:
         # changed files detectors (in both scripts/gh-build-crate.sh and
         # check-author action).
 
+    - name: Update system repositories
+      if: matrix.os == 'ubuntu-latest'
+      run: sudo apt update
+
     - name: Set up GNAT toolchain (FSF)
       if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: ada-actions/toolchain@ce2021
       with:
         distrib: fsf # faster install?
 

.github/workflows/build-native.yml

@@ -14,6 +14,7 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
+      fail-fast: false
       matrix:
         os:
           - macos-latest

.github/workflows/diff-release.yml

@@ -0,0 +1,46 @@
+# Show differences between the submitted manifest and the previous
+# release of the same crate, to enable easier catching of problems
+
+name: Diff release
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+
+  diff:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Check out alire-index
+      uses: actions/checkout@v2
+      with:
+        fetch-depth: 0
+        # Needed to be able to diff and obtain changed files. Furthermore, we
+        # need the full history or else grafted partial branches confuse the
+        # changed files detector
+
+#    - 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-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We don't need the compiler
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We don't need the compiler
+        branch: master
+
+    - name: Diff releases
+      run: 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.5.toml

@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.5"
+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 = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
+url = "git+https://github.com/mosteo/aaa.git"
+

index/ad/adabots/adabots-1.1.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.1.0"
+
+authors = ["Tama McGlinn"]
+maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
+maintainers-logins = ["TamaMcGlinn"]
+
+licenses = "MIT"
+project-files = ["adabots.gpr"]
+tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
+
+[[depends-on]]  # This line was added by `alr with`
+aws = "^21.0.0"  # This line was added by `alr with`
+
+[[depends-on]]  # This line was added by `alr with`
+aaa = "~0.2.3"  # This line was added by `alr with`
+
+[origin]
+commit = "974b587bf8ec5c41eaaeedf9d4d7837685e05910"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.2.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.2.0"
+
+authors = ["Tama McGlinn"]
+maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
+maintainers-logins = ["TamaMcGlinn"]
+
+licenses = "MIT"
+project-files = ["adabots.gpr"]
+tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
+
+[[depends-on]]  # This line was added by `alr with`
+aws = "^21.0.0"  # This line was added by `alr with`
+
+[[depends-on]]  # This line was added by `alr with`
+aaa = "~0.2.3"  # This line was added by `alr with`
+
+[origin]
+commit = "f8238a936790440248d7ef34914851fdde3ae5a5"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adl_middleware/adl_middleware-0.1.1.toml

@@ -0,0 +1,30 @@
+description = "Middleware layer of the Ada Drivers Library project"
+long-description = '''# adl_middleware
+
+Middleware layer of the Ada Drivers Library project.
+
+This crate is a snapshot of the `middleware` of [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
+
+Any bug report, issue, contribution must be adressed to the [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
+
+'''
+
+name = "adl_middleware"
+version = "0.1.1"
+licenses = "BSD-3-Clause"
+authors=["AdaCore"]
+website="https://github.com/AdaCore/Ada_Drivers_Library/"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["adl_middleware.gpr"]
+tags = ["embedded", "nostd", "fat", "bitmap"]
+
+[[depends-on]]
+hal = "^0.1.0"
+
+[origin]
+commit = "67cf6a092008a918709d7855ab69e32fe2b6065b"
+url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
+

index/ap/apdf/apdf-5.0.3.toml

@@ -0,0 +1,18 @@
+description = "Portable package for producing dynamically PDF documents"
+name = "apdf"
+version = "5.0.3"
+authors = ["Gautier de Montmollin"]
+licenses = "MIT"
+maintainers = ["gdemont@hotmail.com"]
+maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
+project-files = ["pdf_out_gnat_w_gid.gpr"]
+
+[gpr-externals]
+PDF_Build_Mode = ["Debug", "Fast"]
+
+[[depends-on]]
+gid = ">=9.0.0"
+
+[origin]
+url = "https://sourceforge.net/projects/apdf/files/apdf_005_r3.zip"
+hashes = ["sha512:dbe27598986b1744b024803348350e48b9fe14a14b4137796b3bf12fc98e400b45fd16dc3902a5ffbfa407552131bec072c287444889d5984ade6ba6d2d981cf"]

index/ba/base64/base64-1.0.0.toml

@@ -0,0 +1,15 @@
+name = "base64"
+description = "Base64 encoding/decoding routines"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/base64"
+licenses = "ISC"
+tags = ["base64"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "d91cd4d298152dc64752e3f14f6ef9baf2e11664"
+url = "git+https://github.com/AntonMeep/base64.git"
+

index/ba/base64/base64-1.0.1.toml

@@ -0,0 +1,15 @@
+name = "base64"
+description = "Base64 encoding/decoding routines"
+version = "1.0.1"
+website = "https://github.com/AntonMeep/base64"
+licenses = "ISC"
+tags = ["base64"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "41f0c5dfb95d999e0140b9a575ca3c2ae8c26fe1"
+url = "git+https://github.com/AntonMeep/base64.git"
+

index/bb/bb_pico_bsp/bb_pico_bsp-0.1.0.toml

@@ -0,0 +1,33 @@
+name = "bb_pico_bsp"
+description = "Ada BSP for the Keyboard Featherwing + RPI PICO"
+version = "0.1.0"
+
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["embedded", "pico", "handheld", "featherwing"]
+website = "https://github.com/Fabien-Chouteau/bb_pico_bsp"
+licenses = "MIT"
+
+[[depends-on]]
+pico_bsp = "^1.0.0"
+embedded_components = "~0.1.0"
+lvgl_ada = "~0.2.0"
+
+[configuration.values]
+lvgl_ada.Pixel_Bit_Depth = "Pix_16bit"
+lvgl_ada.Color_16_SWAP = true
+lvgl_ada.Horizontal_Resolution = 320
+lvgl_ada.Vertical_Resolution = 240
+lvgl_ada.Theme_Live_Update = true
+lvgl_ada.Double_Buffering = true
+lvgl_ada.Density_Per_Inch = 50
+lvgl_ada.Virtual_Display_Buffer_Size = 30720
+
+[gpr-set-externals]
+EMBEDDED_COMPONENTS_COMPILE_CHECKS="disabled"
+
+[origin]
+commit = "76f9999eba98bf8b1088fc18b6e23325fd8adc75"
+url = "git+https://github.com/Fabien-Chouteau/bb_pico_bsp.git"
+

index/ch/chests/chests-0.1.0.toml

@@ -0,0 +1,16 @@
+name = "chests"
+description = "Chests are bounded containers"
+version = "0.1.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+
+licenses = "BSD-3-Clause"
+website = "https://github.com/JeremyGrosser/chests"
+tags = ["containers", "bounded", "nostd", "embedded"]
+
+[origin]
+commit = "45e5b47db75e6f01ca0fab31af7d7c82a7c15e6e"
+url = "git+https://github.com/JeremyGrosser/chests.git"
+

index/ch/chests/chests-0.1.1.toml

@@ -0,0 +1,16 @@
+name = "chests"
+description = "Chests are bounded containers"
+version = "0.1.1"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+
+licenses = "BSD-3-Clause"
+website = "https://github.com/JeremyGrosser/chests"
+tags = ["containers", "bounded", "nostd", "embedded"]
+
+[origin]
+commit = "9f7aa6f0a7abe88fb7fc2c91a44a42d29effd62c"
+url = "git+https://github.com/JeremyGrosser/chests.git"
+

index/de/dependency_graph_extractor/dependency_graph_extractor-0.1.0.toml

@@ -0,0 +1,18 @@
+name = "dependency_graph_extractor"
+description = "Extract dependency information from Ada projects"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
+tags = ["extract", "dependency", "analysis", "graph", "graphml"]
+
+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"
+
+[origin]
+commit = "71bc61cd13d542edf4732643f208273d435c33a9"
+url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
+

index/ed/edc_client/edc_client-1.4.0.toml

@@ -0,0 +1,18 @@
+name = "edc_client"
+description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
+version = "1.4.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "rp2040"]
+website = "https://github.com/hgrodriguez/edc_client"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+
+[origin]
+commit = "604711851d356014b653e2f50218ebcfe50f05a0"
+url = "git+https://github.com/hgrodriguez/edc_client.git"
+

index/ee/eeprom_i2c/eeprom_i2c-2.0.1.toml

@@ -0,0 +1,20 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "2.0.1"
+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
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "c01692bc92bc536cf35918e4aa2ed8ba7cec7ab3"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+

index/ee/eeprom_i2c/eeprom_i2c-3.0.1.toml

@@ -0,0 +1,20 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "3.0.1"
+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
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.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/en/endianness/endianness-1.0.0.toml

@@ -0,0 +1,15 @@
+name = "endianness"
+description = "Convenience subprograms to convert between Big- and Little-endianness"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/endianness"
+licenses = "ISC"
+tags = ["spark", "endianness", "system"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "0fdb81cde626f68c726eaac5c1211a65e6a06a33"
+url = "git+https://github.com/AntonMeep/endianness.git"
+

index/ep/epoll/epoll-0.1.1.toml

@@ -0,0 +1,19 @@
+name = "epoll"
+description = "Linux epoll binding"
+version = "0.1.1"
+licenses = "BSD-3-Clause"
+tags = ["linux", "epoll", "net"]
+website = "https://github.com/JeremyGrosser/epoll-ada"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+
+[available.'case(os)']
+linux = true
+'...' = false
+
+[origin]
+commit = "5475faed094db88b70de29afe74e204dff87447c"
+url = "git+https://github.com/JeremyGrosser/epoll-ada.git"
+

index/ev/evdev/evdev-2.0.0.toml

@@ -0,0 +1,24 @@
+name = "evdev"
+description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
+version = "2.0.0"
+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 = "78c027582c31314663a4b1ddac9d3e12a3639404"
+url = "git+https://github.com/onox/evdev-ada.git"

index/fa/fastpbkdf2_ada/fastpbkdf2_ada-1.0.0.toml

@@ -0,0 +1,18 @@
+name = "fastpbkdf2_ada"
+description = "Binding and an Ada wrapper to fastpbkdf2"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/fastpbkdf2_ada"
+licenses = "ISC"
+tags = ["pbkdf2", "cryptography"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+openssl = "~1.1.1"
+
+[origin]
+commit = "c46be9fde5330e96e4ae7e52a77ada60b7f89fe6"
+url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
+

index/fa/fastpbkdf2_ada/fastpbkdf2_ada-2.0.0.toml

@@ -0,0 +1,18 @@
+name = "fastpbkdf2_ada"
+description = "Binding and an Ada wrapper to fastpbkdf2"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/fastpbkdf2_ada"
+licenses = "ISC"
+tags = ["pbkdf2", "cryptography"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+openssl = "~1.1.1"
+
+[origin]
+commit = "ef1c2f3ad47ef550709434f65ff49395f486fd19"
+url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
+

index/gi/gid/gid-10.0.0.toml

@@ -0,0 +1,15 @@
+description = "Decoding a broad variety of image formats"
+name = "gid"
+version = "10.0.0"
+authors = ["Gautier de Montmollin"]
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
+project-files = ["gid.gpr"]
+
+[gpr-externals]
+GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast", "Small", "Smallest", "Profiling"]
+
+[origin]
+url = "https://sourceforge.net/projects/gen-img-dec/files/gid_010.zip"
+hashes = ["sha512:ea4b473fc5020e8cd2248aa02e65a5d9d606994392130d5bd024e93e6c1de402e9a54f59adf0dbfa9c80163f1b61f300e3dce7d7e5544006073646e3c5dc00c3"]

index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml

@@ -0,0 +1,27 @@
+name = "gnat_arm_elf"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - ARM cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-linux64-11.2.0-4.tar.gz"
+hashes = ["sha256:ba16d45c9d4a055e759e79692642cc50b537cd87de99dc6a845c92d8fe7380a3"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:839811c83a395d8c8ef9ffdf5c230089ded61c9dedc5615e0960cb438c6dd0fc"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:65724f2cd3c1174df8dd1499ae13a5eb4367008e61c3ba0d9cc642a78f9818cf"]

index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml

@@ -0,0 +1,27 @@
+name = "gnat_avr_elf"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - AVR cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-linux64-11.2.0-4.tar.gz"
+hashes = ["sha256:aa9d26936210036ae062f74232b17ce46a4a4518411960e223dd9c877869eea9"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:13b466e3cab5c8332d99e7e0054df8b2d9ce6eaf500638fc3ef5cbd5a65790ad"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:c1a028004606fa01032026d91c66acc0215dad281af95095996827e81220145d"]

index/gn/gnat_native/gnat_native-11.2.4.toml

@@ -0,0 +1,27 @@
+name = "gnat_native"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - Native"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:2f9c5d6de6d1c26bb1cee3438dcdf0277d231bfd7129d441b5e7253558da340e"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:9800548db56698e9150252b9382a39953c4a8129d715367c6f787bee48ff1eef"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-linux-11.2.0-4.tar.gz"
+hashes = ["sha256:2f37a10bd215a679b6a4af393b56b2a4fb6ccbedd293a34764e36fea635c58b0"]

index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml

@@ -0,0 +1,27 @@
+name = "gnat_riscv64_elf"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - RISC-V cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-linux64-11.2.0-4.tar.gz"
+hashes = ["sha256:f4a370b52e490ce7ed1e27be5ea70d1e75cc14f70439fa0f2207ea691c9d95dc"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:69c6306ef68d50eb8c55677e8f2179920a33562b193f7a5c7bb2877b17f3fd7d"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:b21d71cae05dd13309684fc0d6d60d1e440265fe1682ee70789e734037550c27"]

index/gn/gnatprove/gnatprove-11.2.3.toml

@@ -0,0 +1,26 @@
+name = "gnatprove"
+version = "11.2.3"
+description = "Automatic formal verification of SPARK code"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
+hashes = ["sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
+hashes = ["sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
+hashes = ["sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"]

index/ha/hal/hal-0.3.0.toml

@@ -0,0 +1,27 @@
+description = "Hardware Abstraction Layer (HAL)"
+
+long-description = '''# hal
+
+Hardware Abstraction Layer: interfaces definitions to abstract access to common
+hardware devices and protocols
+
+This crate is a snapshot of the `hal` in [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
+
+Any bug report, issue, contribution must be adressed to the [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
+
+'''
+
+name = "hal"
+version = "0.3.0"
+licenses = "BSD-3-Clause"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["hal.gpr"]
+tags = ["embedded", "hal", "nostd"]
+
+[origin]
+commit = "095ae5140d55ba5bc3905295d1029e79e1f11d43"
+url = "git+https://github.com/Fabien-Chouteau/hal.git"
+

index/hm/hmac/hmac-1.0.0.toml

@@ -0,0 +1,19 @@
+name = "hmac"
+description = "HMAC implemented in Ada"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/hmac"
+licenses = "ISC"
+tags = ["cryptography", "security", "hmac"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+sha1 = "^1.0.0"
+sha2 = "^1.1.0"
+
+[origin]
+commit = "d88a7b576bb62ad7d5c6375424107f132879b34b"
+url = "git+https://github.com/AntonMeep/hmac.git"
+

index/hm/hmac/hmac-2.0.0.toml

@@ -0,0 +1,19 @@
+name = "hmac"
+description = "HMAC implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/hmac"
+licenses = "ISC"
+tags = ["cryptography", "security", "hmac"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+sha1 = "^2.0.0"
+sha2 = "^2.0.0"
+
+[origin]
+commit = "d8046c212cc27744710cfa075462ac4ff766f1c6"
+url = "git+https://github.com/AntonMeep/hmac.git"
+

index/in/ini_files/ini_files-10.0.0.toml

@@ -0,0 +1,13 @@
+description = "A standalone, portable Ada package for configuration files"
+name = "ini_files"
+version = "10.0.0"
+licenses = "MIT"
+authors = ["Rolf Ebert", "Gautier de Montmollin"]
+website = "https://sourceforge.net/p/ini-files/"
+maintainers = ["rolf.ebert.gcc@gmx.de", "gdemont@hotmail.com"]
+maintainers-logins = ["RREE", "zertovitch"]
+project-files = ["ini_files.gpr"]
+
+[origin]
+url = "https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-10.zip"
+hashes = ["sha512:6f2bab21ce53d8b4448d30c0fc1b0bd4ec070120f6343ff176dbec338530e8d7948e14fd8e991b26f108f60cd7dc44531a537c8ca087c66ffca4d9993de32f60"]

index/it/itsybitsy_bsp/itsybitsy_bsp-0.0.3.toml

@@ -0,0 +1,23 @@
+name = "itsybitsy_bsp"
+description = "Board support package for Arduino ItsyBitsy"
+version = "0.0.3"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1"  # Added by alr
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "233852ed7994c73082aa996fd50ce878cdfae5f9"
+url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
+

index/it/itsybitsy_bsp/itsybitsy_bsp-0.0.4.toml

@@ -0,0 +1,20 @@
+name = "itsybitsy_bsp"
+description = "Board support package for Arduino ItsyBitsy"
+version = "0.0.4"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1"  # Added by alr
+
+[origin]
+commit = "7d01d9d21b36f10312c11a5b9d682feee85645de"
+url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
+

index/it/itsybitsy_rp2040_bsp/itsybitsy_rp2040_bsp-0.1.0.toml

@@ -0,0 +1,20 @@
+name = "itsybitsy_rp2040_bsp"
+description = "Board support package for Arduino ItsyBitsy RP2040"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
+website = "https://github.com/hgrodriguez/itsybitsy_rp2040_bsp"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1"  # Added by alr
+
+[origin]
+commit = "857ffafeeeb3419cf492e591b6e577394f94db9e"
+url = "git+https://github.com/hgrodriguez/itsybitsy_rp2040_bsp.git"
+

index/js/json/json-5.0.1.toml

@@ -0,0 +1,24 @@
+name = "json"
+description = "An Ada 2012 library for parsing JSON"
+version = "5.0.1"
+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]
+hashes = [
+"sha256:31d0299f39e7e432d152159fec7381c38616faf67ebbac0025e8e9f27b626114",
+"sha512:1d485dd979c009a38ee5ed9b0544c52ff0c512021b4a37057c96e1c8757ccbf641e76edc75f9cb9e58bc9b422d7cb2b202635897792051800e941d3460e3f50e",
+]
+url = "https://github.com/onox/json-ada/releases/download/v5.0.1/json-5.0.1.tgz"

index/li/libblas/libblas-external.toml

@@ -0,0 +1,14 @@
+description = "Basic Linear Algebra Subprograms"
+name = "libblas"
+licenses = "custom-blas-2017"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[external]]
+kind="system"
+[external.origin."case(distribution)"]
+"macos" = []
+"debian|ubuntu" = ["libblas-dev"]
+"msys2" = ["mingw-w64-x86_64-lapack"]

index/li/liblapack/liblapack-external.toml

@@ -0,0 +1,14 @@
+description = "Linear Algebra Package"
+name = "liblapack"
+licenses = "BSD-3-Clause"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[external]]
+kind="system"
+[external.origin."case(distribution)"]
+"macos" = []
+"debian|ubuntu" = ["liblapack-dev"]
+"msys2" = ["mingw-w64-x86_64-lapack"]

index/lv/lvgl_ada/lvgl_ada-0.2.0.toml

@@ -0,0 +1,27 @@
+name = "lvgl_ada"
+description = "Bindings for the LVGL embedded GUI framework"
+version = "0.2.0"
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/lvgl-ada"
+tags = ["embedded", "gui", "lvgl", "no-std"]
+
+[configuration.variables]
+Pixel_Bit_Depth             = {type = "Enum", values = ["Pix_1bit", "Pix_8bit", "Pix_16bit", "Pix_32bit"]}
+Horizontal_Resolution       = {type = "Integer", first = 1, last = 1000000}
+Vertical_Resolution         = {type = "Integer", first = 1, last = 1000000}
+Density_Per_Inch            = {type = "Integer", first = 1, last = 1000000}
+Color_16_SWAP               = {type = "Boolean", default = false}
+Use_Builtin_Allocator       = {type = "Boolean", default = true}
+Builtin_Allocator_Size      = {type = "Integer", first = 1, last = 1000000, default = 65536}
+Log_Level                   = {type = "Enum", values = ["Trace", "Info", "Warn", "Error"], default = "Warn"}
+Log_With_Printf             = {type = "Boolean", default = false}
+Theme_Live_Update           = {type = "Boolean", default = false}
+Virtual_Display_Buffer_Size = {type = "Integer", first = 1, last = 1000000, default = 10240}
+Double_Buffering            = {type = "Boolean", default = false}
+
+[origin]
+commit = "ccf8da85aeafa38f4ae669b61298237424dc7e55"
+url = "git+https://github.com/Fabien-Chouteau/lvgl-ada.git"
+

index/op/openssl/openssl-external.toml

@@ -0,0 +1,15 @@
+name = "openssl"
+description = "The Open Source toolkit for SSL and TLS"
+website = "https://www.openssl.org"
+licenses = "OpenSSL"
+tags = ["openssl", "cryptography", "security", "ssl", "tls"]
+
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libssl-dev"]
+"arch" = ["openssl"]
+"msys2" = ["mingw-w64-x86_64-openssl"]

index/pa/parse_args/parse_args-0.9.0.toml

@@ -0,0 +1,15 @@
+name = "parse_args"
+description = "An Ada 2012 package to parse command line arguments and options"
+version = "0.9.0"
+website = "https://github.com/jhumphry/parse_args"
+licenses = "ISC"
+tags = ["cli", "command-line"]
+
+authors = ["James Humphry"]
+maintainers = ["James Humphry <alire@binecho.co.uk>"]
+maintainers-logins = ["jhumphry"]
+
+[origin]
+commit = "635f9e4f5318dccd535ca889d744b1053ab2362e"
+url = "git+https://github.com/jhumphry/parse_args.git"
+

index/pb/pbkdf2/pbkdf2-1.0.0.toml

@@ -0,0 +1,15 @@
+name = "pbkdf2"
+description = "PBKDF2 implemented in Ada"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/pbkdf2"
+licenses = "ISC"
+tags = ["cryptography", "security", "pbkdf2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "221f0002f733dff3b3a00efc779d42e0517c6b44"
+url = "git+https://github.com/AntonMeep/pbkdf2.git"
+

index/pb/pbkdf2/pbkdf2-2.0.0.toml

@@ -0,0 +1,20 @@
+name = "pbkdf2"
+description = "PBKDF2 implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/pbkdf2"
+licenses = "ISC"
+tags = ["cryptography", "security", "pbkdf2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+hmac = "^1.0.0"
+sha1 = "^1.0.1"
+sha2 = "^1.1.0"
+
+[origin]
+commit = "6a708d74b68a5ec600bbc65c84e9b2f628303d96"
+url = "git+https://github.com/AntonMeep/pbkdf2.git"
+

index/pb/pbkdf2/pbkdf2-3.0.0.toml

@@ -0,0 +1,20 @@
+name = "pbkdf2"
+description = "PBKDF2 implemented in Ada"
+version = "3.0.0"
+website = "https://github.com/AntonMeep/pbkdf2"
+licenses = "ISC"
+tags = ["cryptography", "security", "pbkdf2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+hmac = "^2.0.0"
+sha1 = "^2.0.0"
+sha2 = "^2.0.0"
+
+[origin]
+commit = "67518be3704968c2f9cb61794f341355d3397d7d"
+url = "git+https://github.com/AntonMeep/pbkdf2.git"
+

index/pi/pico_bsp/pico_bsp-1.3.0.toml

@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.3.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.3"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "4ff67b6d89e6346894388bdf69bbb069569a3b3d"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+

index/pi/pico_bsp/pico_bsp-1.4.0.toml

@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.4.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.4"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "28d9437c51eb0d2d5a0b0e9715ab4d943f33a373"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+

index/pi/pico_bsp/pico_bsp-1.5.0.toml

@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.5.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.5"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "22a7257552168a489f514bc4da65cbc641985b60"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+

index/pi/pico_examples/pico_examples-1.3.0.toml

@@ -0,0 +1,36 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.3.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",
+    "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",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.3"
+
+[origin]
+commit = "40af5946a47e7823bbb8c61a135aab34b09fa6fd"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+

index/pi/pico_examples/pico_examples-1.4.0.toml

@@ -0,0 +1,37 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.4.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",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.4"
+
+[origin]
+commit = "339bffa1f645422115f572639645b25d94f9ffc6"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+

index/pi/pico_examples/pico_examples-1.5.0.toml

@@ -0,0 +1,39 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.5.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.5"
+chests = "~0.1.1"
+
+[origin]
+commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+

index/qo/qoi/qoi-0.1.0.toml

@@ -0,0 +1,18 @@
+name = "qoi"
+description = "Ada/SPARK implementation of the Quite Ok Image format"
+version = "0.1.0"
+licenses = "MIT"
+
+authors = ["Fabien Chouteau", "Joffrey Huguet"]
+maintainers= ["Fabien-Chouteau <chouteau@adacore.com>", "Joffrey Huguet <huguet@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau", "joffreyhuguet"]
+website = "https://github.com/Fabien-Chouteau/qoi-spark"
+tags = ["image", "encoding", "qoi"]
+
+[[depends-on]]
+gnat = ">=11.2"
+
+[origin]
+commit = "25d61809e0e520abec78afd94bfae8a8140414c3"
+url = "git+https://github.com/Fabien-Chouteau/qoi-spark.git"
+

index/re/rejuvenation/rejuvenation-0.1.0.toml

@@ -0,0 +1,18 @@
+name = "rejuvenation"
+description = "Analysis and manipulation of Ada code based on concrete patterns"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+website = "https://github.com/TNO/Renaissance-Ada"
+tags = ["analysis", "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"
+
+[origin]
+commit = "b2cd1695ec5fffba91266b662f7692272c4301f6"
+url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
+

index/rp/rp2040_hal/rp2040_hal-1.2.1.toml

@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.2.1"
+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 = "8aaae329cae637a0c28675838a41a44a33b4a234"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+

index/rp/rp2040_hal/rp2040_hal-1.3.0.toml

@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.3.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 = "5d7da6115ffc0b9efa09b4b0c3ff7c980feae9a7"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+

index/rp/rp2040_hal/rp2040_hal-1.4.1.toml

@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.4.1"
+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 = "e71ce0266e533e8cea34f0ace5486795a47db9c8"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+

index/rp/rp2040_hal/rp2040_hal-1.5.0.toml

@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.5.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 = "fee519d49256de7ffb4ffa7820bd70b809f3a7d4"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+

index/se/septum/septum-0.0.6.toml

@@ -0,0 +1,43 @@
+name = "septum"
+description = "An interactive context-based text search tool for large codebases."
+version = "0.0.6"
+website = "https://github.com/pyjarrett/septum"
+
+authors = ["Paul Jarrett"]
+licenses = "Apache-2.0"
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+tags = ["search", "code", "text"]
+
+executables = ["septum"]
+
+[gpr-set-externals.'case(os)']
+windows = { Septum_Platform = "windows" }
+linux = { Septum_Platform = "linux" }
+macos = { Septum_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = false
+
+[[depends-on]]  # Added by alr
+dir_iterators = "~0.0.3"  # Added by alr
+[[depends-on]]  # Added by alr
+progress_indicators = "~0.0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+trendy_terminal = "~0.0.4"  # Added by alr
+# Leaving this here to locally targeting trendy_terminal which is being
+# developed in parallel with this project.
+[[pins]]  # Added by alr
+# For concurrent local development with trendy terminal
+# trendy_terminal = { path='../trendy_terminal' }   # Added by alr
+# To be used for CI
+#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
+[[depends-on]]  # Added by alr
+atomic = "~0.3.0"  # Added by alr
+
+[origin]
+commit = "85a086e219abb0e0266d61ac622b651a6e39dc06"
+url = "git+https://github.com/pyjarrett/septum.git"
+

index/se/septum/septum-0.0.7.toml

@@ -0,0 +1,38 @@
+name = "septum"
+description = "An interactive context-based text search tool for large codebases."
+version = "0.0.7"
+website = "https://github.com/pyjarrett/septum"
+
+authors = ["Paul Jarrett"]
+licenses = "Apache-2.0"
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+tags = ["search", "code", "text"]
+
+executables = ["septum"]
+
+[gpr-set-externals.'case(os)']
+windows = { Septum_Platform = "windows" }
+linux = { Septum_Platform = "linux" }
+macos = { Septum_Platform = "macos" }
+
+[[depends-on]]  # Added by alr
+dir_iterators = "~0.0.3"  # Added by alr
+[[depends-on]]  # Added by alr
+progress_indicators = "~0.0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+trendy_terminal = "~0.0.5"  # Added by alr
+# Leaving this here to locally targeting trendy_terminal which is being
+# developed in parallel with this project.
+[[pins]]  # Added by alr
+# For concurrent local development with trendy terminal
+# trendy_terminal = { path='../trendy_terminal' }   # Added by alr
+# To be used for CI
+#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
+[[depends-on]]  # Added by alr
+atomic = "~0.3.0"  # Added by alr
+
+[origin]
+commit = "88e658cae59bbaad518f7e5ba8a55f92b569ed87"
+url = "git+https://github.com/pyjarrett/septum.git"
+

index/sh/sh1107/sh1107-1.2.2.toml

@@ -0,0 +1,18 @@
+name = "sh1107"
+description = "Driver for the SH1107/OLED 128x128 monochrome display"
+version = "1.2.2"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "rp2040"]
+website = "https://github.com/hgrodriguez/sh1107"
+
+[[depends-on]]  # Added by alr
+embedded_components = "~0.1.0"  # Added by alr
+
+[origin]
+commit = "57e4354c248ce43c29553733b2a3046edf7deb72"
+url = "git+https://github.com/hgrodriguez/sh1107.git"
+

index/sh/sha1/sha1-1.0.0.toml

@@ -0,0 +1,15 @@
+name = "sha1"
+description = "Secure Hash Algorithm 1 implemented in Ada"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/sha1"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha1"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "77f2df4a9b8f27c0a002338edd806642df422a0f"
+url = "git+https://github.com/AntonMeep/sha1.git"
+

index/sh/sha1/sha1-1.0.1.toml

@@ -0,0 +1,15 @@
+name = "sha1"
+description = "Secure Hash Algorithm 1 implemented in Ada"
+version = "1.0.1"
+website = "https://github.com/AntonMeep/sha1"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha1"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "a09a171b8739772301211976cc997406c37dce4d"
+url = "git+https://github.com/AntonMeep/sha1.git"
+

index/sh/sha1/sha1-2.0.0.toml

@@ -0,0 +1,15 @@
+name = "sha1"
+description = "Secure Hash Algorithm 1 implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/sha1"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha1"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "0ab37e5c71289465fafe1324384a8ddcac256e5f"
+url = "git+https://github.com/AntonMeep/sha1.git"
+

index/sh/sha2/sha2-1.1.0.toml

@@ -0,0 +1,15 @@
+name = "sha2"
+description = "Secure Hash Algorithm 2 implemented in Ada"
+version = "1.1.0"
+website = "https://github.com/AntonMeep/sha2"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "a1954792aab01e0c551f76dc66a1c6fa35106835"
+url = "git+https://github.com/AntonMeep/sha2.git"
+

index/sh/sha2/sha2-2.0.0.toml

@@ -0,0 +1,15 @@
+name = "sha2"
+description = "Secure Hash Algorithm 2 implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/sha2"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "73c2cd73e440b1e36d1b5c8b741fcb0e3fc4046c"
+url = "git+https://github.com/AntonMeep/sha2.git"
+

index/sv/svd2ada/svd2ada-0.1.0.toml

@@ -0,0 +1,20 @@
+name = "svd2ada"
+description = "Ada binding generator from CMSIS-SVD hardware descriptions files"
+version = "0.1.0"
+
+authors = ["AdaCore"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+
+executables = ["svd2ada"]
+
+[[depends-on]]
+xmlada = "^22.0.0"
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "6eb0b591bf51af383d9ab1a3f2dbda994970ee07"
+url = "git+https://github.com/AdaCore/svd2ada.git"
+

index/sy/system_random/system_random-1.0.0.toml

@@ -0,0 +1,16 @@
+name = "system_random"
+description = "Minimal library to retrieve random data from system sources"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/system_random"
+licenses = "ISC"
+tags = ["system", "cryptography", "random", "security"]
+
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "3db7f76e04f09ade5811abd8c09686750bc733ae"
+url = "git+https://github.com/AntonMeep/system_random.git"
+

index/ti/tiny_rp2040_bsp/tiny_rp2040_bsp-0.1.0.toml

@@ -0,0 +1,20 @@
+name = "tiny_rp2040_bsp"
+description = "Board support package for Pimoroni Tiny RP2040"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "tiny", "rp2040", "bsp"]
+website = "https://github.com/hgrodriguez/tiny_rp2040_bsp"
+
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1.3.0"  # Added by alr
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "d491f054991815ede6b10882ad0485ae2c1e31bc"
+url = "git+https://github.com/hgrodriguez/tiny_rp2040_bsp.git"
+

index/ti/tiny_text/tiny_text-1.0.0.toml

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

index/to/toml_slicer/toml_slicer-0.1.0.toml

@@ -0,0 +1,18 @@
+name = "toml_slicer"
+description = "Edit TOML files directly without parsing"
+version = "0.1.0"
+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"
+
+[origin]
+commit = "132728f82601f1e5e8436e373b9a7534c82cc679"
+url = "git+https://github.com/mosteo/toml_slicer.git"
+

index/tr/trendy_terminal/trendy_terminal-0.0.5.toml

@@ -0,0 +1,30 @@
+name = "trendy_terminal"
+description = "Terminal options, setup, tab completion and hinting."
+version = "0.0.5"
+website = "https://github.com/pyjarrett/trendy_terminal"
+
+authors = ["Paul Jarrett"]
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+licenses = "Apache-2.0"
+tags = ["terminal", "command-line", "console", "vt100"]
+
+project-files = ["trendy_terminal.gpr"]
+
+[gpr-externals]
+Mode = ["debug", "optimize"]
+
+[gpr-set-externals.'case(os)']
+windows = { Trendy_Terminal_Platform = "windows" }
+linux = { Trendy_Terminal_Platform = "linux" }
+macos = { Trendy_Terminal_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = true
+
+[origin]
+commit = "f56da7f18a8ad2c4be12501aa8f31d2aad8f6095"
+url = "git+https://github.com/pyjarrett/trendy_terminal.git"
+

index/ux/uxstrings/uxstrings-0.3.0+alpha-20220226.toml

@@ -0,0 +1,21 @@
+name = "uxstrings"
+description = "Unicode Extended Strings utilities"
+version = "0.3.0+alpha-20220226"
+tags = ["unicode", "dynamic", "string"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/UXStrings"
+
+licenses = "CECILL-2.1"
+
+project-files = ["lib_uxstrings1.gpr"]
+
+[[depends-on]]
+gnat = ">=2021"
+
+[origin]
+commit = "7f963eb39f1f35ec9a36487a2c064e8eab4abec6"
+url = "git+https://github.com/Blady-Com/UXStrings.git"
+

index/ye/yeison/yeison-0.1.0.toml

@@ -0,0 +1,18 @@
+name = "yeison"
+description = "A JSON-like data structure using Ada 2022 features"
+version = "0.1.0"
+licenses = "MIT"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+tags = ["json", "yaml", "toml", "containers"]
+website = "https://github.com/mosteo/yeison"
+
+[[depends-on]]
+gnat = ">=11.2 & <2000" 
+# Required for Ada2022 features
+
+[origin]
+commit = "054232ad738902e42740936b7e9f2867d0411b09"
+url = "git+https://github.com/mosteo/yeison.git"

scripts/diff-release.sh

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

scripts/gh-build-crate.sh

@@ -6,6 +6,9 @@ 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
 
@@ -28,6 +31,18 @@ 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
 
@@ -80,6 +95,12 @@ for file in $CHANGES; do
    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
@@ -103,6 +124,17 @@ for file in $CHANGES; do
       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
@@ -139,7 +171,7 @@ for file in $CHANGES; do
       echo SKIPPING BUILD for SYSTEM crate, FETCHING only
    fi
 
-   alr -d -n get $milestone
+   alr -d -q get $milestone
 
    if $is_system; then
       echo DETECTING INSTALLED PACKAGE via crate $milestone
@@ -152,7 +184,7 @@ for file in $CHANGES; do
       echo BUILD ENVIRONMENT
       alr printenv
       echo BUILDING CRATE
-      alr -d -n build
+      alr -d build
       echo LISTING EXECUTABLES of crate $milestone
       alr -d run --list
       cd ..