Ensure all alr runs are non-interactive

.github/workflows/build-crate.yml

@@ -13,7 +13,6 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
-      fail-fast: false
       matrix:
         os:
           - macos-latest
@@ -60,13 +59,9 @@ 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@ce2021
+      uses: ada-actions/toolchain@ce2020
       with:
         distrib: fsf # faster install?
 

.github/workflows/build-native.yml

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

.github/workflows/diff-release.yml

@@ -1,46 +0,0 @@
-# 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@v1
+      uses: alire-project/setup-alire@latest-stable
 
     - name: Set up GNAT for devel `alr`
       if: contains(github.base_ref, 'devel-')
@@ -22,9 +22,7 @@ jobs:
 
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@latest-devel
-      with:
-        branch: master
 
     - run: alr index --list
 

index/aa/aaa/aaa-0.2.5.toml

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -31,18 +31,6 @@ 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
 
@@ -95,12 +83,6 @@ 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
@@ -124,17 +106,6 @@ 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
@@ -171,7 +142,7 @@ for file in $CHANGES; do
       echo SKIPPING BUILD for SYSTEM crate, FETCHING only
    fi
 
-   alr -d -q get $milestone
+   alr -d get $milestone
 
    if $is_system; then
       echo DETECTING INSTALLED PACKAGE via crate $milestone