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/ada_language_server/ada_language_server-22.0.0.toml

@@ -0,0 +1,27 @@
+description = "An implementation of the Microsoft's Language Server Protocol for Ada"
+name = "ada_language_server"
+version = "22.0.0"
+website = "https://github.com/AdaCore/ada_language_server"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+project-files = ["gnat/lsp_server.gpr"]
+tags = ["lsp", "vscode"]
+
+[gpr-set-externals]
+LIBRARY_TYPE = "static"
+
+[environment]
+ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
+
+[[depends-on]]
+libadalang       = "22.0.0"
+vss              = "22.0.0"
+libadalang_tools = "22.0.0"
+spawn            = "22.0.0"
+
+[origin]
+url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v22.0.0.tar.gz"
+archive-name = "als-22.0.0.tar.gz"
+hashes = ["sha512:ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c"]

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/af/aflex/aflex-1.5.2021.toml

@@ -0,0 +1,42 @@
+description = "An Ada Lexical Analyzer Generator"
+name = "aflex"
+version = "1.5.2021"
+licenses = "Unlicense"
+authors = ["John Self"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+tags = ["parser", "generator", "grammar"]
+website = "https://github.com/Ada-France/aflex"
+executables = ["aflex"]
+long-description = """
+
+Aflex is a lexical analyzer generating tool similar to the Unix tool lex.
+
+The first implementation was written by John Self of the Arcadia project
+at the University of California, Irvine.  The last version that was released
+appeared to be the aflex 1.4a released in 1994.
+
+Aflex was used and improved by P2Ada, the Pascal to Ada translator.
+This version of Aflex is derived from the P2Ada aflex implementation
+released in August 2010.
+
+This version brings a number of improvements:
+
+- Aflex generates the spec and body files as separate files so that
+  there is no need to use gnatchop to split the DFA and IO files.
+- Aflex uses the lex file name to generate the package name and
+  it supports child package with the `%unit` directive.
+
+"""
+
+[gpr-externals]
+AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+
+[origin]
+commit = "33198b8fef131732d44279e7dd7fb24535cdb18f"
+url = "git+https://github.com/Ada-France/aflex.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/ar/are/are-1.2.0.toml

@@ -0,0 +1,85 @@
+description = "Advanced Resource Embedder"
+name = "are"
+version = "1.2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["are.gpr"]
+tags = ["resource", "embedder", "generator"]
+website = "https://gitlab.com/stcarrez/resource-embedder"
+executables = ["are"]
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
+[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
+
+The resource embedder allows to embed files in binaries by producing C, Ada or Go source
+files that contain the original files.
+
+To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
+
+```
+are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
+```
+
+Complex resource integrations are best described with and XML and are generated with:
+
+```
+are --lang=Ada -o src --rule=package.xml --name-access .
+```
+
+For Ada, it generates the following package declaration with the `Get_Content` function
+that gives access to the files.  The Ada body contains the content of each embedded file.
+
+```Ada
+package Config is
+  function Get_Content (Name : in String)
+    return access constant String;
+end Config;
+```
+
+"""
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = true
+'...' = false
+
+[[depends-on]]
+xmlada = "~21.0.0"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
+UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
+
+[gpr-set-externals]
+BUILD = "distrib"
+ARE_SWITCH = "NO_CALLBACK"
+
+[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
+UTIL_OS = "linux32"
+
+[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
+UTIL_OS = "linux64"
+
+[gpr-set-externals."case(os)".macos]
+UTIL_OS = "macos64"
+
+[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
+UTIL_OS = "win32"
+
+[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
+UTIL_OS = "win64"
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "16239a8b9653f085a542d7b4838110675d80dc73"
+url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
+

index/as/asfml/asfml-2.5.2.toml

@@ -0,0 +1,19 @@
+name = "asfml"
+description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.5.2"
+
+authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "custom-zlib-acknowledgement"
+website = "https://mgrojo.github.io/ASFML/"
+tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
+
+[[depends-on]]
+libcsfml = "^2.5"
+
+[origin]
+commit = "b775db19d2c33e6172da96267cafc1a1e7567bb3"
+url = "git+https://github.com/mgrojo/ASFML.git"
+

index/ay/ayacc/ayacc-1.3.0.toml

@@ -0,0 +1,42 @@
+description = "An Ada LARL(1) parser generator"
+name = "ayacc"
+version = "1.3.0"
+licenses = "Unlicense"
+authors = ["David Taback", "Deepak Tolani"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+executables = ["ayacc"]
+tags = ["parser", "generator", "grammar"]
+website = "https://github.com/Ada-France/ayacc"
+long-description = """
+
+Ayacc is an Ada parser generator in the style of yacc(1).
+
+The first implementation was written by David Taback and Deepak Tolani
+at the University of California, Irvine.  The last version that was released
+appeared to be the Ayacc 1.1 released in 1994.
+
+Ayacc was used and improved by P2Ada, the Pascal to Ada translator.
+This version of Ayacc is derived from the P2Ada ayacc implementation
+released in August 2010.
+
+This version brings a number of improvements:
+
+- Ayacc now uses more standard options to configure the code generation
+- The parser was improved to configure the parser stack size and
+  support Ada child packages.
+- The grammar supports the %unit directive to control the Ada child packages.
+- Several options provide a better control of the generated code.
+
+"""
+
+[gpr-externals]
+AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "9b8bf854e79f5e769a82f98f54ad638a14eb6dc7"
+url = "git+https://github.com/Ada-France/ayacc.git"
+

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/br/brackelib/brackelib-0.0.2.toml

@@ -0,0 +1,15 @@
+name = "brackelib"
+description = "Library which contains various utility packages."
+long-description = "Ada library which contains various utility packages. Currently only a few implementations of abstract data types."
+version = "0.0.2"
+licenses = "CC0-1.0"
+website = "https://github.com/bracke/brackelib"
+tags = ["utility", "adt","stack", "queue"]
+authors = ["Bent Bracke"]
+maintainers = ["Bent Bracke <bent@bracke.dk>"]
+maintainers-logins = ["bracke"]
+
+[origin]
+commit = "e08b60411a7469999cf69419780c76237aaa4d35"
+url = "git+https://github.com/bracke/brackelib.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.3.3.toml

@@ -0,0 +1,18 @@
+name = "edc_client"
+description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
+version = "1.3.3"
+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 = "cb659e252a0ea7a23f7c6789113d4bfefff295f0"
+url = "git+https://github.com/hgrodriguez/edc-client.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.3.toml

@@ -0,0 +1,27 @@
+name = "gnat_arm_elf"
+version = "11.2.3"
+provides = ["gnat=11.2.3"]
+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-3/gnat-arm-elf-linux64-11.2.0-3.tar.gz"
+hashes = ["sha256:811265cb750f3e1fd96a3dac48cdd190fe06b3fe7feb5bc4f2a44e97296b13fa"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-darwin-11.2.0-3.tar.gz"
+hashes = ["sha256:ab1035b1649e259cae17bde628a85a4bcaf3f8819adafee0edb76697810b50ee"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-windows64-11.2.0-3.tar.gz"
+hashes = ["sha256:432ce2fbbeb544e85a3b656fa6dcab16a9c7d9187f36e22461039d082d59296e"]

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.3.toml

@@ -0,0 +1,27 @@
+name = "gnat_native"
+version = "11.2.3"
+provides = ["gnat=11.2.3"]
+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-3/gnat-x86_64-windows64-11.2.0-3.tar.gz"
+hashes = ["sha256:9ac3889918afe98b53ae101d290d940998b72d7a0f0a3ade52b3fc6efb5d3d89"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-darwin-11.2.0-3.tar.gz"
+hashes = ["sha256:f008a8a75922f77ec896f881f51359af9c16380db202dfd6ffd48b999e8cb45d"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-linux-11.2.0-3.tar.gz"
+hashes = ["sha256:d255cfb3263d0a0664850b3fb15d16d400bdb386d460d80e763839308ccdf10a"]

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.3.toml

@@ -0,0 +1,27 @@
+name = "gnat_riscv64_elf"
+version = "11.2.3"
+provides = ["gnat=11.2.3"]
+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-3/gnat-riscv64-elf-linux64-11.2.0-3.tar.gz"
+hashes = ["sha256:591103c4d3bba69ed86e0f3b99c48eab268bc3a817201d3717e68d1d65db03f6"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-darwin-11.2.0-3.tar.gz"
+hashes = ["sha256:09cc51a67b542d035a31c86be1eade2f6a2a665d00f366cef2d71956d9879bcd"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-windows64-11.2.0-3.tar.gz"
+hashes = ["sha256:3f0c25f24f0a54acd2877e4e76aa4ea7b4c4ffc27d973d5447e0d91a79bf46bf"]

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/gnatcov/gnatcov-21.0.1.toml

@@ -1,9 +1,10 @@
 name = "gnatcov"
 version = "21.0.1"
 
-description = "The GNAT Ada compiler - ARM cross-compiler"
+description = "Coverage Analysis Tool"
 maintainers = ["chouteau@adacore.com"]
 maintainers-logins = ["Fabien-Chouteau"]
+tags = ["coverage", "analysis", "test"]
 
 auto-gpr-with = false
 

index/gn/gnatcov/gnatcov-21.0.2.toml

@@ -1,9 +1,10 @@
 name = "gnatcov"
 version = "21.0.2"
 
-description = "The GNAT Ada compiler - ARM cross-compiler"
+description = "Coverage Analysis Tool"
 maintainers = ["chouteau@adacore.com"]
 maintainers-logins = ["Fabien-Chouteau"]
+tags = ["coverage", "analysis", "test"]
 
 auto-gpr-with = false
 

index/gn/gnatcov/gnatcov-22.0.1.toml

@@ -0,0 +1,28 @@
+name = "gnatcov"
+version = "22.0.1"
+
+description = "Coverage Analysis Tool"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["coverage", "analysis", "test"]
+
+auto-gpr-with = false
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
+
+[configuration]
+disabled = true
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-linux-22.0-1.tar.gz"
+hashes = ["sha256:eae687f0fb100524933ae37123a1de5ec26e5fca7fe2355cf2b267c9ccc0989a"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-darwin-22.0-1.tar.gz"
+hashes = ["sha256:a69a9af451dbeaa1ab8c9d8c430ea25ae9e05b7595073c38e1576241f0630371"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-windows64-22.0-1.tar.gz"
+hashes = ["sha256:29e99b2faf507bf5919e7f60fa052694666de9326bd89a06eea18bad590a0448"]

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/gp/gprbuild/gprbuild-22.0.1.toml

@@ -0,0 +1,25 @@
+name = "gprbuild"
+version = "22.0.1"
+description = "The GPRBuild Ada/multilanguage build tool"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+
+auto-gpr-with = false
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[configuration]
+disabled = true
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz"
+hashes = ["sha256:24dfc1b54655edd4f85589e7e7dbd0bee24d087f25d5b0f13d3224fe7acf85b8"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-darwin-22.0.0-1.tar.gz"
+hashes = ["sha256:b1220e2b24ce8fdb28344ed9c79c81c1fd2e7e3b05839d35167ceda54050def3"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-windows64-22.0.0-1.tar.gz"
+hashes = ["sha256:c842bbc58b28ad0f1c1f7ba147d59e2c9fc4b8f74355ac734831bc779159b47e"]

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/la/lace/lace-0.1.0.toml

@@ -0,0 +1,24 @@
+name        = "lace"
+description = "Contains a set of low level re-usable Ada components."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+long-description = "\nContains:\n\n   - lace.Events    : Provides a 'subject/oberver' 'event/response' facility.\n   - lace.Any       : Provides an interface to allow heterogenous containers.\n   - lace.fast_Pool : Provides a generic which allows fast allocation/deallocation.\n   - lace.Text      : Provides a DSA friendly set of text operations.\n\n"
+
+project-files = ["library/lace.gpr"]
+
+[[depends-on]]
+lace_shared = "~0.1"
+
+[origin]
+hashes = [
+"sha256:347e46279842554aea4cf2a2113ced3ec417b371140a4e821f7ccbf52600bd91",
+"sha512:d1f6ad687497403df1efa7112513869273d1670505eab95b274616632a56d4b750c8fb8e7c6b6ff488823ffe3ec1438ec2152695c2dddcbc04468c30d3ed1539",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace-0.1.0.tgz"
+

index/la/lace_box2d/lace_box2d-0.1.0.toml

@@ -0,0 +1,22 @@
+name        = "lace_box2d"
+description = "Provides a thin Ada binding to the 'box2d' C++ project."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/box2d_thin.gpr"]
+
+[[depends-on]]
+lace_c_math = "~0.1"
+
+[origin]
+hashes = [
+"sha256:fecf3d54be600eca17eadd1b49ad5c16bf98f07bf5f21738c106c5d22a8cc863",
+"sha512:4dee47dbb76f612e130c39d0c4dd0c10b281118bc3d87451beab4f8abcde85730dbb02873fddd8a82ac1290a0a8ed3ef0844edba77af33616625532726c029da",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_box2d-0.1.0.tgz"
+

index/la/lace_bullet/lace_bullet-0.1.0.toml

@@ -0,0 +1,26 @@
+name        = "lace_bullet"
+description = "Provides a thin Ada binding to the 'bullet' C++ project."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/bullet_thin.gpr"]
+
+[[depends-on]]
+lace_c_math = "~0.1"
+libbullet   = "*"
+
+[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
+append = "${DISTRIB_ROOT}/mingw64/include/bullet"
+
+[origin]
+hashes = [
+"sha256:2c009b790f92ee15fd63bde07bb3ba0747d3fd0d7465be28c12e22b9b3dc3475",
+"sha512:cec42c7241bca4ca854d5dbe93df5ad4615a4d5b092fc79ac1cac2caf691e6f223e50bf10434d51731e78f051c9a252306dbe2f4e267c61a5af8a7c7d7ea5dd6",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_bullet-0.1.0.tgz"
+

index/la/lace_c_math/lace_c_math-0.1.0.toml

@@ -0,0 +1,23 @@
+name        = "lace_c_math"
+description = "A binding to the C math code used by box2d & bullet bindings."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/c_math_thin.gpr"]
+
+[[depends-on]]
+lace_math = "~0.1"
+lace_swig = "~0.1"
+
+[origin]
+hashes = [
+"sha256:e47df28c1422a9e75c430d0386c6f4ae89f049853e6cc902ec1fb8dfd7fe21be",
+"sha512:5188f8bafe18fd1b04ad2dd5f915d4974c07ff99987aca3b5161970a7c3e6231b4710f32adc4c70fbef015128b0feff7ef138c96b8dd46d346f5cdd0826359ef",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_c_math-0.1.0.tgz"
+

index/la/lace_collada/lace_collada-0.1.0.toml

@@ -0,0 +1,23 @@
+name        = "lace_collada"
+description = "A Collada parser."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/collada.gpr"]
+
+[[depends-on]]
+lace_math = "~0.1"
+lace_xml  = "~0.1"
+
+[origin]
+hashes = [
+"sha256:99d5bbb7863743b5f6a31576b80c15325d110d1a12ccfaf024565f77271d6481",
+"sha512:03fcc505057e6d4f299f5da67e9d47ea9abe2481cbd269a07222eb697eba08942a5714eb69573794b533d943696fb83828e9aeced09001eb60ef11286b29499c",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_collada-0.1.0.tgz"
+

index/la/lace_gel/lace_gel-0.1.0.toml

@@ -0,0 +1,24 @@
+name        = "lace_gel"
+description = "A 2D/3D game engine library (GEL)."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/gel.gpr"]
+
+[[depends-on]]
+lace_opengl  = "~0.1"
+lace_physics = "~0.1"
+sdlada       = "2.5.4-1"
+
+[origin]
+hashes = [
+"sha256:2c333035042e866b241199160dea3895d21558308eaee523150644e62cae6cfa",
+"sha512:570ae6fe2f8889ac745263f5f5b582ba534b65e9ec40fc167c02e5ba3c0fa7a83ce54c06259f0ec43d6a122f569bf9aec1c79dff7a917732a39f21eaa5f1c1a2",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel-0.1.0.tgz"
+

index/la/lace_gel_animation_demo/lace_gel_animation_demo-0.1.0.toml

@@ -0,0 +1,24 @@
+name        = "lace_gel_animation_demo"
+description = "A demo of GEL's human animation."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+executables = ["launch_human_rig_demo"]
+
+project-files = ["human_rig_demo.gpr"]
+
+[[depends-on]]
+lace_gel = "~0.1"
+
+[origin]
+hashes = [
+"sha256:55b7e3bc98923a759ae9745f3e2b8f3fe67009795ff4f2e232bd1d35709b6de1",
+"sha512:57a73b273bfada9e4a442b977741c5cedfff4117d91254496e9df54d16298877e25467f4c6b22458146438697ab4a51d10bd2fbf85b42a9e147043b6fe535851",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel_animation_demo-0.1.0.tgz"
+

index/la/lace_gel_full_demo/lace_gel_full_demo-0.1.0.toml

@@ -0,0 +1,24 @@
+name        = "lace_gel_full_demo"
+description = "A demo of most of GEL's features."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+executables = ["launch_full_demo"]
+
+project-files = ["full_demo.gpr"]
+
+[[depends-on]]
+lace_gel = "~0.1"
+
+[origin]
+hashes = [
+"sha256:4610c5882117d0c041c95801a3e62220a8ce7be58104ea87493dd7a73541adae",
+"sha512:35462a04b3dea65f352f2459d556d04a918b899261e1c09cd5edea860ff6eafd006886627f61d7c1b1d124bd9ce56010f7d4ffeed2997557454648bcf1f3f8c0",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel_full_demo-0.1.0.tgz"
+

index/la/lace_math/lace_math-0.1.0.toml

@@ -0,0 +1,24 @@
+name        = "lace_math"
+description = "Provides an Ada package family covering pure and applied mathematics."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+long-description = "\nContains:\n\n   - Pure\n      - Arithmetic (covers quantity)\n      - Algebra    (covers structure)\n      - Geometry   (covers space)\n      - Analysis   (covers change)\n\n   - Applied\n      - Statistics\n      - Computational\n\n"
+
+project-files = ["library/math.gpr"]
+
+[[depends-on]]
+lace_shared = "~0.1"
+
+[origin]
+hashes = [
+"sha256:3ab6719722b53ff7b42f01be6bbd46c46a53bc57d308bba060d06ba631a78cbc",
+"sha512:4e49a173f9db9dabac1344f09e3310637b8b2c2b6cecf0f18a946271a5b39169465ab6e1f2bc71e05b27e2a7edc3fd7c6e71bd29088853cb41abbec0686e98d3",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_math-0.1.0.tgz"
+

index/la/lace_opengl/lace_opengl-0.1.0.toml

@@ -0,0 +1,29 @@
+name        = "lace_opengl"
+description = "Provides an openGL engine."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/opengl.gpr"]
+
+[[depends-on]]
+lace_collada = "~0.1"
+libfreetype = "^2"
+
+[depends-on."case(os)"."windows"]
+libmesa = "*"
+
+[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
+append = "${DISTRIB_ROOT}/mingw64/include/freetype2"
+
+[origin]
+hashes = [
+"sha256:672a64157d9d310dad6c7811062f2a2b19d8fcfb28d99c9f1a125a700eba23c2",
+"sha512:57e152f18ba80988d166f61052ada919a2b703bb2c17a10cdf0a7d449fd9083d352c19ce5e2fc60ccd67023425bb5ee2de585da4a3af22ab247cf629b367d260",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_opengl-0.1.0.tgz"
+

index/la/lace_physics/lace_physics-0.1.0.toml

@@ -0,0 +1,24 @@
+name        = "lace_physics"
+description = "Provides 2D/3D rigid body dynamics simulation."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/physics.gpr"]
+
+[[depends-on]]
+lace        = "~0.1"
+lace_bullet = "~0.1"
+lace_box2d  = "~0.1"
+
+[origin]
+hashes = [
+"sha256:d1cb6621da314df578ad27c2c4ecfef1685191192f373da30c1acd9ed60fe4c9",
+"sha512:44017b6e684204c65e7393cb5e06963ad21ba4be077dcc0f9c0332d06b1c861cdc2a2d926c23063f6e7ce1f5058b28fa30a04802fca6bd9521b1b5ba11aca511",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_physics-0.1.0.tgz"
+

index/la/lace_shared/lace_shared-0.1.0.toml

@@ -0,0 +1,17 @@
+name        = "lace_shared"
+description = "Default settings for GPR files in the Lace project."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+[origin]
+hashes = [
+"sha256:bc8f153419f9d5e558ff92de6e1a1ec7b07cf35fb3e9371b5f9a2b1794009b01",
+"sha512:d121830a9e22923dd4e79ff27eb21be266d7c78605544dab297576ea1922249bbb594363a9ee34b2fe26f75625f54d33315b46ed090a524f90a0dbc46b67a810",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_shared-0.1.0.tgz"
+

index/la/lace_swig/lace_swig-0.1.0.toml

@@ -0,0 +1,19 @@
+name        = "lace_swig"
+description = "Provides packages required by bindings produced by the 'swig4ada' tool."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/swig.gpr"]
+
+[origin]
+hashes = [
+"sha256:ddbc016d405eb85410bfd156b16e3bd421754e2ee7f3ca2b73d167ed884ebe22",
+"sha512:2f49c187816cb567136d3612692c2e726d539e9d3c59372905945a5ef07424f0670307271d3c9727eb1298ea84fda56b833ba8196e7aac247e8361e176ce017c",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_swig-0.1.0.tgz"
+

index/la/lace_xml/lace_xml-0.1.0.toml

@@ -0,0 +1,23 @@
+name        = "lace_xml"
+description = "Provides simple XML read/write support."
+version     = "0.1.0"
+
+authors            = ["Rod Kay"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+
+project-files = ["library/xml.gpr"]
+
+[[depends-on]]
+lace_shared = "~0.1"
+libexpat    = "*"
+
+[origin]
+hashes = [
+"sha256:b6aa904a368c5e56323203633b139613569ec31f780a66ee9af2e350b6d2de7d",
+"sha512:bbec9447d5acc2831b2626fd13eda605b4e035cf445c8f9b235d4a2aba146b1df1bc1f88a0169f27aa0026050e1d4cbc7949d83bf93ed74259627a6d7f3b8816",
+]
+url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_xml-0.1.0.tgz"
+

index/la/langkit_support/langkit_support-22.0.0.toml

@@ -0,0 +1,22 @@
+name = "langkit_support"
+description = "Runtime support library for Langkit-generated libraries"
+version = "22.0.0"
+
+authors = ["AdaCore"]
+maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
+maintainers-logins = ["pmderodat"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+website = "https://github.com/AdaCore/langkit"
+
+[gpr-set-externals."case(toolchain)".system]
+LIBRARY_TYPE = "relocatable"
+
+[origin]
+url = "https://github.com/AdaCore/langkit/releases/download/v22.0.0/langkit_support-22.0.0.tar.gz"
+archive-name = "langkit_support-22.0.0.tar.gz"
+hashes = ["sha512:d43df3a95d87cdbdfbe94dd353fbc7dc746f27e6d71576cfbeca5f3972d37832dd406b5945623da2e93b18133baf6c6bf12d1b7a14fd2e403d2c6f2f41cb6b3b"]
+
+[[depends-on]]
+gnatcoll = "^22"
+[[depends-on]]
+gnatcoll_iconv = "^22"

index/li/libadalang/libadalang-22.0.0.toml

@@ -0,0 +1,24 @@
+name = "libadalang"
+description = "Ada semantic analysis library"
+version = "22.0.0"
+
+authors = ["AdaCore"]
+maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
+maintainers-logins = ["pmderodat"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+website = "https://github.com/AdaCore/libadalang"
+tags = ["libadalang", "static-analysis"]
+
+[origin]
+url = "https://github.com/AdaCore/libadalang/releases/download/v22.0.0/libadalang-22.0.0.tar.gz"
+archive-name = "libadalang-22.0.0.tar.gz"
+hashes = ["sha512:5f365aa471ed22cd30f3273ab8aa253cb5f1d6be23dd48eb29e6d776e07729412e75d9820447eb7626dce16fcde4f05cf40811cd7b96722e9c0c5a0315861210"]
+
+[[depends-on]]
+gnatcoll = "^22"
+[[depends-on]]
+gnatcoll_gmp = "^22"
+[[depends-on]]
+gnatcoll_iconv = "^22"
+[[depends-on]]
+langkit_support = "^22"

index/li/libadalang_tools/libadalang_tools-22.0.0.toml

@@ -0,0 +1,28 @@
+name = "libadalang_tools"
+description = "Ada semantic analysis library extension and tools"
+version = "22.0.0"
+
+authors = ["AdaCore"]
+maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>", "Max Reznik <reznik@adacore.com>"]
+maintainers-logins = ["pmderodat", "reznikmm"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+website = "https://github.com/AdaCore/libadalang-tools"
+tags = ["libadalang", "static-analysis", "metric", "formatting", "generator"]
+project-files = ["src/lal_tools.gpr", "src/build.gpr"]
+executables = ["gnatmetric", "gnatpp", "gnatstub", "gnattest"]
+
+[origin]
+url = "https://github.com/AdaCore/libadalang-tools/archive/refs/tags/v22.0.0.tar.gz"
+archive-name = "v22.0.0.tar.gz"
+hashes = ["sha512:c9028428379e68644dee140b76c6806b15561484bdc77a8c85c88c1ae4de512b6252f41b415fe767c5c7ae533fba1583e075620bd222a7be240d6cd1130d25bd"]
+
+[[depends-on]]
+libadalang = "22.0.0"
+
+[[actions.'case(os)'.windows]]
+type = "post-fetch"
+command = ["cmd.exe", "/c", "del /Q valgrind"]
+
+[[actions.'case(os)'.'...']]
+type = "post-fetch"
+command = ["rm", "-rf", "valgrind"]

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/libbullet/libbullet-external.toml

@@ -0,0 +1,17 @@
+name        = "libbullet"
+description = "Bullet physics library."
+website     = "https://pybullet.org"
+tags        = ["physics", "game", "simulation", "robotics"]
+licenses    = "Zlib"
+
+authors            = ["Erwin Coumans"]
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+[[external]]
+kind = "system"
+
+[external.origin.'case(distribution)']
+'debian|ubuntu' = ["libbullet-dev"]
+arch            = ["bullet"]
+msys2           = ["mingw-w64-x86_64-bullet"]

index/li/libegl/libegl-external.toml

@@ -0,0 +1,16 @@
+name        = "libegl"
+description = "EGL and GL Vendor-Neutral Dispatch library."
+website     = "https://gitlab.freedesktop.org/glvnd/libglvnd"
+tags        = ["egl", "glvnd", "mesa"]
+licenses    = "MIT AND custom-MIT-like"
+
+maintainers        = ["Rod Kay <rodakay5@gmail.com>", "onox <denkpadje@gmail.com>"]
+maintainers-logins = ["charlie5", "onox"]
+
+[[external]]
+kind = "system"
+
+[external.origin.'case(distribution)']
+'debian|ubuntu' = ["libegl-dev"]
+arch            = ["libglvnd"]
+msys2           = ["mingw-w64-x86_64-mesa"]

index/li/libexpat/libexpat-external.toml

@@ -0,0 +1,13 @@
+description = "Expat is a stream-oriented XML 1.0 parser library"
+name        = "libexpat"
+
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+[[external]]
+kind = "system"
+
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libexpat1-dev"]
+arch            = ["expat"]
+msys2           = ["mingw-w64-x86_64-expat"]

index/li/libftdi1/libftdi1-external.toml

@@ -0,0 +1,11 @@
+description = "FTDI USB driver with bitbang mode"
+name = "libftdi1"
+licenses = "LGPL-2.0-or-later"
+
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libftdi1-dev"]

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/li/libmesa/libmesa-external.toml

@@ -0,0 +1,16 @@
+name        = "libmesa"
+description = "Mesa openGL library."
+website     = "https://mesa3d.org/"
+tags        = ["graphics", "opengl", "opencl", "vulkan"]
+licenses    = "MIT"
+
+maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+[[external]]
+kind = "system"
+
+[external.origin.'case(distribution)']
+'debian|ubuntu' = ["libgl1-mesa-dri"]
+arch            = ["mesa"]
+msys2           = ["mingw-w64-x86_64-mesa"]

index/li/libsimpleio/libsimpleio-1.20220.1.toml

@@ -0,0 +1,27 @@
+name = "libsimpleio"
+description = "Linux Simple I/O Library bindings for GNAT Ada"
+version = "1.20220.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["libsimpleio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
+"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
+
+[available."case(os)"]
+'linux' = true
+"..." = false
+
+[origin]
+hashes = [
+"sha256:7948719ddee5ac076bd31e01537a08a4c95b771af46e328f852153c116036e87",
+"sha512:cab62e6feae28e9519ce5f2af0cc6b0778bbf8407a0f4834d7714214a6c03fc51b5b63715d613a26410cdbe3a731b3b4c47ac75c31dba76f34dfc184d2f0292b",
+]
+url = "http://repo.munts.com/alire/libsimpleio-1.20220.1.tbz2"
+

index/li/libsimpleio/libsimpleio-1.20222.1.toml

@@ -0,0 +1,27 @@
+name = "libsimpleio"
+description = "Linux Simple I/O Library bindings for GNAT Ada"
+version = "1.20222.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["libsimpleio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
+"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
+
+[available."case(os)"]
+'linux' = true
+"..." = false
+
+[origin]
+hashes = [
+"sha256:160c1fe0b202a529b9093bfeaaba65403b9bf93061c42f9542356c9c0e8b0677",
+"sha512:c1f40d9ce81f8480a73885c441d46d0c077ece327818b7beee50f2a5cb4c9fd435008c1f99db829facbfebf6e9aa9eefad29609c0e0b64c4a604c021127d33a8",
+]
+url = "http://repo.munts.com/alire/libsimpleio-1.20222.1.tbz2"
+

index/li/libsimpleio/libsimpleio-1.20223.1.toml

@@ -0,0 +1,27 @@
+name = "libsimpleio"
+description = "Linux Simple I/O Library bindings for GNAT Ada"
+version = "1.20223.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["libsimpleio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
+"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
+
+[available."case(os)"]
+'linux' = true
+"..." = false
+
+[origin]
+hashes = [
+"sha256:74e686884f2083eca80ebbd85967ebc5315f017294bde359b726c9bcc32032a9",
+"sha512:e57b86760f570375450d8a966f90691791811dda6c328e0416235913c49bcdd475157a674d146c4c783bf0831e873999bfca287fe916de65a3aebacbf75fa51e",
+]
+url = "http://repo.munts.com/alire/libsimpleio-1.20223.1.tbz2"
+

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/mc/mcp2221/mcp2221-1.20220.1.toml

@@ -0,0 +1,48 @@
+name = "mcp2221"
+description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
+version = "1.20220.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["mcp2221.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper"]
+
+[available."case(os)"]
+'linux|windows' = true
+"..." = false
+
+# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libhidapi = "*"
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libusb = "~1.0"
+
+# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
+
+[[actions."case(os)".linux]]
+type = "post-fetch"
+command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
+
+# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
+
+[[actions."case(os)".windows]]
+type = "post-fetch"
+command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
+
+[origin]
+hashes = [
+"sha256:af01ab3406c53ddb317ffef3ed510aec2f0cdbd3a8435d37004c0d1bb6d14422",
+"sha512:4bb16b3cfce2e0bf88c8827281251ed64ae4edac24f02347406c8360cf4e7baaaf0623dda95d1eda87fdb93c1eed1baabe5c1553654d8b73a56140c7e2ae5c55",
+]
+url = "http://repo.munts.com/alire/mcp2221-1.20220.1.tbz2"
+

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.0.0.toml

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

index/pi/pico_bsp/pico_bsp-1.1.0.toml

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

@@ -0,0 +1,34 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.0.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_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"]
+
+[[depends-on]]
+pico_bsp = "~1.0"
+
+[origin]
+commit = "f04cbe5e1c64ec0a0267e6375f29bbd9fd5799b0"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+

index/pi/pico_examples/pico_examples-1.1.0.toml

@@ -0,0 +1,34 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.1.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_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"]
+
+[[depends-on]]
+pico_bsp = "^1"
+
+[origin]
+commit = "d2761e5dcb4e1566d3d192ca56f64d30252cf9d2"
+url = "git+https://github.com/JeremyGrosser/pico_examples.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/py/pygamer_simulator/pygamer_simulator-1.0.0.toml

@@ -10,7 +10,7 @@ tags = ["pygamer", "adafruit", "game", "console", "simulator"]
 project-files = ["pygamer_simulator.gpr"]
 
 [[depends-on]]
-asfml = "~2.5"
+asfml = "2.5.1"
 hal = "~0.1.0"
 
 [origin]

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/re/remoteio/remoteio-1.20220.1.toml

@@ -0,0 +1,48 @@
+name = "remoteio"
+description = "Remote I/O Protocol Client Library for GNAT Ada"
+version = "1.20220.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["remoteio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper"]
+
+[available."case(os)"]
+'linux|windows' = true
+"..." = false
+
+# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libhidapi = "*"
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libusb = "~1.0"
+
+# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
+
+[[actions."case(os)".linux]]
+type = "post-fetch"
+command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
+
+# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
+
+[[actions."case(os)".windows]]
+type = "post-fetch"
+command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
+
+[origin]
+hashes = [
+"sha256:64576e563db4b914de34bc316e632522b0d58c3d6a2f86996480bb6770ea0946",
+"sha512:76e58c614dcdf4333fd9d23dd1d2031f6f802c195fcea08b1ed1ec6d25e49430fd4ed8f7aa44cba94ae8f075427eeea3a1e1a045e47e673a5873609c4be265b0",
+]
+url = "http://repo.munts.com/alire/remoteio-1.20220.1.tbz2"
+