AWS 22.0.0

macOS support for gmp via external command (#577 )
Tested with MacPorts (gmp).
2022-07-25 11:51:43 +02:00 · 2022-07-25 10:06:13 +02:00 · 2022-07-23 12:00:10 +02:00 · 2022-07-22 18:43:36 +02:00 · 2022-07-21 12:25:39 +02:00 · 2022-07-20 17:51:28 +02:00
674 changed files with 13637 additions and 2246 deletions
@@ -0,0 +1,10 @@
+The name of the branch plays a role in the tests run when changes are
+submitted. For this reason, when modifying the workflows in ./.github, if you
+want to test them prior to submission, the PR must be tested against a branch that
+exists also in the `alire-index-checks` repo, e.g., 'stable-1.2' or 'devel-1.2'
+
+Normally you'll want to use the latest stable or devel branch.
+
+E.g., if you modify a workflow in the `alire-index` repo and want to test it
+privately, you can do so in your own account, but using the same `stable-x.x`
+base branch for your private PR.
@@ -0,0 +1,119 @@
+# Please read the TESTING file before modifying this file
+
+name: Build Crate
+
+env:
+  CHECKS_ORG: alire-project
+  CHECKS_REPO: alire-index-checks
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+
+  build:
+    name: ${{ matrix.os }}::${{ matrix.tag }}
+
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      matrix:
+        os:
+          - macos-latest
+          - ubuntu-latest
+          - windows-latest
+        tag:
+          - arch-rolling              # Arch has its own recent GNAT and pacman
+          - centos-stream-fsf-latest  # CentOS is used for unknown package manager
+          - debian-stable             # Debian has very good Ada support and apt
+          - fedora-latest             # Fedora has its own GNAT and dnf
+          - ubuntu-lts                # Ubuntu LTS is a common Debian derivative
+          - ""
+        exclude: # inclusions don't allow to add arrays of values to a scenario
+          - os: ubuntu-latest
+            tag: ""
+          - os: macos-latest
+            tag: arch-rolling
+          - os: macos-latest
+            tag: centos-stream-fsf-latest
+          - os: macos-latest
+            tag: debian-stable
+          - os: macos-latest
+            tag: fedora-latest
+          - os: macos-latest
+            tag: ubuntu-lts
+          - os: windows-latest
+            tag: arch-rolling
+          - os: windows-latest
+            tag: centos-stream-fsf-latest
+          - os: windows-latest
+            tag: debian-stable
+          - os: windows-latest
+            tag: fedora-latest
+          - os: windows-latest
+            tag: ubuntu-lts
+
+    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 detectors (in both scripts/gh-build-crate.sh and
+        # check-author action).
+
+    - name: Check out alire-index-checks
+      uses: actions/checkout@v3
+      with:
+        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
+        ref: ${{github.base_ref}}
+        path: ${{env.CHECKS_REPO}}
+
+    - name: Update system repositories
+      if: matrix.os == 'ubuntu-latest'
+      run: sudo apt update
+
+    - name: Set up GNAT toolchain (FSF)
+      if: matrix.os == 'ubuntu-latest'
+      uses: ada-actions/toolchain@ce2021
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: matrix.os != 'ubuntu-latest'
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
+    - name: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+        branch: master
+
+    - name: Test crate (Linux)
+      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
+      uses: mosteo/actions@docker-run/v1
+      with:
+        image: alire/gnat:${{matrix.tag}}
+        command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
+
+    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
+      if: matrix.os == 'windows-latest'
+      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
+
+    - name: Test crate (Windows/MacOS)
+      if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      shell: bash
@@ -0,0 +1,80 @@
+# Please read the TESTING file before modifying this file
+
+name: Toolchain
+# Build the submitted crate with a native toolchain from Alire
+
+env:
+  CHECKS_ORG: alire-project
+  CHECKS_REPO: alire-index-checks
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+
+  build:
+    name: ${{ matrix.os }}
+
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      matrix:
+        os:
+          - macos-latest
+          - ubuntu-latest
+          - windows-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 detectors (in both scripts/gh-build-crate.sh and
+        # check-author action).
+
+    - name: Check out alire-index-checks
+      uses: actions/checkout@v3
+      with:
+        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
+        ref: ${{github.base_ref}}
+        path: ${{env.CHECKS_REPO}}
+
+    # For the devel branch we need a compiler available to build alr in
+    # setup-alire. We will be able to get rid of this once composite actions
+    # support conditional steps.
+
+    - name: Set up GNAT toolchain (FSF)
+      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
+    # By default, this sets up the newest indexed native toolchain
+    - name: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v1
+
+    # By default, this sets up the newest indexed native toolchain
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v1
+      with:
+        branch: 'master'
+
+    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
+      if: matrix.os == 'windows-latest'
+      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
+
+    - name: Test crate
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      shell: bash
@@ -0,0 +1,66 @@
+# Please read the TESTING file before modifying this file
+
+# Show differences between the submitted manifest and the previous
+# release of the same crate, to enable easier catching of problems
+
+name: Diff release
+
+env:
+  CHECKS_ORG: alire-project
+  CHECKS_REPO: alire-index-checks
+
+on:
+  pull_request:
+    paths:
+      - '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: Check out alire-index-checks
+      uses: actions/checkout@v3
+      with:
+        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
+        ref: ${{github.base_ref}}
+        path: ${{env.CHECKS_REPO}}
+
+    - name: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We don't need the compiler
+
+    - name: Set up GNAT toolchain (FSF)
+      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We don't need the compiler
+        branch: master
+
+    - name: Diff releases
+      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
+      shell: bash
@@ -5,11 +5,34 @@ jobs:
    runs-on: ubuntu-latest    
    steps:
    - uses: actions/checkout@master
+
    - uses: alire-project/check-author@master
      with:
        repo-token: "${{ secrets.GITHUB_TOKEN }}"
-    - uses: alire-project/setup-alire@dev
+
+    - name: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v1
+
+    - name: Set up GNAT for devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v1
+      with:
+        branch: master
+
    - run: alr index --list
+
    - run: alr index --add=. --name=local_index
+
+    # Check index contents for unknown config variables
+    - run: alr index --check
+
    - run: alr index --update-all 
-    - run: alr list
+
+    - run: alr search --crates
@@ -0,0 +1,7 @@
+# Changes to the index format that require versioning
+
+## 1.2
+
+- Build profiles and switches.
+- New `subdir` property in git remotes.
+- New `host-arch` key for case expressions.
@@ -1,61 +1,10 @@
-Thanks for your interest in the Alire project. Here are some pointers for effective contributions.
+Thanks for your interest in the Alire project. Please find more information at
+one of these sources:

-# Contributing crates
+- Main repository (development version): https://github.com/alire-project/alire
+- Website (stable release information): https://alire.ada.dev
+- Live discussion: https://gitter.im/ada-lang/Alire

-The process for submitting a new crate or release is currently manual, although automated support through the `alr publish` command is in the roadmap.
-The sequence of steps to take is described after some introductory concepts;
-you can also ask for help in the [gitter channel](https://gitter.im/ada-lang/Alire) of the project.
+Concretely, the documentation about submission of releases is found at 

-## General concepts
-
-The community index is a collection of [TOML](https://github.com/toml-lang/toml)
-files stored in the [alire-index](https://github.com/alire-project/alire-index) repository,
-under the [index](https://github.com/alire-project/alire-index/blob/master/index) directory.
-Each file is named after the crate it contains.
-A crate contains the description of a project, with other metadata,
-and the list of available releases (identified by their
-[semantic version](https://semver.org/)).
-
-The complete specification of such TOML files is available in this [document](https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.rst).
-
-## New crates and releases
-
-Contributing a new crate is achieved through a pull-request against the index repository,
-in which the TOML file for the crate must be provided. Similarly, a new release is published by
-submitting a pull-request with the necessary modifications to the crate file.
-
-### Index branches
-
-The community index is supported through two kinds of branches:
-
- `stable-x.x.x` branches are used by stable versions of `alr`.
- `devel-x.x.x` branches are used to introduce breaking changes in the index format, during the development of `alr`.
-
-Your `alr` version knows which branch to use, so you do not need to manually select one. However, when submitting crates/releases as pull requests, you must decide to which branch they will be added: selecting the latest stable branch results in the release becoming immediately available to the latest stable `alr`. Conversely, using the latest development branch will make the releases available for testing by unstable clients, and will become generally available with the next stable release of `alr`.
-
-Note that, as of this writing (Dec 2019), only development branches exist, until the first stable release of `alr` is made.
-
-## Checks on contributions
-
-Each crate is "owned" by a list of maintainers, provided with the `maintainers-logins` property of the crate file. After the initial submission, which will be manually approved (see the [POLICY](https://github.com/alire-project/alire-index/blob/master/POLICY.md) for details), the maintainers of a crate are the only people allowed to submit new releases or metadata modifications to the corresponding crate file.
-
-# Detailed steps
-
-These steps describe how to submit a new crate. They are essentially the same for submitting a new release (in the latter case, the existing crate file must be edited instead of created).
-
-
-1. Prepare a source archive (zip, tar) with the release sources and project files.
-    1. This archive **must not** contain the `alire` directory generated by `alr` in working directories. The `alire` directory is designed to be put in your VCS ignore list.
-    1. The archive **must** contain a single directory (name not important) containing, in turn, the sources. This is the kind of archives automatically generated by GitHub, GitLab, Sourceforge... or through `git archive`.
-1. Compute an integrity hash for the archive with `alr publish --hash <URL>`
-    1. The URL can be remote or local (`file://`), although using the final online file is recommended.
-    1. The final online file should be immutable. Note that online autogenerated archives can be found currently in the index, but should be avoided whenever possible (because of lack of immutability guarantees, see [this conversation](https://github.community/t5/How-to-use-Git-and-GitHub/Ensuring-identical-tarballs-from-releases/m-p/34196/highlight/true#M8997)). In the future, `alr publish` will offer support to generate and upload such files more conveniently.
-1. Fill the crate file providing all the necessary information (`[general]` section), dependencies (`depends-on`) and possibly excluded platforms (`available`). See, for example, the [hello world](https://github.com/alire-project/alire-index/blob/master/index/he/hello.toml) crate, or the [empty skeleton](https://github.com/alire-project/alire-index/blob/master/templates/skeleton.toml) template.
-1. Place the crate file in the appropriate directory of your locally checked out index repository, and create a new pull request. The detailed substeps are the usual for submitting contributions in GitHub:
-    1. Fork the community index to your GitHub account.
-    1. Clone your fork locally and make the changes locally.
-    1. Commit and push the changes to your fork.
-    1. Create the pull request from your fork against the community repository through the GitHub web interface (or the [`hub`](https://github.com/github/hub) tool).
-        1. The base branch you select for the pull request will determine where your changes will become available; see the section on index branches for details.
-
-Once the pull request is verified and merged, the new crate or release will become available for normal use. The open source Ada ecosystem needs all the help it can get, so happy contributing!
+- https://alire.ada.dev/docs/#publishing-your-projects-in-alire
@@ -1,23 +1,13 @@
-# Alire Catalog
+# Alire Community Index

 [![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Alire)

-This repository hosts the official community-maintained index of Ada projects
-to be used with the `alr` tool. Please visit
-https://github.com/alire-project/alire to download `alr`.
+This repository hosts the official community-maintained index to be used with the `alr` tool. 

-## Contributing crates to the index
+Please visit https://github.com/alire-project/alire to download `alr`.

-Please check the information in the [CONTRIBUTING.md](CONTRIBUTING.md) file.
+Please open a pull request to submit a new release (read
+further [here](https://alire.ada.dev/docs/#publishing-your-projects-in-alire)
+about it). 

-## TODO
-
-Here are sources of projects that might be interesting to add to this index:
-
-* [awesome-ada](https://github.com/ohenley/awesome-ada) (Top notch!)
-* [GitHub projects, sorted by star
-  count](https://github.com/search?o=desc&l=Ada&q=ada&s=stars&type=Repositories)
-* [AdaIC's Free Tools and
-  Libraries](http://www.adaic.org/ada-resources/tools-libraries/)
-* [Libraries in the Ada Programming
-   WikiBook](https://en.wikibooks.org/wiki/Ada_Programming/Libraries)
+To report an issue, open it at https://github.com/alire-project/alire/issues
@@ -1,10 +0,0 @@
-[general]
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-licenses = ["LGPL 3.0"]
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-['0.1']
-origin = "https://github.com/mosteo/aaa/archive/v0.1.tar.gz"
-origin-hashes = ["sha512:a9908afa198644d1b9965a7cbc3a9d39d887d1ddd1379dcda7c7b32ecc203de559dad01a5c0bc8c557ba449a343a4f0545669b725099db24014ab389eb586ff0"]
@@ -0,0 +1,11 @@
+description = "Alex's Ada Assortment (of miscellaneous utilities)"
+name = "aaa"
+version = "0.1.0"
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[origin]
+url = "https://github.com/mosteo/aaa/archive/v0.1.tar.gz"
+hashes = ["sha512:a9908afa198644d1b9965a7cbc3a9d39d887d1ddd1379dcda7c7b32ecc203de559dad01a5c0bc8c557ba449a343a4f0545669b725099db24014ab389eb586ff0"]
@@ -0,0 +1,26 @@
+name = "aaa"
+version = "0.2.1"
+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 vectors.
+- Simple subprocess spawning.
+"""
+
+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 = "103f0d1954aa1181542baa939bae44ca98bff05f"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.3"
+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 vectors.
+- 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 = "12201a008c07e6ef0e4f21d327c941bed97d7166"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.4"
+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 = "19e75e3e16c493df35913b8acc486b5d047875bf"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -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"
+
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.6"
+description = "Alex's Ada Assortment (of miscellaneous utilities)"
+
+long-description = """
+Alex's Ada Assortment of Utilities
+
+- Text formatting (paragraphs, tables).
+- Indefinite containers.
+- Enumeration validity/conversions of string images.
+- On-demand stack backtraces.
+- String containers and utilities.
+- Simple subprocess spawning.
+- Write-through minimal cache for objects stored in files
+"""
+
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+tags = ["miscellanea", "utility"]
+website = "https://github.com/mosteo/aaa"
+
+[origin]
+commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -0,0 +1,35 @@
+name = "ada_fuse"
+version = "1.0.0"
+description = "Ada bindings for Fuse (Filesystem in Userspace)"
+website = "https://github.com/medsec/ada-fuse"
+authors  = [
+    "Alexander Herr <thissideup@riseup.net>",
+    "Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>",
+    "christopher-l <christopher.luebbemeier@googlemail.com>"
+    ]
+maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
+maintainers-logins = [
+    "NicolaiRuckel", "medsec"
+]
+licenses = "GPL-3.0-only"
+project-files = ["ada_fuse.gpr"]
+
+[gpr-externals]
+ADA_FUSE_SYSTEM = ["Linux x86_64", "Linux i386", "Darwin i386", "Darwin x86_64"]
+
+[gpr-set-externals.'case(os)']
+linux = { ADA_FUSE_SYSTEM = "Linux x86_64" }
+macos = { ADA_FUSE_SYSTEM = "Darwin x86_64" }
+
+[available.'case(os)']
+linux   = true
+macos   = true
+windows = false
+'...'   = false
+
+[origin]
+url = "https://github.com/medsec/ada-fuse/archive/v1.0.zip"
+hashes = ["sha512:8e67aaa8f57b688231e7d2cda0d02093c8d1d3c9a47729af613c95a1262f5ef24af0196a83b6d5c74bc43097846a514ce11c5d680ef74b8f31526752c239a11a"]
+
+[[depends-on]]
+libfuse = "^2.0.0"
@@ -0,0 +1,35 @@
+name = "ada_fuse"
+version = "1.0.1"
+description = "Ada bindings for Fuse (Filesystem in Userspace)"
+website = "https://github.com/medsec/ada-fuse"
+authors  = [
+    "Alexander Herr <thissideup@riseup.net>",
+    "Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>",
+    "Christopher Lübbemeier <christopher.luebbemeier@googlemail.com>"
+    ]
+maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
+maintainers-logins = [
+    "NicolaiRuckel", "medsec"
+]
+licenses = "GPL-3.0-only"
+project-files = ["ada_fuse.gpr"]
+
+[gpr-externals]
+ADA_FUSE_SYSTEM = ["Linux x86_64", "Linux i386", "Darwin i386", "Darwin x86_64"]
+
+[gpr-set-externals.'case(os)']
+linux = { ADA_FUSE_SYSTEM = "Linux x86_64" }
+macos = { ADA_FUSE_SYSTEM = "Darwin x86_64" }
+
+[available.'case(os)']
+linux   = true
+macos   = true
+windows = false
+'...'   = false
+
+[origin]
+url = "https://github.com/medsec/ada-fuse/archive/v1.0.1.zip"
+hashes = ["sha512:5f4f67699e22a8f2a053abc290c35b0349d5df606ea4f3a89819d1693f7b2b380da0e2bde3727ec927c6b05be53d2093ad5d8e884dc609b31a9fed3c97df4c60"]
+
+[[depends-on]]
+libfuse = "^2.0.0"
@@ -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"]
@@ -0,0 +1,17 @@
+name = "ada_lua"
+description = "An Ada binding for lua"
+version = "0.1.0"
+authors = ["Nicolas Roche <roche@adacore.com>"]
+maintainers = ["Nicolas Roche <roche@adacore.com>"]
+maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
+website = "https://github.com/adacore/ada-lua"
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["lua", "binding", "script"]
+ 
+[[depends-on]]
+liblua = "~5.3"
+
+[origin]
+commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
+url = "git+https://github.com/AdaCore/ada-lua.git"
+
@@ -0,0 +1,17 @@
+description = "Ada Pretty Printer Library"
+name = "ada_pretty"
+version = "1.0.0"
+website = "https://github.com/reznikmm/ada-pretty/"
+authors = ["Maxim Reznik"]
+licenses = "MIT"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+project-files = ["gnat/ada_pretty.gpr"]
+tags = ["pretty", "printing", "generator"]
+
+[[depends-on]]
+matreshka_league = "any"
+
+[origin]
+url = "https://github.com/reznikmm/ada-pretty/archive/1.0.0.tar.gz"
+hashes = ["sha512:cdcd41f8dc5d0638a6beae2fd212c88ffa42c99a8d397eec8f734d5f0befc5632439e5673140c3f59d2d0cb203ccce0fb4fe9de9ede2cec222a77f5e8577932f"]
@@ -1,23 +0,0 @@
-[general]
-description = "TOML parser for Ada "
-
-authors = ["AdaCore",
-           "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-maintainers = ["pmderodat@kawie.fr"]
-maintainers-logins = ["pmderodat"]
-
-project-files = ["ada_toml.gpr"]
-
-licenses = ["BSD 3-Clauses"]
-
-[general.gpr-externals]
-BUILD_MODE = ["dev", "prod"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[general.gpr-set-externals]
-BUILD_MODE = "prod"
-LIBRARY_TYPE = "static"
-
-["0.1"]
-origin = "https://github.com/pmderodat/ada-toml/archive/v0.1.tar.gz"
-origin-hashes = ["sha512:2235adad4908c0b4e890bf314fca8fc5c374564b2ca5dd9844090b9845de89d6401a431344124d63251a1ff4b5fad5ea2d13fb21b996019289106f7f2231c727"]
@@ -0,0 +1,20 @@
+description = "TOML parser for Ada"
+name = "ada_toml"
+version = "0.1.0"
+authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
+licenses = "BSD-3-Clause"
+maintainers = ["pmderodat@kawie.fr"]
+maintainers-logins = ["pmderodat"]
+project-files = ["ada_toml.gpr"]
+
+[gpr-externals]
+BUILD_MODE = ["dev", "prod"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals]
+BUILD_MODE = "prod"
+LIBRARY_TYPE = "static"
+
+[origin]
+url = "https://github.com/pmderodat/ada-toml/archive/v0.1.tar.gz"
+hashes = ["sha512:2235adad4908c0b4e890bf314fca8fc5c374564b2ca5dd9844090b9845de89d6401a431344124d63251a1ff4b5fad5ea2d13fb21b996019289106f7f2231c727"]
@@ -0,0 +1,19 @@
+description = "TOML parser for Ada"
+name = "ada_toml"
+version = "0.2.0"
+authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
+licenses = "BSD-3-Clause"
+maintainers = ["pmderodat@kawie.fr"]
+maintainers-logins = ["pmderodat"]
+project-files = ["ada_toml.gpr"]
+
+[gpr-externals]
+ADA_TOML_BUILD_MODE = ["dev", "prod"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals]
+ADA_TOML_BUILD_MODE = "prod"
+
+[origin]
+url = "https://github.com/pmderodat/ada-toml/archive/v0.2.tar.gz"
+hashes = ["sha512:f07de4871e633e1be0fd757daa5996dd8ea2d56eae44bbf27358518b58b6cd47274c9d1686fe669da4c464baf5122c707f9990cfdef7fa8c0b9504558e85dbcb"]
@@ -0,0 +1,110 @@
+description = "TOML parser for Ada"
+name = "ada_toml"
+version = "0.3.0"
+authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
+licenses = "BSD-3-Clause"
+maintainers = ["pmderodat@kawie.fr"]
+maintainers-logins = ["pmderodat"]
+project-files = ["ada_toml.gpr"]
+long-description = """
+ada-toml: TOML parser for Ada
+=============================
+
+`ada-toml` is a pure Ada library for parsing and creating
+[TOML](https://github.com/toml-lang/toml#toml) documents. It conforms to the
+[version 1.0.0](https://toml.io/en/v1.0.0) of the format standard.
+
+
+Quick tutorial
+--------------
+
+All basic types and subprograms are in the `TOML` package. All "nodes" in a
+TOML documents are materialized using the `TOML.TOML_Value` type. Since TOML
+values make up a tree, this type has reference semantics. This means that
+modifying a TOML node does not modify the corresponding `TOML_Value` value
+itself, but rather the TOML value that is referenced.
+
+Parsing a TOML file is as easy as using the `TOML.File_IO.Load_File` function:
+
+```ada
+declare
+   Result : constant TOML.Read_Result :=
+      TOML.File_IO.Load_File ("config.toml");
+begin
+   if Result.Success then
+      Ada.Text_IO.Put_Line ("config.toml loaded with success!");
+   else
+      Ada.Text_IO.Put_Line ("error while loading config.toml:");
+      Ada.Text_IO.Put_Line
+         (Ada.Strings.Unbounded.To_String (Result.Message));
+   end if;
+end;
+```
+
+Each TOML value has kind, defining which data it contains (a boolean, an
+integer, a string, a table, ...). To each kind, one or several primitives are
+associated to let one process the underlying data:
+
+```ada
+case Result.Kind is
+   when TOML.TOML_Boolean =>
+      Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Boolean'Image);
+
+   when TOML.TOML_Integer =>
+      Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Integer'Image);
+
+   when TOML.TOML_String =>
+      Ada.Text_IO.Put_Line ("Boolean: " & Result.As_String);
+
+   when TOML.TOML_Array =>
+      Ada.Text_IO.Put_Line ("Array of " & Result.Length & " elements");
+
+   when others =>
+      null;
+end case;
+```
+
+There are also primitives to build TOML values:
+
+```ada
+declare
+   Bool : constant TOML.TOML_Value := TOML.Create_Boolean (False);
+   Int  : constant TOML.TOML_Value := TOML.Create_Integer (10);
+   Str  : constant TOML.TOML_Value := TOML.Create_String ("Hello, world");
+
+   Table : constant TOML.TOML_Value := TOML.Create_Table;
+begin
+   Table.Set ("bool_field", Bool);
+   Table.Set ("int_field", Int);
+   Table.Set ("str_field", Str);
+end;
+```
+
+And finally one can turn a tree of TOML nodes back in text form:
+
+```ada
+Ada.Text_IO.Put_Line ("TOML document:");
+Ada.Text_IO.Put_Line (Table.Dump_As_String);
+```
+
+
+Contributing
+------------
+
+The development of `ada-toml` happens on
+[GitHub](https://github.com/pmderodat/ada-toml).  Everyone is welcome to
+contribute to this project: please read our [contribution
+rules](https://github.com/pmderodat/ada-toml/tree/master/CONTRIBUTING.rst) if
+you consider doing so.
+"""
+
+[gpr-externals]
+ADA_TOML_BUILD_MODE = ["dev", "prod"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals]
+ADA_TOML_BUILD_MODE = "prod"
+
+[origin]
+url = "https://github.com/pmderodat/ada-toml/archive/v0.3.tar.gz"
+hashes = ["sha512:862d230bf28c393243b01425b259a2fd5d1cf33d3da521eea5f5533691efb46cd3fa335941bcd768b5da635896737b5ee51cbd593d84df58785db6d4c836afd2"]
@@ -1,15 +0,0 @@
-[general]
-description = "Voxel Space render engine demo in Ada"
-maintainers = ["fabien.chouteau@gmail.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-project-files = ["ada_voxel_space_demo.gpr"]
-executables = ["main"]
-
-licenses = ["MIT"]
-
-["1.0.0"]
-origin = "https://github.com/Fabien-Chouteau/ada-voxel-space-demo/releases/download/v1.0.0/ada_voxel_space_demo-1.0.0.zip"
-origin-hashes = ["sha512:b7a0cf7cb5c740994bc523a40d7d51838bdbdbf66a4e15e04a90ee42251f13bf42d268b485c84e434808530f7166ba6d5617033e4942695ace448d787b18641c"]
-["1.0.0".depends-on]
-sdlada = "^2.3.1"
@@ -0,0 +1,15 @@
+description = "Voxel Space render engine demo in Ada"
+name = "ada_voxel_space_demo"
+version = "1.0.0"
+executables = ["main"]
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["ada_voxel_space_demo.gpr"]
+
+[[depends-on]]
+sdlada = "^2.3.1"
+
+[origin]
+url = "https://github.com/Fabien-Chouteau/ada-voxel-space-demo/releases/download/v1.0.0/ada_voxel_space_demo-1.0.0.zip"
+hashes = ["sha512:b7a0cf7cb5c740994bc523a40d7d51838bdbdbf66a4e15e04a90ee42251f13bf42d268b485c84e434808530f7166ba6d5617033e4942695ace448d787b18641c"]
@@ -0,0 +1,15 @@
+description = "Voxel Space render engine demo in Ada"
+name = "ada_voxel_space_demo"
+version = "1.0.1"
+executables = ["main"]
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["ada_voxel_space_demo.gpr"]
+
+[[depends-on]]
+sdlada = "^2.3.1"
+
+[origin]
+url = "https://github.com/Fabien-Chouteau/ada-voxel-space-demo/releases/download/v1.0.1/ada_voxel_space_demo-1.0.1.zip"
+hashes = ["sha512:69740326ce512b57e15e311e82bbbd500bdbcb434290af598a379fbee8a157f9c6a18321d6b36164aae78687c0012f051bd7fcdb5eebd85ed6b2cec33a0b3917"]
@@ -0,0 +1,18 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.0.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`
+
+[origin]
+commit = "159c2547f3a059d83a183ca70b75fee572f7fbaf"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+
@@ -0,0 +1,19 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.0.1"
+
+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`
+
+[origin]
+commit = "a31a416c1f09e59ab1d1ab0b132aca225c66be48"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+
@@ -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"
+
@@ -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"
+
@@ -1,24 +0,0 @@
-[general]
-description = "Experimental YAML 1.3 implementation in Ada"
-licenses = ["MIT"]
-authors = ["Felix Krause"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-website = "https://ada.yaml.io/"
-
-    [general.gpr-externals]
-    Mode = ["debug", "release"]
-
-['0.3']
-origin = "https://github.com/yaml/AdaYaml/archive/v0.3.0.tar.gz"
-origin-hashes = ["sha512:ab19e38704e5d51a3f66da2fb9f86571ab08a6793a5d5f42ca29c3271bc754a1a845cc831d7fb24bb19c2caaf0d355ba250d0dca2959607a19936b0a91739d33"]
-project-files = ["yaml.gpr", "yaml-utils.gpr", "yaml-annotation_processor.gpr", "yaml-server.gpr"]
-executables = ["yaml-server"]
-
-    ['0.3'.depends-on]
-    simple_components = "^4.27"
-
-['0.2']
-origin = "https://github.com/yaml/AdaYaml/archive/v0.2.0.tar.gz"
-origin-hashes = ["sha512:b9722c24ef5f4d08973890116603fce68ad00c7a96e2cab01c7cbb6f537068877257fff5fd325efc8d29f236be4f8546ae8e75619a7a77563d339bd159d9e20b"]
-project-files = ["yaml.gpr", "yaml-utils.gpr"]
@@ -0,0 +1,16 @@
+description = "Experimental YAML 1.3 implementation in Ada"
+name = "adayaml"
+version = "0.2.0"
+website = "https://ada.yaml.io/"
+authors = ["Felix Krause"]
+licenses = "MIT"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+project-files = ["yaml.gpr", "yaml-utils.gpr"]
+
+[gpr-externals]
+Mode = ["debug", "release"]
+
+[origin]
+url = "https://github.com/yaml/AdaYaml/archive/v0.2.0.tar.gz"
+hashes = ["sha512:b9722c24ef5f4d08973890116603fce68ad00c7a96e2cab01c7cbb6f537068877257fff5fd325efc8d29f236be4f8546ae8e75619a7a77563d339bd159d9e20b"]
@@ -0,0 +1,20 @@
+description = "Experimental YAML 1.3 implementation in Ada"
+name = "adayaml"
+version = "0.3.0"
+website = "https://ada.yaml.io/"
+authors = ["Felix Krause"]
+executables = ["yaml-server"]
+licenses = "MIT"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+project-files = ["yaml.gpr", "yaml-utils.gpr", "yaml-annotation_processor.gpr", "yaml-server.gpr"]
+
+[[depends-on]]
+simple_components = "^4.27"
+
+[gpr-externals]
+Mode = ["debug", "release"]
+
+[origin]
+url = "https://github.com/yaml/AdaYaml/archive/v0.3.0.tar.gz"
+hashes = ["sha512:ab19e38704e5d51a3f66da2fb9f86571ab08a6793a5d5f42ca29c3271bc754a1a845cc831d7fb24bb19c2caaf0d355ba250d0dca2959607a19936b0a91739d33"]
@@ -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.0"
+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 = "e9b24584f58040b8b57a78e953966965e3894a3b"
+url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
+
@@ -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"
+
@@ -1,25 +0,0 @@
-[general]
-description = "Ada Database Objects (Core library)"
-licenses = ["Apache 2.0"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-
-    project-files = [
-        ".alire/ado.gpr"
-    ]
-
-    [general.gpr-externals]
-    ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-    BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-
-    [general.depends-on]
-    utilada = "^2.0.0"
-    utilada_xml = "^2.0.0"
-
-    [[general.actions]]
-    type = "post-fetch"
-    command = ["rm", "-f", "config.gpr"]
-
-['2.0.0']
-origin = "https://github.com/stcarrez/ada-ado/archive/2.0.0.tar.gz"
-origin-hashes = ["sha512:27870ba6654bccb0a3a4d07e15c021eaa46cff309bba6bb69179c68ba545843a364fba5d78c580a41976a0ee890cca801dfb510c82d442d0c573fea2f8fd0269"]
@@ -0,0 +1,23 @@
+description = "Ada Database Objects (Core library)"
+name = "ado"
+version = "2.0.0"
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/ado.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["rm", "-f", "config.gpr"]
+
+[[depends-on]]
+utilada = "^2.0.0"
+utilada_xml = "^2.0.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[origin]
+url = "https://github.com/stcarrez/ada-ado/archive/2.0.0.tar.gz"
+hashes = ["sha512:27870ba6654bccb0a3a4d07e15c021eaa46cff309bba6bb69179c68ba545843a364fba5d78c580a41976a0ee890cca801dfb510c82d442d0c573fea2f8fd0269"]
@@ -1,24 +0,0 @@
-[general]
-description = "Ada Database Objects (PostgreSQL)"
-licenses = ["Apache 2.0"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-
-    project-files = [
-        ".alire/postgresql/ado_postgresql.gpr"
-    ]
-
-    [general.gpr-externals]
-    ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-    BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-
-    [general.depends-on]
-    ado = "^2.0.0"
-
-    [[general.actions]]
-    type = "post-fetch"
-    command = ["rm", "-f", "config.gpr"]
-
-['2.0.0']
-origin = "https://github.com/stcarrez/ada-ado/archive/2.0.0.tar.gz"
-origin-hashes = ["sha512:27870ba6654bccb0a3a4d07e15c021eaa46cff309bba6bb69179c68ba545843a364fba5d78c580a41976a0ee890cca801dfb510c82d442d0c573fea2f8fd0269"]
@@ -0,0 +1,22 @@
+description = "Ada Database Objects (PostgreSQL)"
+name = "ado_postgresql"
+version = "2.0.0"
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/postgresql/ado_postgresql.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["rm", "-f", "config.gpr"]
+
+[[depends-on]]
+ado = "^2.0.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[origin]
+url = "https://github.com/stcarrez/ada-ado/archive/2.0.0.tar.gz"
+hashes = ["sha512:27870ba6654bccb0a3a4d07e15c021eaa46cff309bba6bb69179c68ba545843a364fba5d78c580a41976a0ee890cca801dfb510c82d442d0c573fea2f8fd0269"]
@@ -1,24 +0,0 @@
-[general]
-description = "Ada Database Objects (SQLite)"
-licenses = ["Apache 2.0"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-
-    project-files = [
-        ".alire/sqlite/ado_sqlite.gpr"
-    ]
-
-    [general.gpr-externals]
-    ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-    BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-
-    [general.depends-on]
-    ado = "^2.0.0"
-
-    [[general.actions]]
-    type = "post-fetch"
-    command = ["rm", "-f", "config.gpr"]
-
-['2.0.0']
-origin = "https://github.com/stcarrez/ada-ado/archive/2.0.0.tar.gz"
-origin-hashes = ["sha512:27870ba6654bccb0a3a4d07e15c021eaa46cff309bba6bb69179c68ba545843a364fba5d78c580a41976a0ee890cca801dfb510c82d442d0c573fea2f8fd0269"]
@@ -0,0 +1,22 @@
+description = "Ada Database Objects (SQLite)"
+name = "ado_sqlite"
+version = "2.0.0"
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/sqlite/ado_sqlite.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["rm", "-f", "config.gpr"]
+
+[[depends-on]]
+ado = "^2.0.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[origin]
+url = "https://github.com/stcarrez/ada-ado/archive/2.0.0.tar.gz"
+hashes = ["sha512:27870ba6654bccb0a3a4d07e15c021eaa46cff309bba6bb69179c68ba545843a364fba5d78c580a41976a0ee890cca801dfb510c82d442d0c573fea2f8fd0269"]
@@ -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"
+
@@ -1,19 +0,0 @@
-[general]
-description = "Ada General Purpose Library with a robotics flavor"
-licenses = ["LGPL 3.0"]
-authors = ["alejandro@mosteo.com"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-    [general.depends-on]
-    libgsl = "any"
-
-    [general.gpr-externals]
-    Agpl_Include_Concorde = ["True", "False"]
-    Agpl_Include_Db = ["True", "False"]
-    Agpl_Include_Boost = ["True", "False"]
-    Agpl_Include_PngIO = ["True", "False"]
-
-['1.0.0']
-origin = "https://github.com/mosteo/agpl/archive/v1.0.0.tar.gz"
-origin-hashes = ["sha512:b5da332019cb2a2f91540bfe570f8820ce9d56e93449d1839e0f2e1c4d52d9bc759ac78826887c6da038dc23bd1f7444ac04c0518d6280ae718e6ce4f9222881"]
@@ -0,0 +1,20 @@
+description = "Ada General Purpose Library with a robotics flavor"
+name = "agpl"
+version = "1.0.0"
+authors = ["alejandro@mosteo.com"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[depends-on]]
+libgsl = "any"
+
+[gpr-externals]
+Agpl_Include_Boost = ["True", "False"]
+Agpl_Include_Concorde = ["True", "False"]
+Agpl_Include_Db = ["True", "False"]
+Agpl_Include_PngIO = ["True", "False"]
+
+[origin]
+url = "https://github.com/mosteo/agpl/archive/v1.0.0.tar.gz"
+hashes = ["sha512:b5da332019cb2a2f91540bfe570f8820ce9d56e93449d1839e0f2e1c4d52d9bc759ac78826887c6da038dc23bd1f7444ac04c0518d6280ae718e6ce4f9222881"]
@@ -0,0 +1,74 @@
+description = "Ada Industrial Control Widgets Library"
+long-description = """
+This crate provides a library for designing high-quality industrial control
+widgets for Ada applications. The software is based on
+[GtkAda](https://docs.adacore.com/live/wave/gtkada/html/gtkada_rm/index.html),
+Ada bindings to [Gtk+](https://www.gtk.org/), and
+[cairo](https://www.cairographics.org/manual/index.html).
+
+The key features of the library are:
+
+* Widgets composed of transparent layers drawn by cairo
+* Fully scalable graphics
+* Support of time controlled refresh policy for real-time and heavy-duty applications
+* Caching graphical operations
+* Stream I/O support for serialization and deserialization
+* Ready-to-use gauge, meter, oscilloscope widgets
+* Editor widget for WYSIWYG design of complex dashboards
+
+For further information, visit the
+[AICWL website](http://www.dmitry-kazakov.de/ada/aicwl.htm).
+
+Maintainer's note:
+
+This Alire crate is packaged in a rather minimalistic way to keep dependencies
+on external libraries at a minimum. The crate's definition covers the core
+functionality of AICWL, though, so it should be sufficient for most needs.
+
+For example, the original distribution has references to
+[Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) which are
+not strictly necessary for the core functionality of the library.
+"""
+name = "aicwl"
+version = "3.24.1"
+authors = ["Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>"]
+website = "http://www.dmitry-kazakov.de/ada/aicwl.htm"
+
+# GMGPLaccording to website (http://www.dmitry-kazakov.de/ada/aicwl.htm)
+# LGPL according to sourceforge (https://sf.net/projects/aicwl)
+licenses = "GPL-2.0-or-later WITH GCC-exception-2.0" 
+
+maintainers = ["Vinzent \"Jellix\" Saranen <vinzent@heisenbug.eu>"]
+maintainers-logins = ["Jellix"]
+project-files = ["sources/aicwl.gpr",       # The library itself
+                 "sources/aicwl-editor.gpr" # UI editor component
+                 # Examples and tests omitted here
+                 ]
+
+tags = ["widgets", "gauge", "graphics", "ui", "gtk"]
+
+[gpr-externals]
+Legacy      = ["Ada95", "Ada2005", "Ada2012"] # defaults to "Ada2012"
+Development = ["Debug", "Release", "Profile"] # defaults to "Debug"
+
+# Target_OS   = ["Windows", "Windows_NT", "Linux", "UNIX", "OSX", "FreeBSD", "auto"]
+# arch        = ["x86_64", "i686", "armhf", "aarch64", "auto"]
+#
+# Note: Arch and Target_OS are determined automatically from Project'Target, so
+#       no need to have them set explicitely.
+#
+# Object_Dir  = [".", "nested"]
+#
+# Note: Object_Dir works as follows: If it's ".", it will remain so, if it's
+#       "nested", Object_Dir will become roughly obj/{OS}/{arch}/{Development},
+#       e.g. "obj/linux/x86_64/debug", all other cases result in Object_Dir
+#       being unchanged.
+#       Hence we should leave it as is (the default is "."), trusting Alire to
+#       set an appropriate one.
+
+[[depends-on]]
+gtkada = ">=17"
+
+[origin]
+commit = "73939c9ed0be13a994728d1c362b945e5d131f19"
+url = "git+https://github.com/HeisenbugLtd/aicwl.git"
@@ -1,13 +0,0 @@
-[general]
-description = "Generator of JUnit-compatible XML reports"
-licenses = ["LGPL 3.0"]
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-    [general.depends-on]
-    xml_ez_out = "^1.6"
-
-['1.0.0']
-origin = "https://github.com/mosteo/ajunitgen/archive/v1.0.tar.gz"
-origin-hashes = ["sha512:0d3a9b0fecbd7ca05a31ef18488f1055fc65458fd56710e33ed67ae39f25630609cad1cdd893fe00d3dfd2c8ff657a5803d5ffbf5295b70f220c535a750c2664"]
@@ -0,0 +1,14 @@
+description = "Generator of JUnit-compatible XML reports"
+name = "ajunitgen"
+version = "1.0.0"
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[depends-on]]
+xml_ez_out = "^1.6"
+
+[origin]
+url = "https://github.com/mosteo/ajunitgen/archive/v1.0.tar.gz"
+hashes = ["sha512:0d3a9b0fecbd7ca05a31ef18488f1055fc65458fd56710e33ed67ae39f25630609cad1cdd893fe00d3dfd2c8ff657a5803d5ffbf5295b70f220c535a750c2664"]
@@ -0,0 +1,18 @@
+name = "ajunitgen"
+version = "1.0.1"
+description = "Generator of JUnit-compatible XML reports"
+
+authors = [ "Alejandro R. Mosteo", ]
+licenses = "LGPL-3.0-only"
+maintainers = [ "alejandro@mosteo.com", ]
+maintainers-logins = [ "mosteo", ]
+
+tags = ["junit", "xml"]
+
+[[depends-on]]
+xml_ez_out = "^1.6"
+
+[origin]
+commit = "080ca96388e12dd7b5863463acbad3dc862e06ee"
+url = "git+https://github.com/mosteo/ajunitgen.git"
+
@@ -0,0 +1,17 @@
+description = "Grammar handling and parser generation Ada library"
+name = "anagram"
+version = "1.0.0"
+website = "https://github.com/reznikmm/anagram"
+authors = ["Maxim Reznik"]
+licenses = "MIT"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+project-files = ["gnat/anagram.gpr"]
+tags = ["grammar", "syntax", "analysis", "bnf", "ebnf", "generator"]
+
+[[depends-on]]
+matreshka_league = "any"
+
+[origin]
+url = "https://github.com/reznikmm/anagram/archive/1.0.0.tar.gz"
+hashes = ["sha512:49233f56928e21d3deabb58289d0bd481f2244f7bf6efaa792a155ede8b767d8b658fdc9877dc0b84367da14f60474c761d48515c9b07a05d7ad447899e09822"]
@@ -0,0 +1,20 @@
+description = "Comprehensive ANSI control sequences for terminal output"
+long-description = "# ANSI-Ada\n\n[![Alire indexed](https://img.shields.io/badge/alire-0.1.0-blue.svg)](https://alire.ada.dev)\n[![MIT licensed](https://img.shields.io/badge/license-MIT-blue.svg)](./LICENSE)\n\nANSI control sequences for the Ada language.\n\nThis library consists of a single pure package for the generation of escape\nsequences that allow to control, in ANSI-enabled TTYs:\n\n* Text color and styles\n* Cursor position\n* Clearing of parts of the terminal\n\nIn order to keep the library as simple as possible there is no TTY capability\ndetection, so you must either assume ANSI is recognized or use other means of\ndetection (e.g., `Interfaces.C_Streams.isatty` as a bare minimum to detect\nredirections).\n\nThe library comes with a demo program that can serve to test the appearance and\ncapabilities of your terminal.\n"
+name = "ansiada"
+version = "0.1.0"
+executables = ["ansi-demo"]
+licenses = "MIT"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+project-files = ["ansi.gpr"]
+tags = ["console", "terminal", "tty"]
+
+[gpr-externals]
+ANSIADA_BUILD_MODE = ["On_Demand", "Static_Lib", "Shared_Lib"]
+
+[gpr-set-externals]
+ANSIADA_BUILD_MODE = "On_Demand"
+
+[origin]
+url = "git+https://github.com/mosteo/ansi-ada"
+commit = "27a89150c1f5481a821722601a3b6d4a5368596c"
@@ -0,0 +1,15 @@
+name = "ansiada"
+description = "ANSI escape sequences"
+version = "1.0.0"
+
+licenses = "MIT"
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+tags = ["ansi", "terminal"]
+
+[origin]
+commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
+url = "git+https://github.com/mosteo/ansi-ada.git"
+
@@ -1,15 +0,0 @@
-[general]
-description = "Standalone, portable package for producing dynamically PDF documents"
-licenses = ["MIT"]
-authors = ["Gautier de Montmollin"]
-maintainers = ["fabien.chouteau@gmail.com"]
-maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
-
-project-files = ["pdf_out_gnat.gpr"]
-
-    [general.gpr-externals]
-    Build_Mode = ["Debug", "Fast"]
-
-['5.0.0']
-origin = "https://sourceforge.net/projects/apdf/files/apdf_005.zip"
-origin-hashes = ["sha512:ded04cdfe00628ed96d5d933f9447af4130902b0ae45b0d5dfbd3db70ca71b55d73f4adfb37ad29a68ce66eeec3ba4a5a49466f2ad56ceff8e8629c70c0f2604"]
@@ -0,0 +1,15 @@
+description = "Standalone, portable package for producing dynamically PDF documents"
+name = "apdf"
+version = "5.0.0"
+authors = ["Gautier de Montmollin"]
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
+project-files = ["pdf_out_gnat.gpr"]
+
+[gpr-externals]
+Build_Mode = ["Debug", "Fast"]
+
+[origin]
+url = "https://sourceforge.net/projects/apdf/files/apdf_005.zip"
+hashes = ["sha512:ded04cdfe00628ed96d5d933f9447af4130902b0ae45b0d5dfbd3db70ca71b55d73f4adfb37ad29a68ce66eeec3ba4a5a49466f2ad56ceff8e8629c70c0f2604"]
@@ -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"]
@@ -0,0 +1,81 @@
+description = "Advanced Resource Embedder"
+name = "are"
+version = "1.1.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"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Resource-Embedder.svg)](http://jenkins.vacs.fr/job/Bionic-Resource-Embedder/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Resource-Embedder.svg)](http://jenkins.vacs.fr/job/Bionic-Resource-Embedder/)
+[![codecov](https://codecov.io/gh/stcarrez/resource-embedder/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/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 = false
+'...' = 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"
+
+[origin]
+commit = "cf491d2c73c90daace4e39dbc221a4b4990a349f"
+url = "git+https://github.com/stcarrez/resource-embedder.git"
+
@@ -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"
+
@@ -0,0 +1,19 @@
+name = "asfml"
+description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.5.0"
+
+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 = "17e54f663a163ef68359dea1326ad5b8379d8f02"
+url = "git+https://github.com/mgrojo/ASFML.git"
+
@@ -0,0 +1,19 @@
+name = "asfml"
+description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.5.1"
+
+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 = "52a013554bcfb6150e0d6391871356c1443a6b93"
+url = "git+https://github.com/mgrojo/ASFML.git"
+
@@ -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"
+
@@ -1,38 +0,0 @@
-[general]
-description = "Ada Semantic Interface Specification or ASIS (library part)"
-licenses = ["GPL 3.0"]
-authors = ["AdaCore"]
-website = "https://www.adacore.com/download/more"
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-    [general.depends-on]
-    make = "any"
-
-[2018]
-origin = "http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8"
-archive-name = "asis-gpl-2018-20180524-src.tar.gz"
-origin-hashes= ["sha512:e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a"]
-project-files = ["asis.gpr"]
-
-    [[2018.actions]]
-    type = "post-fetch"
-    command = ["make", "setup-snames"]
-
-    [2018.available.'case(compiler)']
-    gnat-community-2018 = true
-    "..." = false
-
-[2017]
-origin = "http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb"
-archive-name = "asis-gpl-2017-src.tar.gz"
-origin-hashes = ["sha512:dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f"]
-project-files = ["asis.gpr"]
-
-    [[2017.actions]]
-    type = "post-fetch"
-    command = ["make", "setup-snames"]
-
-    [2017.available.'case(compiler)']
-    gnat-community-2018 = true
-    "..." = false
@@ -0,0 +1,22 @@
+description = "Ada Semantic Interface Specification or ASIS (library part)"
+name = "asis"
+version = "2017.0.0"
+website = "https://www.adacore.com/download/more"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+project-files = ["asis.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup-snames"]
+
+[[depends-on]]
+gnat = "=2017"
+make = "any"
+
+[origin]
+url = "https://community.download.adacore.com/v1/369101e6b0d9e777b9bcae821ddb68567138a95f?filename="
+archive-name = "asis-gpl-2017-src.tar.gz"
+hashes = ["sha512:dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f"]
@@ -0,0 +1,22 @@
+description = "Ada Semantic Interface Specification or ASIS (library part)"
+name = "asis"
+version = "2018.0.0"
+website = "https://www.adacore.com/download/more"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+project-files = ["asis.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup-snames"]
+
+[[depends-on]]
+gnat = "=2018"
+make = "any"
+
+[origin]
+url = "https://community.download.adacore.com/v1/c338044768412af787c8cff13c0d952ed688df11?filename="
+archive-name = "asis-gpl-2018-20180524-src.tar.gz"
+hashes = ["sha512:e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a"]
@@ -0,0 +1,22 @@
+description = "Ada Semantic Interface Specification or ASIS (library part)"
+name = "asis"
+version = "2019.0.0"
+website = "https://www.adacore.com/download/more"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+project-files = ["asis.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup-snames"]
+
+[[depends-on]]
+gnat = "=2019"
+make = "any"
+
+[origin]
+url = "https://community.download.adacore.com/v1/52c69e7295dc301ce670334f8150193ecbec580d?filename="
+archive-name = "asis-2019-20190517-18AB5-src.tar.gz"
+hashes = ["sha512:3ca32fa2eeee10ef2d0e6eb8ab555c3e31b417bdab6749fdd8bd264efa2c93a388a5731c40705782a3a28f16e0c385af195f69d95020e265b2230ead1c91977f"]
@@ -0,0 +1,15 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.1.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[origin]
+commit = "1951459d24343b55dc814d257447756a18b149cd"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,15 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.2.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[origin]
+commit = "e5c679bd6e2a11ea4bc37ad56e4b33907bd11ce2"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,15 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.3.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[origin]
+commit = "0371353e27dcad8f4c0d53bea0c319636bc2b49e"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,18 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.4.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[configuration.variables]
+Backend = {type = "Enum",  values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
+
+[origin]
+commit = "df6d4993568ed5e2fed3d8ed09c0bc69ac295e40"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,18 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.4.1"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[configuration.variables]
+Backend = {type = "Enum",  values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
+
+[origin]
+commit = "14bb7db33dff4b6f1219967a809d0f787cae33cb"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,18 @@
+description = "Basic Ada packages for audio applications"
+long-description = """
+# Audio Base
+This crate contains basic Ada packages for audio applications.
+"""
+name = "audio_base"
+version = "1.0.0"
+website="https://github.com/Ada-Audio/audio_base"
+licenses = "MIT"
+authors=["Gustavo A. Hoffmann"]
+maintainers = ["gusthoff@gusthoff.com"]
+maintainers-logins = ["gusthoff"]
+project-files = ["audio_base.gpr"]
+tags = ["audio", "riff"]
+
+[origin]
+commit = "8646d0adc2be09c57dd16952a329c4342e5ddb3b"
+url = "git+https://github.com/Ada-Audio/audio_base.git"
@@ -0,0 +1,21 @@
+description = "Ada Wavefile Library"
+long-description = """
+# Ada Wavefile Library
+This crate contains Ada packages for wavefile I/O.
+"""
+name = "audio_wavefiles"
+version = "2.0.0"
+website="https://github.com/Ada-Audio/audio_wavefiles"
+licenses = "MIT"
+authors=["Gustavo A. Hoffmann"]
+maintainers = ["gusthoff@gusthoff.com"]
+maintainers-logins = ["gusthoff"]
+project-files = ["audio_wavefiles.gpr"]
+tags = ["audio", "riff", "wavefiles"]
+
+[[depends-on]]
+audio_base = "^1.0"
+
+[origin]
+commit = "8e1162c5b9dc604a835f60be6a78e8f9d3c85052"
+url = "git+https://github.com/Ada-Audio/audio_wavefiles.git"
@@ -0,0 +1,17 @@
+description = "Ada unit test framework"
+name = "aunit"
+version = "21.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["lib/gnat/aunit.gpr"]
+tags=["unit", "test", "unit-test"]
+
+[gpr-externals]
+AUNIT_BUILD_MODE = ["Devel", "Install"]
+AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
+
+[origin]
+url="https://github.com/AdaCore/aunit/archive/v21.0.0.zip"
+hashes=['sha512:d6561681375167650aa357b9263a9c810093be8fc4d3fabfd1811dffa81d2b84b7065812bd4ba5a86988b1dc30549e9d72a06c64c5c91646929b96cbec5d4fe8']
@@ -0,0 +1,20 @@
+description = "Ada unit test framework"
+name = "aunit"
+version = "22.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["lib/gnat/aunit.gpr"]
+tags=["unit", "test", "unit-test"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+AUNIT_BUILD_MODE = ["Devel", "Install"]
+AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
+
+[origin]
+url="https://github.com/AdaCore/aunit/archive/v22.0.0/aunit-22.0.0.zip"
+hashes=["sha512:cbd7a80ad1e335d53d3a4834d48c9dd2df153bb1110a787a88003443de3ab2839534910103ce0b3ff98dca83e86e97e2bca48d4182acd2af5705ec723f84b66b"]
@@ -0,0 +1,21 @@
+name = "automate"
+description = "Ada finite-state machine generator"
+version = "2.2.2"
+tags = ["automaton", "generator"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/Automate"
+
+licenses = "CECILL-2.1"
+
+executables = ["genauto"]
+
+[gpr-set-externals.'case(os)']
+macos   = { GENAUTO_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
+
+[origin]
+commit = "5ce97f6cc06d5a370b9aaf40c996f868f7d73e61"
+url = "git+https://github.com/Blady-Com/Automate.git"
+
@@ -0,0 +1,15 @@
+name = "avltrees"
+description = "Threaded AVL trees library for Ada"
+version = "0.1.0"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "LGPL-3.0-or-later"
+website = "https://github.com/lkujaw/avltrees"
+tags = ["ada1987", "data-structures"]
+
+[origin]
+commit = "81b318c6c9ba2ee500d0acc92a122bb8fe58f5ff"
+url = "git+https://github.com/lkujaw/avltrees.git"
+
@@ -1,14 +0,0 @@
-[general]
-description = "Ada Web Server"
-long-description = "This is a placeholder for an unsupported crate. Please contact the maintainer if you want to take over packaging and maintenance of this crate."
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-licenses = []
-
-[0]
-origin = "native:libaws"
-# By making it a native package we ensure it does not interfere 
-# with resolution of dependent packages (we will get a hint).
-
-available = false
-# Marked as unavailable until it's properly packaged
@@ -0,0 +1,45 @@
+description = "Ada Web Server"
+website = "https://github.com/adacore/aws"
+name = "aws"
+version = "21.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["install_dir/share/gpr/aws.gpr"]
+tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
+
+# Since the AWS project doesn't build alone with just gprbuild we build and
+# install with the Makefile from post-fetch action.
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
+           "LAL=false", "XMLADA=false", "prefix=install_dir"]
+
+[[depends-on]]
+make = "*"
+xmlada = "~21.0.0"
+gnat = ">=9"
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable"]
+PRJ_BUILD = ["Debug", "Release"]
+PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
+PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
+
+[gpr-set-externals]
+PRJ_LAL="Disabled"
+
+[gpr-set-externals."case(os)".linux]
+PRJ_TARGET = "UNIX"
+TARGET = "x86_64-linux-gnu"
+
+[gpr-set-externals."case(os)".macos]
+PRJ_TARGET = "Darwin"
+
+[gpr-set-externals."case(os)".windows]
+PRJ_TARGET = "Windows_NT"
+
+[origin]
+url= "https://github.com/AdaCore/aws/releases/download/v21.0.0/aws-21.0.0.zip"
+hashes=["sha512:57fddf8f59e39a08822ae2d0640ade3e3e3e9a7c76c06007c7df5a07e3b59cc7c9be001bfaeb10d64db924f343688f6a72deba175315d4d02d913c307070a635"]
@@ -0,0 +1,53 @@
+description = "Ada Web Server"
+website = "https://github.com/adacore/aws"
+name = "aws"
+version = "22.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["install_dir/share/gpr/aws.gpr"]
+tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
+
+# Since the AWS project doesn't build alone with just gprbuild we build and
+# install with the Makefile from post-fetch action.
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
+           "LAL=false", "XMLADA=false", "prefix=install_dir",
+           "PRJ_BUILD=Release"]
+
+[[depends-on]]
+make = "*"
+xmlada = "~22.0.0"
+gnat = ">=9"
+openssl = "*"
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable"]
+PRJ_BUILD = ["Debug", "Release"]
+PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
+PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
+
+[gpr-set-externals]
+PRJ_LAL="Disabled"
+
+[gpr-set-externals."case(os)".linux]
+PRJ_TARGET = "UNIX"
+TARGET = "x86_64-linux-gnu"
+SOCKET = "openssl"
+
+[gpr-set-externals."case(os)".macos]
+PRJ_TARGET = "Darwin"
+SOCKET = "openssl"
+
+[gpr-set-externals."case(os)".windows]
+PRJ_TARGET = "Windows_NT"
+
+[origin]
+url= "https://github.com/AdaCore/aws/archive/v22.0.0/aws-22.0.0.zip"
+hashes=["sha512:0fa3695d3d45ae05f03312cc71390547cfffd1cc966fd147037dd2d927e5709fbc193ec9dbbe4a0b2130779521a0baee4a3736f4f8b7f93a15448a0c96401c3d"]
+
@@ -0,0 +1,21 @@
+description = "XMPP client library in Ada"
+name = "axmpp"
+version = "1.0.0"
+licenses = "BSD-3-Clause"
+authors = ["Alexander Basov", "Vadim Godunko"]
+website = "https://github.com/coopht/axmpp"
+maintainers = ["Alexander Basov <coopht@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["coopht", "reznikmm"]
+
+project-files = ["gnat/axmpp.gpr"]
+tags = ["xmpp", "jabber", "messaging"]
+
+[[depends-on]]
+libgnutls = "any"
+matreshka_league = "any"
+
+
+[origin]
+commit = "9133a13efb7d453dcda7ca0a952e056a0a87c73b"
+url = "git+https://github.com/coopht/axmpp.git"
+
@@ -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"
+
@@ -0,0 +1,19 @@
+name = "b2ssum"
+description = "BLAKE2s file hash utility"
+version = "0.1.3"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "MIT-0"
+website = "https://github.com/lkujaw/blake2s"
+tags = ["ada1995", "hash", "blake2", "blake2s"]
+project-files = ["b2ssum.gpr"]
+executables = ["b2ssum"]
+
+[[depends-on]]
+blake2s = "~0.1.3"
+
+[origin]
+commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
+url = "git+https://github.com/lkujaw/blake2s.git"
@@ -1,15 +0,0 @@
-[general]
-description = "Generate various types of bar codes on different output formats"
-licenses = ["MIT"]
-authors = ["Gautier de Montmollin"]
-maintainers = ["fabien.chouteau@gmail.com"]
-maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
-
-project-files = ["bar_codes_gnat.gpr"]
-
-    [general.gpr-externals]
-    Build_Mode = ["Debug", "Fast", "Check_2005", "Check_Style"]
-
-['2.0.0']
-origin = "https://sourceforge.net/projects/ada-bar-codes/files/abc_002.zip"
-origin-hashes = ["sha512:d2aec096122c0b3b2c78a78df03b8ecc62216724b4d6f37b24f36df32244792202986b1f384db68db121693c1c5a761e11d129f6f9b2812c9cf25610033b4054"]
@@ -0,0 +1,15 @@
+description = "Generate various types of bar codes on different output formats"
+name = "bar_codes"
+version = "2.0.0"
+authors = ["Gautier de Montmollin"]
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
+project-files = ["bar_codes_gnat.gpr"]
+
+[gpr-externals]
+Build_Mode = ["Debug", "Fast", "Check_2005", "Check_Style"]
+
+[origin]
+url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_002.zip"
+hashes = ["sha512:d2aec096122c0b3b2c78a78df03b8ecc62216724b4d6f37b24f36df32244792202986b1f384db68db121693c1c5a761e11d129f6f9b2812c9cf25610033b4054"]
@@ -1,10 +0,0 @@
-["0.1.0"]
-origin = "https://github.com/Componolit/basalt/archive/v0.1.0.tar.gz"
-origin-hashes = ["sha512:715cb1b41be4425b90adc5404fd4193d97c74980245ef75b09f5986bbe84310d2c90771273076ff70785b2098a582ceabb51a0380857576c0e6614f05df152de"]
-
-[general]
-description = "Collection of formally verified building blocks"
-maintainers = ["kliemann@componolit.com"]
-maintainers-logins = ["jklmnn"]
-licenses = ["AGPL 3.0"]
-
@@ -0,0 +1,10 @@
+description = "Collection of formally verified building blocks"
+name = "basalt"
+version = "0.1.0"
+licenses = "AGPL-3.0-only"
+maintainers = ["kliemann@componolit.com"]
+maintainers-logins = ["jklmnn"]
+
+[origin]
+url = "https://github.com/Componolit/basalt/archive/v0.1.0.tar.gz"
+hashes = ["sha512:715cb1b41be4425b90adc5404fd4193d97c74980245ef75b09f5986bbe84310d2c90771273076ff70785b2098a582ceabb51a0380857576c0e6614f05df152de"]
@@ -0,0 +1,10 @@
+description = "Collection of formally verified building blocks"
+name = "basalt"
+version = "0.2.0"
+licenses = "AGPL-3.0-only"
+maintainers = ["kliemann@componolit.com"]
+maintainers-logins = ["jklmnn"]
+
+[origin]
+url = "https://github.com/Componolit/basalt/archive/v0.2.0.tar.gz"
+hashes = ["sha512:ecc31fff5a413913a7d6f3ae67107c465bf39772497f15fd7444affa9a7816c4fd7808806ee9630ad4703f1a11613bed1d802f10435d1a850154342549b7dabc"]
@@ -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"
+
@@ -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"
+
@@ -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"
+
@@ -0,0 +1,22 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.1.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[[depends-on]]
+atomic = "*"
+gnat = ">=10"
+
+[origin]
+commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+
@@ -0,0 +1,22 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.2.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[[depends-on]]
+atomic = "~0.3"
+gnat = ">=10"
+
+[origin]
+commit = "48694afc6b4e088a33592e1e19243fdd1bb38ad7"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+
@@ -0,0 +1,22 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.3.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[[depends-on]]
+atomic = "~0.4"
+gnat = ">=10"
+
+[origin]
+commit = "a47e12a4d59b65de1f68b63bebaa6993dbe78105"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+
@@ -0,0 +1,15 @@
+name = "blake2s"
+description = "SPARK83 implementation of the BLAKE2s hash function"
+version = "0.1.0"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "MIT-0"
+website = "https://github.com/lkujaw/blake2s"
+tags = ["spark", "hash", "blake2", "blake2s"]
+
+[origin]
+commit = "822db20dbfd078f05d2d2048bf6af24c65fc37fc"
+url = "git+https://github.com/lkujaw/blake2s.git"
+
@@ -0,0 +1,15 @@
+name = "blake2s"
+description = "SPARK83 implementation of the BLAKE2s hash function"
+version = "0.1.1"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "MIT-0"
+website = "https://github.com/lkujaw/blake2s"
+tags = ["ada1987", "spark", "hash", "blake2", "blake2s"]
+
+[origin]
+commit = "dfd349378dca21ca354a6f6858ab9d623c7a949e"
+url = "git+https://github.com/lkujaw/blake2s.git"
+
@@ -0,0 +1,14 @@
+name = "blake2s"
+description = "SPARK83 implementation of the BLAKE2s hash function"
+version = "0.1.3"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "MIT-0"
+website = "https://github.com/lkujaw/blake2s"
+tags = ["ada1987", "spark", "hash", "blake2", "blake2s"]
+
+[origin]
+commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
+url = "git+https://github.com/lkujaw/blake2s.git"
@@ -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"
+
@@ -1,10 +0,0 @@
-[general]
-description = "Convenience subprograms to interact with C strings"
-licenses = ["LGPL 3.0"]
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-['1.0.0']
-origin = "https://github.com/mosteo/cstrings/archive/v1.0.tar.gz"
-origin-hashes = ["sha512:cf45f76d1f86b2389885f9235af9319130a9a5a1717000db84194fbaaa04e8b033e2cd4c173db8b922af3ee5150a1d7334f531074e215d1a911d3ffc38b85e96"]
@@ -0,0 +1,11 @@
+description = "Convenience subprograms to interact with C strings"
+name = "c_strings"
+version = "1.0.0"
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[origin]
+url = "https://github.com/mosteo/cstrings/archive/v1.0.tar.gz"
+hashes = ["sha512:cf45f76d1f86b2389885f9235af9319130a9a5a1717000db84194fbaaa04e8b033e2cd4c173db8b922af3ee5150a1d7334f531074e215d1a911d3ffc38b85e96"]
@@ -0,0 +1,24 @@
+name = "canberra_ada"
+description = "Ada 2012 bindings for libcanberra"
+version = "2.0.0"
+website = "https://github.com/onox/canberra-ada"
+licenses = "Apache-2.0"
+tags = ["canberra", "audio", "sound"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[available.'case(os)']
+linux = true
+'...' = false
+
+[[depends-on]]
+libcanberra = "~0.30.0"
+
+[origin]
+hashes = [
+"sha512:3de867fe19d8547c2598de8b063137f1fcde27787cfe2e8a1e59103d83f187efea4a6a269f69cb14e2eb3f8c7b182fb6a896e6ece77dd97b1dea659203a9ff5e",
+]
+url = "https://github.com/onox/canberra-ada/releases/download/v2.0.0/canberra_ada-2.0.0.tgz"
+
@@ -0,0 +1,21 @@
+name = "canberra_ada"
+description = "Ada 2012 bindings for libcanberra"
+version = "2.0.1"
+website = "https://github.com/onox/canberra-ada"
+licenses = "Apache-2.0"
+tags = ["canberra", "audio", "sound"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[available.'case(os)']
+linux = true
+'...' = false
+
+[[depends-on]]
+libcanberra = "~0.30.0"
+
+[origin]
+commit = "d70ce23f945535f68be6af4b3fb73d58f57b1d4c"
+url = "git+https://github.com/onox/canberra-ada.git"
--- a/Show More
+++ b/Show More