fix: improper syntax that will be rejected post-2.1 (#1417) (#1445)

We had a missing check in index loading logic that should have rejected an unexpected array.

.github/CODEOWNERS

@@ -0,0 +1 @@
+.github/ @alire-project/alire-developers

.github/TESTING

@@ -0,0 +1,10 @@
+The name of the branch plays a role in the tests run when changes are
+submitted. For this reason, when modifying the workflows in ./.github, if you
+want to test them prior to submission, the PR must be tested against a branch that
+exists also in the `alire-index-checks` repo, e.g., 'stable-1.2' or 'devel-1.2'
+
+Normally you'll want to use the latest stable or devel branch.
+
+E.g., if you modify a workflow in the `alire-index` repo and want to test it
+privately, you can do so in your own account, but using the same `stable-x.x`
+base branch for your private PR.

.github/workflows/authorship.yml

@@ -0,0 +1,38 @@
+name: Check Author
+
+env:
+  CHECKS_ORG: alire-project
+  CHECKS_REPO: alire-index-checks
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+      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.
+
+    - 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 nightly `alr`
+      uses: alire-project/setup-alire@v2
+      with:
+        version: nightly
+        toolchain: --disable-assistant
+
+    - name: Test authorship
+      run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
+      shell: bash

.github/workflows/build-distros.yml

@@ -0,0 +1,70 @@
+# Please read the TESTING file before modifying this file
+
+name: Build Crate (Distro toolchain)
+# Build the crate on the platforms with a supported package manager
+# and using the distro-supplied GNAT compiler (with Alire's FSF fallback).
+
+env:
+  CHECKS_ORG: alire-project
+  CHECKS_REPO: alire-index-checks
+  ALR_VERSION: 1.2.2
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+
+  build:
+    name: ${{ matrix.tag }}
+
+    runs-on: ubuntu-latest
+
+    strategy:
+      fail-fast: false
+      matrix:
+        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
+
+    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: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v2
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+        version: ${{env.ALR_VERSION}}
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v2
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+        branch: master
+
+    - name: Test crate (${{matrix.tag}})
+      uses: mosteo-actions/docker-run@v1
+      with:
+        image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
+        command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr

.github/workflows/build-native-master.yml

@@ -0,0 +1,62 @@
+# Please read the TESTING file before modifying this file
+
+# When the same index version is used by various stable and devel `alr`
+# versions, we want to make sure all of them understand the index properly.
+# Besides, there are
+
+name: Build Crate (alr dev)
+# Build the 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:
+      fail-fast: false
+      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}}
+
+    - name: Set up devel `alr`
+      uses: alire-project/setup-alire@v2
+      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\AppData\Local\alire\cache\msys64\usr\bin\pacman --noconfirm -S tar
+
+    - name: Test crate
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      shell: bash

.github/workflows/build-native.yml

@@ -0,0 +1,68 @@
+# Please read the TESTING file before modifying this file
+
+name: Build Crate (Alire toolchain)
+# Build the crate with a native toolchain from Alire
+
+env:
+  CHECKS_ORG: alire-project
+  CHECKS_REPO: alire-index-checks
+  ALR_VERSION: 1.2.2
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+
+  build:
+    name: ${{ matrix.os }}
+
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      fail-fast: false
+      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}}
+
+    # 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@v2
+      with:
+        version: ${{env.ALR_VERSION}}
+
+    # 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@v2
+      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

.github/workflows/build-ports.yml

@@ -0,0 +1,62 @@
+# Please read the TESTING file before modifying this file
+
+# Specific workflow for MacPorts, as we need to disable Brew for this to work
+# so it's difficult to use the other standard workflows.
+
+name: Build Crate (MacPorts)
+# Build the 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:
+      fail-fast: false
+      matrix:
+        os:
+          - macos-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}}
+
+    - name: Set up devel `alr`
+      uses: alire-project/setup-alire@v2
+      with:
+        branch: 'master'
+
+    - name: Disable Homebrew
+      run: rm -f $(which brew)
+      shell: bash
+
+    - name: Install Ports
+      uses: melusina-org/setup-macports@v1
+
+    - name: Test crate
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      shell: bash

.github/workflows/check-index.yml

@@ -0,0 +1,30 @@
+name: Check Index
+on: pull_request
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master
+
+    - name: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v2
+      with:
+        version: 1.2.2
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v2
+      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 search --crates

.github/workflows/cleaner.yml

@@ -0,0 +1,19 @@
+name: 'Close stale PRs'
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: '11 1 * * *'
+
+jobs:
+  stale:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+    steps:
+      - uses: actions/stale@v7
+        with:
+          debug-only : false # Set to true to work in dry-run mode
+          stale-pr-message: 'This PR is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 30 days.'
+          close-pr-message: 'This PR was closed because it has been stalled for 90 days with no activity.'
+          days-before-stale: 60
+          days-before-close: 30

.github/workflows/diff-release.yml

@@ -0,0 +1,56 @@
+# 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
+  ALR_VERSION: 1.2.2
+
+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@v2
+      with:
+        toolchain: --disable-assistant # We don't need the compiler
+        version: ${{env.ALR_VERSION}}
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v2
+      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

.gitmodules

@@ -4,3 +4,6 @@
 [submodule "deps/simple_logging"]
 	path = deps/simple_logging
 	url = https://github.com/alire-project/simple_logging.git
+[submodule "deps/aaa"]
+	path = deps/aaa
+	url = https://github.com/mosteo/aaa.git

CHANGELOG.md

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

CONTRIBUTING.md

@@ -0,0 +1,10 @@
+Thanks for your interest in the Alire project. Please find more information at
+one of these sources:
+
+- 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
+
+Concretely, the documentation about submission of releases is found at 
+
+- https://alire.ada.dev/docs/#publishing-your-projects-in-alire

POLICY.md

@@ -0,0 +1,17 @@
+# Crate ownership
+
+Because Alire comes late in the history of the Ada and SPARK languages we will not apply a strict first come, first served policy on crates name. At least for the first months or years, we allow ourselves a form of moderation on the projects/crates published in the index with the following goals:
+
+- Long term support: Owner and maintainers of a project are most likely in the best position to maintain the corresponding Alire crate.
+- Respect the ownership of projects: Owner and maintainers of a project deserve to be credited for their work.
+- Avoid user confusion on the name of crates: Crate names should be clear with regards to the project they contain. For instance, do not try to impersonate existing crates or projects.
+
+To that extent we will potentially reject a create or transfer the ownership of a crate. 
+
+We count on the goodwill of the contributors to help us conduct this moderation in a kind and courteous way. Do not submit a crate to the Alire index if you are not willing to comply with this policy.
+
+As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy. 
+
+# Release immutability
+
+A release (identified by a unique semantic version) is protected against changes by its integrity hashes. If errors are identified post-publication, a release could be withdrawn, or superseded by a new one (using the appropriate major/minor/patch/build version changes), but not modified.

README.md

@@ -1,7 +1,13 @@
-# Alire Catalog
+# Alire Community Index
 
-[![Run Status](https://api.shippable.com/projects/5ac50b342b913807002b0789/badge?branch=master)](https://app.shippable.com/github/alire-project/alire)
+[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Alire)
 
-This repository contains the supporting catalog for the alr tool.
+This repository hosts the official community-maintained index to be used with the `alr` tool. 
 
-Please visit https://github.com/alire-project/alr to download alr.
+Please visit https://github.com/alire-project/alire to download `alr`.
+
+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). 
+
+To report an issue, open it at https://github.com/alire-project/alire/issues

alire.gpr

@@ -1,30 +0,0 @@
-with "semantic_versioning";
-with "simple_logging";
-
-project Alire is
-
-   for Source_Dirs use ("index", "index/**", "src");
-   for Object_Dir use "obj";
-
-   package Pretty_Printer is
-      for Switches ("ada") use ("--no-separate-is");
-   end Pretty_Printer;
-
-   package Builder is
-      for Switches ("ada") use ("-s", "-m", "-j0", "-g");
-   end Builder;
-
-   package Compiler is
-      for Switches ("ada") use ("-gnatwa", "-gnatVa", "-g", "-O2", "-gnat12",
-                                "-gnato", "-fstack-check", "-gnata", "-fPIC");
-   end Compiler;
-
-   package Binder is
-      for Switches ("ada") use ("-Es");
-   end Binder;
-
-   package Ide is
-      for Vcs_Kind use "Git";
-   end Ide;
-
-end Alire;

alire_env.gpr

@@ -1,8 +0,0 @@
-aggregate project Alire_Env is
-
-   for Project_Path use ("deps/semver",
-                         "deps/simple_logging");
-
-   for Project_Files use ("alire.gpr");
-
-end Alire_Env;

future/1.2.2/libstdcpp/libstdcpp-external.toml

@@ -0,0 +1,8 @@
+name = "libstdcpp"
+description = "libraries for statically linking with c++ - development files"
+maintainers = ["Jan <janv@uic.edu>"]
+maintainers-logins = ["janverschelde"]
+[[external]]
+kind = "system"
+   [external.origin."case(distribution)"]
+   "fedora" = ["libstdc++-static"]

future/README.md

@@ -0,0 +1,9 @@
+Crates that require some future feature or bugfix.
+
+The versions under this folder are future index versions.
+
+## Future crates
+
+- `libstdcpp`: requires a bugfix in alr 2.0 for package names in rpm-based
+  distros that contain characters that have special meanings in regexes (like
+the '+' in `libstdc++-static`

index/aa/aaa/aaa-0.1.0.toml

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

index/aa/aaa/aaa-0.2.1.toml

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

index/aa/aaa/aaa-0.2.3.toml

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

index/aa/aaa/aaa-0.2.4.toml

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

index/aa/aaa/aaa-0.2.5.toml

@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.5"
+description = "Alex's Ada Assortment (of miscellaneous utilities)"
+
+long-description = """
+Alex's Ada Assortment of Utilities
+
+- Text formatting (paragraphs, tables).
+- Indefinite containers.
+- Enumeration validity/conversions of string images.
+- On-demand stack backtraces.
+- String containers and utilities.
+- Simple subprocess spawning.
+- Write-through minimal cache for objects stored in files
+"""
+
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+tags = ["miscellanea", "utility"]
+website = "https://github.com/mosteo/aaa"
+
+[origin]
+commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
+url = "git+https://github.com/mosteo/aaa.git"
+

index/aa/aaa/aaa-0.2.6.toml

@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.6"
+description = "Alex's Ada Assortment (of miscellaneous utilities)"
+
+long-description = """
+Alex's Ada Assortment of Utilities
+
+- Text formatting (paragraphs, tables).
+- Indefinite containers.
+- Enumeration validity/conversions of string images.
+- On-demand stack backtraces.
+- String containers and utilities.
+- Simple subprocess spawning.
+- Write-through minimal cache for objects stored in files
+"""
+
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+tags = ["miscellanea", "utility"]
+website = "https://github.com/mosteo/aaa"
+
+[origin]
+commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
+url = "git+https://github.com/mosteo/aaa.git"
+

index/ad/ada_fuse/ada_fuse-1.0.0.toml

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

index/ad/ada_fuse/ada_fuse-1.0.1.toml

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

index/ad/ada_language_server/ada_language_server-22.0.0.toml

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

index/ad/ada_language_server/ada_language_server-23.0.0.toml

@@ -0,0 +1,33 @@
+description = "An implementation of the Microsoft's Language Server Protocol for Ada"
+name = "ada_language_server"
+version = "23.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"]
+
+[configuration]
+disabled = true
+
+[environment]
+ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
+
+# Drop libgpr2 dependency (not used in the code for now).
+[[actions]]
+type = "post-fetch"
+command = ["sed", "-i", "-e/gpr2/s/^/--  /", "gnat/lsp_server.gpr"]
+
+[[depends-on]]
+gnatcoll         = "23.0.0"
+libadalang       = "23.0.0"
+libadalang_tools = "23.0.0"
+libgnatdoc       = "23.0.0"
+vss              = "23.0.0"
+
+[origin]
+archive-name = "ada_language_server-23.0.0.tar.gz"
+url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v23.0.0.tar.gz"
+hashes = ["sha512:66f2e7fb138ae4b474e1c024e20292e76ad644d89236edf032c686939e27478e572b5fff4820d38906ad731a5294ddfd1191941bc84c39cbfe425894691cd23b"]

index/ad/ada_lua/ada_lua-0.1.0.toml

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

index/ad/ada_pretty/ada_pretty-1.0.0.toml

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

index/ad/ada_toml/ada_toml-0.1.0.toml

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

index/ad/ada_toml/ada_toml-0.2.0.toml

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

index/ad/ada_toml/ada_toml-0.3.0.toml

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

index/ad/ada_toml/ada_toml-0.4.0.toml

@@ -0,0 +1,107 @@
+description = "TOML parser for Ada"
+name = "ada_toml"
+version = "0.4.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"]
+
+[origin]
+url = "https://github.com/pmderodat/ada-toml/archive/v0.4.tar.gz"
+hashes = ["sha512:3f3dd0de717da00a7dfd9982bb19bfb2dd372e02c23deca91329fa11fcfd077b8292e48a2fcfd23d15aef1e8ee9542cda286af1bbb2d6ac1325f7dfe91e0808c"]

index/ad/ada_voxel_space_demo/ada_voxel_space_demo-1.0.0.toml

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

index/ad/ada_voxel_space_demo/ada_voxel_space_demo-1.0.1.toml

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

index/ad/adabots/adabots-1.0.0.toml

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

index/ad/adabots/adabots-1.0.1.toml

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

index/ad/adabots/adabots-1.1.0.toml

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

index/ad/adabots/adabots-1.2.0.toml

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

index/ad/adabots/adabots-1.3.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.3.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 = "^23.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 = "944adbafc42efda42580914c0e6401c8ca75612c"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.4.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.4.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 = "^23.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 = "b9152d12fd8d300675a9ef890579e248d9103e73"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.5.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.5.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 = "^23.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 = "9e7476c4179c521af72968f78ef0001e7edd4b6e"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.6.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.6.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]]
+utilada_curl = "^2.5.0"
+
+[[depends-on]]
+json = "^5.0.3"
+
+[origin]
+commit = "7751e12fa799497aa77e9bd498c84c3c5debedf7"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.7.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.7.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]]
+utilada_curl = "^2.5.0"
+
+[[depends-on]]
+json = "^5.0.3"
+
+[origin]
+commit = "4c954ded573cf4da27660541422c5058b5404e40"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.8.0.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.8.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]]
+utilada_curl = "^2.5.0"
+
+[[depends-on]]
+json = "^5.0.3"
+
+[origin]
+commit = "b67ad2b7b9120382b358066eb16ad515a0cb3e35"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adabots/adabots-1.8.1.toml

@@ -0,0 +1,22 @@
+name = "adabots"
+description = "Learn Ada by programming Minecraft robots"
+version = "1.8.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]]
+utilada_curl = "^2.5.0"
+
+[[depends-on]]
+json = "^5.0.3"
+
+[origin]
+commit = "d1ac6d8bdb748d7e5422d9e589cc5227ceae1308"
+url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+

index/ad/adacl/adacl-5.10.2.toml

@@ -0,0 +1,54 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the following functionality is migrated to Ada 2022: 
+
+* getopt commandline argument parser
+* string utilities
+* trace utility
+* reference counted smart pointer
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and terstsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.10.2"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "command-line", "trace", "logging", "string", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "Yes"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+[[actions]]
+type                        = "test"
+command                     = ["alr", "run"]
+directory                   = "test"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:1761f656b6299c7891c1711ef8c202a0b7feae3e213ec5debc7c3103d1ca6671",
+"sha512:bc9fe050eb19cd3e790bba9cf397d6719174fa619fe9ec37239506ac48843594e96013dcdc493b9be349085420a4d8e823eedd05b518cc8777bd65117de4eeac",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.10.2.tgz"
+

index/ad/adacl/adacl-5.11.0.toml

@@ -0,0 +1,55 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the following functionality is migrated to Ada 2022: 
+
+* getopt commandline argument parser
+* string utilities
+* trace utility
+* reference counted smart pointer
+* AUnit compatible informative asserts
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and terstsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.11.0"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "Yes"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+[[actions]]
+type                        = "test"
+command                     = ["alr", "run"]
+directory                   = "test"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:7c6cc9fae92f76612da81c8cca7f23aa1c6df65205b8228d7d86ef101dae995e",
+"sha512:97ecd23ae5da5de7be5899a727333bfd2f67c272f628f7e80d5b2dbf4ca6734ded1d44dafe5ec8796245f4646201d31b16ed132d5f9e6e946766e9c452fe97ee",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.11.0.tgz"
+

index/ad/adacl/adacl-5.12.0.toml

@@ -0,0 +1,55 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the following functionality is migrated to Ada 2022: 
+
+* getopt commandline argument parser
+* string utilities
+* trace utility
+* reference counted smart pointer
+* AUnit compatible informative asserts
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.12.0"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "Yes"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+[[actions]]
+type                        = "test"
+command                     = ["alr", "run"]
+directory                   = "test"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:1c234e74c42b3023082b59974d959c4bb94f21ea02332db6b4a008016dcb2ac1",
+"sha512:b9ba3c03a3fe03e6accf0559b9f2852205fa4cfea867f8607435ee4f85e2a5e4669a75a02fe6ccd44c990ebaad7fa1e17f23f23ceb42d9a41c6038f3c3202f51",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.12.0.tgz"
+

index/ad/adacl/adacl-5.13.1.toml

@@ -0,0 +1,60 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the following functionality is migrated to Ada 2022: 
+
+* Getopt commandline argument parser
+* String utilities
+* Trace utility
+* Smart pointer
+  * Reference counted
+  * Unique pointer
+  * Shared pointer 
+* AUnit compatible informative asserts
+
+See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.13.1"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "Yes"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+[[actions]]
+type                        = "test"
+command                     = ["alr", "run"]
+directory                   = "test"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:1885411ea7cc34b5209042fb2a6603a868ba1960d1bcc5fb7e080f77169d3ecc",
+"sha512:23c60fa315303c201440c678bced549b01ba4956cea8720ef3080da01ae1c88303a22e8cc73bf5287c7998a5111030f6aab697538c7d503950fd1acef2951fc6",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.13.1.tgz"
+

index/ad/adacl/adacl-5.14.1.toml

@@ -0,0 +1,63 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the following functionality is migrated to Ada 2022:
+
+* Getopt commandline argument parser
+* String utilities
+* Trace utility
+* Smart pointer
+  * Reference counted
+  * Unique pointer
+  * Shared pointer
+* AUnit compatible informative asserts
+    * generic  for arrays types
+    * generic  for discrete types
+    * generic  for access types
+
+See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.14.1"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "No"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+[[actions]]
+type                        = "test"
+command                     = ["alr", "run"]
+directory                   = "test"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:1dbfe8a30ed63f212c124b7f48779035900d9cf681dbe68e972ca4a976b10978",
+"sha512:ae85814739c2511066ce69132fb8d5a7cc4f60915c7007b3d2dd3f465887afffe27e3acd572140adc7f2f7da6e8bcbb579933c9e19572c062ffacc8c26b8e710",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.14.1.tgz"
+

index/ad/adacl/adacl-5.15.1.toml

@@ -0,0 +1,63 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the following functionality is migrated to Ada 2022:
+
+* Getopt commandline argument parser
+* String utilities
+* Trace utility
+* Smart pointer
+  * Reference counted
+  * Unique pointer
+  * Shared pointer
+* AUnit compatible informative asserts
+    * generic  for arrays types
+    * generic  for discrete types
+    * generic  for access types
+
+See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.15.1"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "No"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+[[actions]]
+type                        = "test"
+command                     = ["alr", "run"]
+directory                   = "test"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:e7c1515b7e3f32706c8b3eb2c577d78bba4cbc767b037a9a660c98d0311651f0",
+"sha512:2a2edad6b848fdca6c752a7b5cd2fc9248ebf67bd02e98d32178aa62cb2760a72e8062d4398f6ed2edbf7d278a3fde0a482f26e78ba53c48b3d995d81168964c",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.15.1.tgz"
+

index/ad/adacl/adacl-5.9.4.toml

@@ -0,0 +1,19 @@
+name                = "adacl"
+description         = "Ada Class Library"
+version             = "5.9.4"
+licenses            = "GPL-3.0-or-later"
+authors             = ["Martin Krischik"]
+maintainers         = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins  = ["krischik"]
+website             = "https://sourceforge.net/projects/adacl/"
+tags                = ["library", "commandline", "trace"]
+
+[build-switches]
+
+[origin]
+hashes = [
+"sha256:0e3709926ca7d90aeec4dcefe3e6a2ba7fc7f8993d119e21b15866da848eb647",
+"sha512:38116cb6be784a351688c93408c473a19009c8b44ff77b954230d8e6d80fd3d9d6b190efe9c4d9af6c1689749890ae72b16886b0b2d05a405e40c04dc3a9e09e",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.9.4.tgz"
+

index/ad/adacl/adacl-5.9.8.toml

@@ -0,0 +1,36 @@
+name                = "adacl"
+description         = "Ada Class Library"
+long-description    = """
+A class library for Ada for those who like OO programming. Currently the
+commandline argument parser, the string utilities and the trace utility has
+been ported from the old Ada95 code.
+
+Development versions available with:
+
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+"""
+version             = "5.9.8"
+licenses            = "GPL-3.0-or-later"
+authors             = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers         = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins  = ["krischik"]
+website             = "https://sourceforge.net/projects/adacl/"
+tags                = ["library", "commandline", "trace", "ada2022"]
+
+[build-switches]
+
+[[depends-on]]
+gnat                = ">=12 & <2000"
+# gnatdoc             = "<=23.0.0"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:d8361cca85d3886a535bcb59daaeb6ffa6a3d15b7c22b2032e3ca6282916790b",
+"sha512:091be7918f6e367324c392e38f9591b8589b3ff75fc57f17784a34eefe7d8743e2ae0ecc180bdddc6e2841c66c89e05b9bc075942a449fc901dee8850719ea38",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.9.8.tgz"
+

index/ad/adacl/adacl-5.9.9.toml

@@ -0,0 +1,45 @@
+name                        = "adacl"
+description                 = "Ada Class Library"
+long-description            = """A class library for Ada for those who like OO programming.
+
+Currently the commandline argument parser, the string utilities and the trace utility has
+been ported from the old Ada95 code.
+
+Development versions and testsuite available using the follwowing index:
+
+```sh
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+```
+
+Source code and terstsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
+"""
+version                     = "5.9.9"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/adacl/"
+tags                        = ["library", "commandline", "trace", "ada2022"]
+
+[build-switches]
+development.runtime_checks  = "Overflow"
+release.runtime_checks      = "Default"
+validation.runtime_checks   = "Everything"
+development.contracts       = "Yes"
+release.contracts           = "Yes"
+validation.contracts        = "Yes"
+
+[[depends-on]]
+gnat                        = ">=12 & <2000"
+
+# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
+# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
+# vim: set spell spelllang=en_gb :
+
+[origin]
+hashes = [
+"sha256:fb6d502705520f48cc6f01fe199cb7273d9c839b1e42bb7793ef5b4e08b10f72",
+"sha512:42dfbdcc9e848a5d1dfd34f55f1fc3e480c7f6e012a200f7dbe913b6ad450d1513ee1d15532911c0be28a9e8743fc4b5ca63a91df4b0b6dea328784481c16532",
+]
+url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.9.9.tgz"
+

index/ad/adasat/adasat-24.0.0.toml

@@ -0,0 +1,24 @@
+name = "adasat"
+description = "Implementation of a DPLL-based SAT solver in Ada."
+long-description = """
+Main features:
+
+ - [X] Conflict analysis and backjumping
+ - [X] Two-watched literals scheme
+ - [X] Built-in support for At-Most-One constraints
+ - [X] Custom theories
+"""
+version = "24.0.0"
+website = "https://github.com/AdaCore/adasat"
+authors = ["AdaCore"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["chouteau", "roldak"]
+tags = ["sat", "solver", "theories"]
+
+[configuration]
+disabled = true
+
+[origin]
+url="https://github.com/adacore/adasat/archive/v24.0.0/adasat-24.0.0.zip"
+hashes=['sha512:46db8c9a613e49551a7cb35593320b5a4eb11309c0d0b112f6ef391ac5ccb1c8b234906535f4010d2b3a563740a031b0ec5da6c2318758439bb43798ecaf83fd']

index/ad/adayaml/adayaml-0.2.0.toml

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

index/ad/adayaml/adayaml-0.3.0.toml

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

index/ad/adl_middleware/adl_middleware-0.1.0.toml

@@ -0,0 +1,30 @@
+description = "Middleware layer of the Ada Drivers Library project"
+long-description = '''# adl_middleware
+
+Middleware layer of the Ada Drivers Library project.
+
+This crate is a snapshot of the `middleware` of [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
+
+Any bug report, issue, contribution must be adressed to the [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
+
+'''
+
+name = "adl_middleware"
+version = "0.1.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"
+

index/ad/adl_middleware/adl_middleware-0.1.1.toml

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

index/ad/adl_middleware/adl_middleware-0.2.0.toml

@@ -0,0 +1,38 @@
+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.2.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.3.0"
+
+[build-switches]
+"*".style_checks = "no"
+
+[configuration.variables]
+Max_Mount_Points = {type = "integer", first = 1, default = 2}
+Max_Mount_Name_Length = {type = "integer", first = 1, default = 128}
+Max_Path_Length = {type = "integer", first = 1, default = 1024}
+
+[origin]
+commit = "623c69130b33accb028f94ad43fd911990c1181d"
+url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
+

index/ad/admpfr/admpfr-4.1.0+20220920.toml

@@ -0,0 +1,26 @@
+name = "admpfr"
+version = "4.1.0+20220920"
+
+description = "Ada bindings for MPFR"
+website = "https://github.com/thvnx/admpfr"
+tags = ["mpfr", "floating-point", "bindings"]
+
+licenses = "GPL-3.0-only"
+
+authors = ["Laurent Thévenoux"]
+maintainers = ["Laurent Thévenoux <laurent@thevenoux.net>"]
+maintainers-logins = ["thvnx"]
+
+[available.'case(os)']
+linux   = true
+macos   = true
+windows = true
+'...'   = false
+
+[[depends-on]]
+gnat    = ">=12 & <2000"
+libmpfr = "^4.1.0"
+
+[origin]
+url = "https://github.com/thvnx/admpfr/archive/refs/tags/4.1.0+20220920.tar.gz"
+hashes = ["sha512:4c55f40a4180094255b278dc3aec1c62c897918207985a467198a297ca62ba1d1b41a6a8897e859f7b9b4c40d2092c97413ddbf356bb47adc561229ef2326502"]

index/ad/ado/ado-2.0.0.toml

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

index/ad/ado/ado-2.3.0.toml

@@ -0,0 +1,61 @@
+description = "Ada Database Objects (Core library)"
+tags = ["database", "uml", "sql"]
+name = "ado"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/ado.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+Ada Database Objects is an Ada05 library that provides
+object relational mapping to access a database in Ada05.
+The library supports Postgresql, MySQL, SQLite as databases.
+Most of the concepts developped for ADO come from the Java Hibernate ORM.
+
+The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
+for the implementation.  It provides a database driver for [Postgresql](https://www.postgresql.org/),
+[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/).  The ORM helps your
+application by providing a mapping of your database tables directly in the target programming
+language: Ada05 in our case.  The development process is the following:
+
+  * You design your database model either using a UML tool or by writing a YAML or XML description,
+  * You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
+  * You generate the SQL database tables by using the same tool,
+  * You write your application on top of the generated code that gives you direct and simplified access to your database.
+
+![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
+
+You need at least one of these databases (or all of then).  The configure script will now
+fail if no supported database was found.  Check the [Database Drivers](#database-drivers)
+section to install them and run the configure again after the installation.
+
+# Documentation
+
+  * [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
+  * [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
+
+"""
+
+[[depends-on]]
+utilada = "^2.5.0"
+utilada_xml = "^2.5.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado/ado-2.4.0.toml

@@ -0,0 +1,61 @@
+description = "Ada Database Objects (Core library)"
+tags = ["database", "uml", "sql"]
+name = "ado"
+version = "2.4.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/ado.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+Ada Database Objects is an Ada05 library that provides
+object relational mapping to access a database in Ada05.
+The library supports Postgresql, MySQL, SQLite as databases.
+Most of the concepts developped for ADO come from the Java Hibernate ORM.
+
+The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
+for the implementation.  It provides a database driver for [Postgresql](https://www.postgresql.org/),
+[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/).  The ORM helps your
+application by providing a mapping of your database tables directly in the target programming
+language: Ada05 in our case.  The development process is the following:
+
+  * You design your database model either using a UML tool or by writing a YAML or XML description,
+  * You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
+  * You generate the SQL database tables by using the same tool,
+  * You write your application on top of the generated code that gives you direct and simplified access to your database.
+
+![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
+
+You need at least one of these databases (or all of then).  The configure script will now
+fail if no supported database was found.  Check the [Database Drivers](#database-drivers)
+section to install them and run the configure again after the installation.
+
+# Documentation
+
+  * [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
+  * [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
+
+"""
+
+[[depends-on]]
+utilada = "^2.6.0"
+utilada_xml = "^2.6.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_all/ado_all-2.3.0.toml

@@ -0,0 +1,44 @@
+description = "Ada Database Objects (All drivers)"
+tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
+name = "ado_all"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/all/ado_all.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the MySQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado_postgresql = "^2.3.0"
+ado_sqlite = "^2.3.0"
+ado_mysql = "^2.3.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[[actions]]
+type = "post-fetch"
+command = ["gnatprep", "-DHAVE_MYSQL=True", "-DHAVE_SQLITE=True", "-DHAVE_POSTGRESQL=True",
+  "src/drivers/ado-drivers-initialize.gpb",
+  "src/drivers/ado-drivers-initialize.adb"
+]
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_all/ado_all-2.4.0.toml

@@ -0,0 +1,45 @@
+description = "Ada Database Objects (All drivers)"
+tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
+name = "ado_all"
+version = "2.4.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["ado_all.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This crate give access to the PostgreSQL, MySQL and SQLite drivers for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado_postgresql = "^2.4.0"
+ado_sqlite = "^2.4.0"
+ado_mysql = "^2.4.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[[actions]]
+type = "post-fetch"
+command = ["gnatprep", "-DHAVE_MYSQL=True", "-DHAVE_SQLITE=True", "-DHAVE_POSTGRESQL=True",
+  "../../src/drivers/ado-drivers-initialize.gpb",
+  "../../src/drivers/ado-drivers-initialize.adb"
+]
+
+[origin]
+commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
+subdir = "./.alire/all/"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_mysql/ado_mysql-2.3.0.toml

@@ -0,0 +1,36 @@
+description = "Ada Database Objects (Mysql)"
+tags = ["database", "uml", "sql", "mysql", "mariadb"]
+name = "ado_mysql"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/mysql/ado_mysql.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the MySQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.3.0"
+libmariadb = "*"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_mysql/ado_mysql-2.4.0.toml

@@ -0,0 +1,37 @@
+description = "Ada Database Objects (Mysql)"
+tags = ["database", "uml", "sql", "mysql", "mariadb"]
+name = "ado_mysql"
+version = "2.4.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["ado_mysql.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the MySQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.4.0"
+libmariadb = "*"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
+subdir = "./.alire/mysql/"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_postgresql/ado_postgresql-2.0.0.toml

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

index/ad/ado_postgresql/ado_postgresql-2.3.0.toml

@@ -0,0 +1,36 @@
+description = "Ada Database Objects (PostgreSQL)"
+tags = ["database", "uml", "sql", "postgresql"]
+name = "ado_postgresql"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/postgresql/ado_postgresql.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the PostgreSQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.3.0"
+libpq = "*"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_postgresql/ado_postgresql-2.4.0.toml

@@ -0,0 +1,37 @@
+description = "Ada Database Objects (PostgreSQL)"
+tags = ["database", "uml", "sql", "postgresql"]
+name = "ado_postgresql"
+version = "2.4.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["ado_postgresql.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the PostgreSQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.4.0"
+libpq = "*"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
+subdir = "./.alire/postgresql/"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_sqlite/ado_sqlite-2.0.0.toml

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

index/ad/ado_sqlite/ado_sqlite-2.3.0.toml

@@ -0,0 +1,36 @@
+description = "Ada Database Objects (SQLite)"
+tags = ["database", "uml", "sql", "sqlite"]
+name = "ado_sqlite"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/sqlite/ado_sqlite.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the SQLite driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.3.0"
+libsqlite3 = "any"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/ad/ado_sqlite/ado_sqlite-2.4.0.toml

@@ -0,0 +1,37 @@
+description = "Ada Database Objects (SQLite)"
+tags = ["database", "uml", "sql", "sqlite"]
+name = "ado_sqlite"
+version = "2.4.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["ado_sqlite.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the SQLite driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.4.0"
+libsqlite3 = "any"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
+subdir = "./.alire/sqlite/"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+

index/af/aflex/aflex-1.5.2021.toml

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

index/af/aflex/aflex-1.6.0.toml

@@ -0,0 +1,47 @@
+description = "An Ada Lexical Analyzer Generator"
+name = "aflex"
+version = "1.6"
+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.
+- Aflex supports reentrant scanner through the use of `%option reentrant`,
+  `%yyvar` and `%yydecl` directives.
+
+"""
+
+[gpr-externals]
+AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+MANPATH.prepend = "${CRATE_ROOT}/man"
+
+[origin]
+commit = "b3c21d99666ba433071cd423dfeaab57b4a936b5"
+url = "git+https://github.com/Ada-France/aflex.git"
+

index/af/aflex/aflex-1.7.0.toml

@@ -0,0 +1,47 @@
+description = "An Ada Lexical Analyzer Generator"
+name = "aflex"
+version = "1.7"
+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.
+- Aflex supports reentrant scanner through the use of `%option reentrant`,
+  `%yyvar` and `%yydecl` directives.
+
+"""
+
+[gpr-externals]
+AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+MANPATH.prepend = "${CRATE_ROOT}/man"
+
+[origin]
+commit = "77dbb4dadecc689de9e050652e8900ad40a47da5"
+url = "git+https://github.com/Ada-France/aflex.git"
+

index/ag/agpl/agpl-1.0.0.toml

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

index/ai/aicwl/aicwl-3.24.1.toml

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

index/aj/ajunitgen/ajunitgen-1.0.0.toml

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

index/aj/ajunitgen/ajunitgen-1.0.1.toml

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

index/ak/akt/akt-1.3.3.toml

@@ -0,0 +1,85 @@
+description = "Ada Keystore Tool"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-keystore/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-keystore)
+
+# Overview
+
+AKT is a tool to store and protect your sensitive information and documents by
+encrypting them in secure keystore (AES-256, HMAC-256).
+
+Create the keystore and protect it with a gpg public key:
+```
+   akt create secure.akt --gpg <keyid> ...
+```
+
+Store a small content:
+```
+   akt set secure.akt bank.password 012345
+```
+
+Store files, directory or a tar file:
+```
+   akt store secure.akt notes.txt
+   akt store secure.akt contract.doc
+   akt store secure.akt directory
+   tar czf - . | akt store secure.akt -- backup
+```
+
+Edit a content with your $EDITOR:
+```
+   akt edit secure.akt bank.password
+   akt edit secure.akt notes.txt
+```
+
+Get a content:
+```
+   akt get secure.akt bank.password
+   akt extract secure.akt contract.doc
+   akt extract secure.akt -- backup | tar xzf -
+```
+
+## Documents
+
+* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
+
+"""
+name = "akt"
+version = "1.3.3"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/keystoreada_tools.gpr"]
+tags = ["security", "storage", "nosql"]
+website = "https://gitlab.com/stcarrez/ada-keystore"
+executables = ["akt"]
+
+[[actions]]
+type = "post-fetch"
+command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.3.3\"",
+  "tools/akt-configs.gpb",
+  "tools/akt-configs.ads"
+]
+
+[[depends-on]]
+utilada = "^2.5.0"
+keystoreada = "^1.3.3"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+MANPATH.prepend = "${CRATE_ROOT}/man"
+
+[origin]
+commit = "e0e9d5ef2c92c74d06b3ada5ed162ad3400a9f5c"
+url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
+

index/ak/akt/akt-1.4.0.toml

@@ -0,0 +1,86 @@
+description = "Ada Keystore Tool"
+long-description = """
+
+[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
+[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
+[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
+
+# Overview
+
+AKT is a tool to store and protect your sensitive information and documents by
+encrypting them in secure keystore (AES-256, HMAC-256).
+
+Create the keystore and protect it with a gpg public key:
+```
+   akt create secure.akt --gpg <keyid> ...
+```
+
+Store a small content:
+```
+   akt set secure.akt bank.password 012345
+```
+
+Store files, directory or a tar file:
+```
+   akt store secure.akt notes.txt
+   akt store secure.akt contract.doc
+   akt store secure.akt directory
+   tar czf - . | akt store secure.akt -- backup
+```
+
+Edit a content with your $EDITOR:
+```
+   akt edit secure.akt bank.password
+   akt edit secure.akt notes.txt
+```
+
+Get a content:
+```
+   akt get secure.akt bank.password
+   akt extract secure.akt contract.doc
+   akt extract secure.akt -- backup | tar xzf -
+```
+
+## Documents
+
+* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
+
+"""
+name = "akt"
+version = "1.4.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["keystoreada_tools.gpr"]
+tags = ["security", "storage", "nosql"]
+website = "https://gitlab.com/stcarrez/ada-keystore"
+executables = ["akt"]
+
+[[actions]]
+type = "post-fetch"
+command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.4.0\"",
+  "../../tools/akt-configs.gpb",
+  "../../tools/akt-configs.ads"
+]
+
+[[depends-on]]
+utilada = "^2.6.0"
+keystoreada = "^1.4.0"
+
+[gpr-externals]
+KEYSTORE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+MANPATH.prepend = "${CRATE_ROOT}/man"
+
+[origin]
+commit = "c8fa1d949f368fbc74099cd54fcf2f370a134222"
+subdir = "./.alire/akt/"
+url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
+

index/alire-index-ada_lua.ads

@@ -1,33 +0,0 @@
-with Alire.Index.Liblua;
-
-package Alire.Index.Ada_Lua is
-
-   function Project is new Catalogued_Project ("An Ada binding for Lua");
-
-   Prj_Repo       : constant URL    := "https://github.com/alire-project/ada-lua.git";
-   Prj_Maintainer : constant String := "AdaCore";
-   Prj_Website    : constant URL    := "https://github.com/AdaCore/ada-lua";
-
-   V_0_0_0 : constant Release :=
-               Project.Register
-                 (V ("0.0.0-5.3"),
-                  Git (Prj_Repo, "ba2fcbf9f8d54d3f6362f20523deb4371371f658"),
-
-                  Dependencies       =>
-                    Liblua.V_5_3.Within_Major,
-
-                  Properties         =>
-                    Project_File ("lua.gpr") and
-
-                    Executable ("main") and
-
-                    Maintainer (Prj_Maintainer) and
-                    Website    (Prj_Website) and
-                    License    (GPL_3_0),
-
-                  Private_Properties =>
-                    Project_File ("examples/example1/example1.gpr") and
-                    Project_File ("examples/example2/example2.gpr")
-                 );
-
-end Alire.Index.Ada_Lua;

index/alire-index-adacurses.ads

@@ -1,36 +0,0 @@
-with Alire.Index.NcursesAda;
-
-package Alire.Index.Adacurses is
-
-   function Project is
-     new Catalogued_Project ("Wrapper on different packagings of NcursesAda");
-
-   Repo : constant String := "https://github.com/alire-project/adacurses-wrapper.git";
-
-   Comments : constant Conditional.Properties :=
-                Comment ("AdaCurses is the project name used by upstream, thus adacurses.gpr") and
-                Comment ("However, some distros (e.g., Debian family) use ncursesada.gpr") and
-                Comment ("This package wraps these differences so clients can always safely use adacurses");
-
-   Base : constant Release := Project.Unreleased
-     (Properties => Comments);
-
-   package V_6 is new Project_Release
-     (Base
-      .Replacing
-        (Git (Repo, "4ccb20409becb50c0b5fd29effb676b650608326"))
-      .Extending
-        (Case_Distribution_Is
-             ((Debian | Ubuntu => NcursesAda.V_6.Within_Major,
-               others          => Unavailable))));
-
-   package V_5 is new Project_Release
-     (Base
-      .Replacing
-        (Git (Repo, "4ccb20409becb50c0b5fd29effb676b650608326"))
-      .Extending
-        (Case_Distribution_Is
-             ((Debian | Ubuntu => NcursesAda.V_5.Within_Major,
-               others          => Unavailable))));
-
-end Alire.Index.Adacurses;

index/alire-index-adayaml.ads

@@ -1,70 +0,0 @@
-with Alire.Index.AUnit;
-with Alire.Index.Simple_Components;
-
-package Alire.Index.AdaYaml is
-
-   function Project is
-     new Catalogued_Project ("Experimental YAML 1.3 implementation in Ada");
-
-   Prj_Repo       : constant URL    := "https://github.com/yaml/AdaYaml.git";
-   Prj_Author     : constant String := "Felix Krause";
-   Prj_Website    : constant URL    := "https://ada.yaml.io/";
-
-   Base : constant Release :=
-            Project.Unreleased
-              (Dependencies =>
-                 AUnit.Project >= AUnit.V_2017,
-
-               Properties =>
-                 Project_File ("yaml.gpr") and
-                 Project_File ("yaml-utils.gpr") and
-
-                 GPR_Scenario ("Mode", "debug" or "release") and
-
-                 Author     (Prj_Author) and
-                 Website    (Prj_Website) and
-                 License    (MIT),
-
-               Private_Properties =>
-                 Project_File ("yaml-tests.gpr"));
-
-   package V_0_3 is new Project_Release
-     (Base
-      .Replacing (Git (Prj_Repo, "2017a7c2523499c03b8d7fe06546a5a8bae6476d"))
-      .Extending (Properties =>
-                    Project_File ("yaml-annotation_processor.gpr"),
-                  Private_Properties =>
-                    Executable ("yaml-dumping_tests-harness") and
-                    Executable ("yaml-loading_tests-harness") and
-                    Executable ("yaml-transformation_tests-harness")));
-
-   package V_0_2 is new Project_Release
-     (Base
-      .Replacing (Git (Prj_Repo, "0264b03fd92eeedfe3e2713ed1da3f0d255c1727"))
-      .Extending (Private_Properties =>
-                    Executable ("yaml-lexer-harness") and
-                    Executable ("yaml-parser-harness")));
-
-   ------------
-   -- Server --
-   ------------
-
-   package Server is
-
-      function Project is new Catalogued_Project
-        ("Experimental YAML 1.3 implementation in Ada (server component)");
-
-      V_0_3 : constant Release :=
-                Project.Register
-                  (AdaYaml.V_0_3.Release
-                   .Extending
-                     (Properties   =>
-                        Project_File ("yaml-server.gpr") and
-                        Executable ("yaml-server"),
-
-                      Dependencies =>
-                        Simple_Components.Connections_V_4_27.Within_Major));
-
-   end Server;
-
-end Alire.Index.AdaYaml;

index/alire-index-agpl.ads

@@ -1,27 +0,0 @@
-with Alire.Index.Libgsl;
-
-package Alire.Index.Agpl is
-
-   function Project is new Catalogued_Project
-     ("Ada General Purpose Library with a robotics flavor");
-
-   Repo : constant URL := "https://github.com/mosteo/agpl.git";
-
-   Base : constant Release :=
-            Project.Unreleased
-              (Dependencies =>
-                 Libgsl.Project.Current,
-               Properties =>
-                 GPR_Scenario ("Agpl_Include_Concorde", "True" or "False") and
-                 GPR_Scenario ("Agpl_Include_Db",       "True" or "False") and
-                 GPR_Scenario ("Agpl_Include_Boost",    "True" or "False") and
-                 GPR_Scenario ("Agpl_Include_PngIO",    "True" or "False") and
-
-                 Author     ("alejandro@mosteo.com") and
-                 License    (LGPL_3_0));
-
-   package V_1_0_0 is new Project_Release
-     (Base
-      .Replacing (Git (Repo, "00ac879f8d049171206699da39ac01f126b196e0")));
-
-end Alire.Index.Agpl;

index/alire-index-ajunitgen.ads

@@ -1,22 +0,0 @@
-with Alire.Index.XML_EZ_Out;
-
-package Alire.Index.AJUnitGen is
-
-   function Project is new Catalogued_Project
-     ("Generator of JUnit-compatible XML reports");
-
-   Repo : constant URL := "https://github.com/mosteo/ajunitgen.git";
-
-   Base : constant Release :=
-            Project.Unreleased
-              (Properties =>
-                 Author     ("Alejandro R. Mosteo") and
-                 License    (LGPL_3_0),
-               Dependencies =>
-                 XML_EZ_Out.V_1_6.Within_Major);
-
-   package V_1_0_0 is new Project_Release
-     (Base
-      .Replacing (Git (Repo, "d2d110f92b8175ace6668dfdb639ea10ece5a822")));
-
-end Alire.Index.AJUnitGen;

index/alire-index-alire.ads

@@ -1,166 +0,0 @@
-with Alire.Index.Semantic_Versioning;
-with Alire.Index.Simple_Logging;
-
-package Alire.Index.Alire is
-
-   function Project is
-     new Catalogued_Project ("Alire project catalog and support files");
-
-   Repo : constant URL := "https://github.com/alire-project/alire.git";
-
-   Base : constant Release :=
-           Project.Unreleased
-             (V ("0.0"),
-              No_Origin,
-              Properties =>
-                Author ("Alejandro R. Mosteo") and
-                License (GPL_3_0));
-
-   package V_0_5 is new Project_Release
-     (Base
-      .Replacing (Origin =>
-                       Git (Repo, "ff4f75f938a22173b8296efb21e112eb63865882"))
-      .Extending (Dependencies =>
-                       Semantic_Versioning.V_0_3_2.Within_Minor and
-                       Simple_Logging.V_1_0.Within_Major));
-
-   --  Old-style early releases
-
-   V_0_4 : constant Release :=
-               Project.Register
-                 (Base
-                  .Upgrading
-                    (V ("0.4"),
-                     Git (Repo, "219cdcbc5f26efca331400582026c6377ef0f794"))
-                  .Extending
-                    (Dependencies =>
-                       Semantic_Versioning.V_0_3_1.Within_Minor and
-                       Simple_Logging.V_1_0.Within_Major));
-
-   V_0_2 : constant Release :=
-               Project.Register
-                 (Base
-                  .Upgrading
-                    (V ("0.2"),
-                     Git (Repo, "5ba81ba33dfeb184b2e644ef2996200b5fdd6ae4"))
-                  .Extending
-                    (Dependencies =>
-                       Semantic_Versioning.V_0_3.Within_Minor and
-                       Simple_Logging.V_1_0.Within_Major));
-
-   V_0_1_2 : constant Release :=
-               Project.Register
-                 (Base
-                  .Upgrading
-                    (V ("0.1.2"),
-                     Git (Repo, "e2dee2e147ae9e4d666567b53b108cbe61bc06e8"))
-                  .Extending
-                    (Dependencies =>
-                       Semantic_Versioning.V_0_1_2.Within_Minor and
-                       Simple_Logging.V_1_0.Within_Major));
-
-   function Example_Project return Catalog_Entry renames Project;
-   function Elite_Dangerous return Catalog_Entry renames Project;
-   function Half_Life       return Catalog_Entry renames Project;
-   function Star_Citizen    return Catalog_Entry renames Project;
-   function Windows_3000    return Catalog_Entry renames Project;
-
-   Syntax_Example : constant Release :=
-                      Example_Project.Unreleased
-                        (V ("0.0.1"),
-                         Origins.New_Filesystem ("/alire"),
-                         Notes => "Mock release with examples of complex conditions",
-                         Dependencies       =>
-                           Half_Life >= "3.0" and -- unconditional
-                             On_Condition            -- conditional
-                               (Operating_System = GNU_Linux,
-                                  When_True  => Elite_Dangerous >= "2.0" and Star_Citizen >= V ("3.0"), -- Wish...
-                                  When_False => Windows_3000 > V ("1.0")) and
-                           (Star_Citizen >= "4.0" or Half_Life >= "3.0"),
-                         -- Chained preferences, takes first available
-
-                         Private_Properties => -- These are only interesting to alr, not users
-                           GPR_External ("Profile", "False"),
-                         --  Sample extra params for build
-
-                         Properties         =>
-                           GPR_Scenario ("Build", "Debug" or "Release") and
-                           GPR_Free_Scenario ("Path_To_Something") and
-                         --  Known scenario variables
-
-                           Project_File ("scenarios/catastrophical.gpr") and
-                         --  Way to specify a project file not named like the project
-                         --  Path separators are always "/" and internally converted to native ones
-
-                           On_Condition
-                             (Operating_System = Windows,
-                              Project_File ("project_win.gpr")) and
-                           On_Condition
-                             (Operating_System = GNU_Linux,
-                              On_Condition (Distribution = Ubuntu, -- Nested conditions
-                                Project_File ("project_ubuntu.gpr"))) and
-                         --  Conditional project file
-
-                           On_Condition
-                             (Operating_System = GNU_Linux,
-                              Comment ("Long life the penguin")) and
-                           --  Conditions on operating system
-
-                           Case_Operating_System_Is
-                             ((GNU_Linux => Comment ("Longerer life to the penguin"),
-                               OSX       => Comment ("Oh shiny!"),
-                               others    => Comment ("Pick your poison"))) and
-                           --  Also as Case-like statements
-
-                           On_Condition
-                             (Compiler = GNAT_Unknown, -- /= also works
-                              Comment ("Never saw that compiler") and Comment ("But I would like to")) and
-                         --  Conditions on compiler version
-
-                           On_Condition
-                             (Distro_Release = Ubuntu_Bionic,
-                              When_True  => Comment ("Living on the edge"),
-                              When_False => Comment ("I am a rock")) and
-                         --  Conditions on distribution release
-
-                           Comment ("Tell me about your mother") and
-                           Website ("http://www.www.www"),
-                         --  Unconditional properties
-
-                         Available_When     => -- Impossible mix
-                           (Operating_System = Windows and Operating_System /= GNU_Linux) or
-                           (Compiler = GNAT_Unknown and Compiler /= GNAT_Unknown));
-
---     package Experimental is
---
---        function Project is new Catalogued_Project ("Experimental packages");
---
---        Base : constant Release := Project.Unreleased;
---
---        package V1 is new Project_Release (Base);
---        package V2 is new Project_Release (Base);
---        package V3 is new Project_Release (Base);
---
---        package Greedy_Breaker is
---
---           function Project is new Catalogued_Project
---             ("Dependency too complex for the greedy solver");
---
---           R1 : constant Release := Project.Register
---             (V ("1"),
---              No_Origin,
---              Dependencies =>
---                (V2.This_Version      -- This causes V2 to be chosen greedily
---                 or V3.This_Version)  -- This will never be attempted
---                and V3.This_Version); -- And thus this will never be met
---
---           R2 : constant Release := Project.Register
---             (V ("2"),
---              No_Origin,
---              Dependencies =>
---                (V1.This_Version or V2.This_Version or V3.This_Version));
---        end Greedy_Breaker;
---
---     end Experimental;
-
-end Alire.Index.Alire;

index/alire-index-alr.ads

@@ -1,60 +0,0 @@
-with Alire.Index.AJUnitGen;
-with Alire.Index.Alire;
-with Alire.Index.Simple_Logging;
-with Alire.Index.XML_EZ_Out;
-
-package Alire.Index.Alr is
-
-   function Project is
-     new Catalogued_Project ("Command-line tool from the Alire project");
-
-   Repo : constant URL := "https://github.com/alire-project/alr.git";
-
-   Base : constant Release :=
-               Project.Unreleased
-                 (Dependencies =>
-                      Simple_Logging.V_1_0.Within_Major,
-
-                  Properties   =>
-                    Author ("Alejandro R. Mosteo") and
-                    License (GPL_3_0));
-
-   package V_0_5 is new Project_Release
-     (Base
-      .Replacing
-        (Origin => Git (Repo, "d26955fbfd8ef8b301791ab554113af1c6d46365"))
-      .Extending
-        (Dependencies =>
-              Alire.V_0_5.Within_Minor and
-              AJUnitGen.V_1_0_0.Within_Major
-        ));
-
-   package V_0_4 is new Project_Release
-     (Base
-      .Replacing (Git (Repo, "721d111225cf30b9c298ff23587664510f4c4ea1"))
-      .Extending
-        (Dependencies =>
-           Alire.V_0_4.Within_Minor and
-           XML_EZ_Out.V_1_6.Within_Minor));
-
-   V_0_2 : constant Release :=
-               Project.Register
-                 (Base
-                  .Upgrading
-                    (V ("0.2"),
-                     Git (Repo, "481a22aceb07242cabaefedbb41b2d6fe7a8bd1e"))
-                  .Extending
-                    (Dependencies =>
-                       Alire.V_0_2.Within_Minor));
-
-   V_0_1_2 : constant Release :=
-               Project.Register
-                 (Base
-                  .Upgrading
-                    (V ("0.1.2"),
-                     Git (Repo, "4002536beea8aee12b455077df4dd144b409bde4"))
-                  .Extending
-                    (Dependencies =>
-                       Alire.V_0_1_2.Within_Minor));
-
-end Alire.Index.Alr;

index/alire-index-apq.ads

@@ -1,25 +0,0 @@
-package Alire.Index.APQ is
-
-   function Project is
-     new Catalogued_Project ("APQ Ada95 Database Library (core)");
-
-   Repo : constant URL := "https://github.com/alire-project/apq.git";
-
-   V_3_2_0  : constant Release :=
-                Project.Register
-                  (V ("3.2.0"),
-                   Git (Repo, "3b5b4b99f528f853e02abf239da7db3d8c9962b4"),
-                   Properties         =>
-                     Project_File ("apq.gpr") and
-
-                     GPR_Scenario ("OS", "Windows_NT" or "GNU/Linux" or "Darwin") and
-                     GPR_Scenario ("DEBUG", "true" or "false") and
-
-                     License (GMGPL_2_0) and
-                     License (GMGPL_3_0),
-
-                   Private_Properties =>
-                     Project_File ("samples/apq-samples.gpr")
-                  );
-
-end Alire.Index.APQ;

index/alire-index-aunit.ads

@@ -1,48 +0,0 @@
-package Alire.Index.AUnit is
-
-   function Project is
-     new Catalogued_Project ("Ada unit test framework");
-
-   Prj_Repo : constant URL := "https://github.com/alire-project/libaunit.git";
-
-   Common_Properties : constant Release_Properties :=
-                           Maintainer ("AdaCore") and
-                           Website ("https://www.adacore.com/download/more") and
-                           License (GPL_3_0);
-
-   V_2017 : constant Release :=
-              Project.Register
-                (V ("2017"),
-                 Git (Prj_Repo, "b66a41ceb35bfc81b9345655c5f46317a57de3b4"),
-                 Properties         =>
-                   GPR_Scenario ("RUNTIME",
-                     "full" or "zfp" or "ravenscar" or "ravenscar-cert" or "cert") and
-
-                   Project_File ("aunit.gpr") and
-
-                   Executable ("aunit_harness") and
-                   Executable ("run-ppc-elf") and
-                   Executable ("test_liskov") and
-                   Executable ("test_calculator") and
-                   Executable ("test_math") and
-
-                   Common_Properties,
-
-                 Private_Properties =>
-                   Project_File ("test/aunit_tests.gpr") and
-
-                   Project_File ("examples/calculator/harness.gpr") and
-                   Project_File ("examples/calculator/tested_lib/testlib.gpr") and
-                   Project_File ("examples/failures/harness.gpr") and
-                   Project_File ("examples/failures/tested_lib/testlib.gpr") and
-                   Project_File ("examples/liskov/harness.gpr") and
-                   Project_File ("examples/liskov/tested_lib/testlib.gpr") and
-                   Project_File ("examples/simple_test/harness.gpr") and
-                   Project_File ("examples/simple_test/tested_lib/testlib.gpr") and
-                   Project_File ("examples/test_caller/harness/harness.gpr") and
-                   Project_File ("examples/test_caller/tested_lib/testlib.gpr") and
-                   Project_File ("examples/test_fixture/harness.gpr") and
-                   Project_File ("examples/test_fixture/tested_lib/testlib.gpr")
-                );
-
-end Alire.Index.AUnit;

index/alire-index-eagle_lander.ads

@@ -1,28 +0,0 @@
-with Alire.Index.GtkAda;
-
-package Alire.Index.Eagle_Lander is
-
-   function Project is
-     new Catalogued_Project ("Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)");
-
-   Prj_Repo    : constant URL    := "https://github.com/alire-project/eagle-lander.git";
-   Prj_Author  : constant String := "Fabien Chouteau";
-   Prj_Website : constant URL    := "https://blog.adacore.com/make-with-ada-the-eagle-has-landed";
-
-   V_1_0 : constant Release :=
-             Project.Register
-               (V ("1.0"),
-                Git (Prj_Repo, "5a3bcc61eff4d60d2b741add7841410ce539d0b8"),
-
-                Dependencies       =>
-                  GtkAda.V_17.Within_Major,
-
-                Properties         =>
-                  Project_File ("lunar_lander.gpr") and
-
-                  Author     (Prj_Author) and
-                  Website    (Prj_Website) and
-                  License    (GPL_3_0)
-               );
-
-end Alire.Index.Eagle_Lander;

index/alire-index-globe_3d.ads

@@ -1,50 +0,0 @@
-with Alire.Index.GLUT;
-
-package Alire.Index.Globe_3D is
-
-   function Project is
-     new Catalogued_Project ("GL Object Based Engine for 3D in Ada");
-
-   Prj_Repo    : constant URL    := "https://github.com/svn2github/GLOBE_3D.git";
-   Prj_Author  : constant String := "Gautier de Montmollin";
-   Prj_Website : constant URL    := "https://globe3d.sourceforge.io/";
-
-   V_20180111 : constant Release :=
-                  Project.Register
-                    (V ("20180111"),
-                     Git (Prj_Repo, "93f7185130e2fb0db7f1f7e67eaf1b6ca561d651"),
-
-                     Dependencies       =>
-                       GLUT.V_2_8_1.Within_Major,
-
-                     Properties         =>
-                       Project_File ("globe_3d.gpr") and
-
-                       GPR_Scenario ("OS_Kind", "linux" or "macosx" or "win32") and
-
-                       Executable ("globe_3d_demo") and
-                       Executable ("launch_armada") and
-                       Executable ("launch_multi_window") and
-                       Executable ("launch_sprite_demo") and
-                       Executable ("mini") and
-
-                       Author     (Prj_Author) and
-                       Website    (Prj_Website) and
-                       License    (Unknown),
-
-                     Private_Properties =>
-                       Project_File ("demo/culler/armada/armada.gpr") and
-                       Project_File ("demo/globe_3d_demos.gpr") and
-                       Project_File ("demo/multi_window/multi_window.gpr") and
-                       Project_File ("demo/sprite/sprite_demo.gpr") and
-
-                       On_Condition
-                         (Operating_System = GNU_Linux,
-                          GPR_External ("OS_Kind", "linux")),
-
-                     Available_When     =>
-                       Operating_System = GNU_Linux
-                       -- It's available in more platforms, but still untested and with unknown dependencies
-                    );
-
-end Alire.Index.Globe_3D;

index/alire-index-gnatcoll.ads

@@ -1,78 +0,0 @@
-package Alire.Index.GNATCOLL is
-
-   function Project is new Catalogued_Project
-     ("GNAT Components Collection - Core packages");
-
-   Repo_AdaCore : constant URL := "https://github.com/AdaCore/gnatcoll-core.git";
-   --  Upstream
-
-   Repo_Alire   : constant URL := "https://github.com/alire-project/gnatcoll-core.git";
-   --  For slim picks
-
-   Base         : constant Release :=
-                    Project.Unreleased
-                      (Properties         =>
-                                          Author     ("AdaCore") and
-                         Maintainer ("alejandro@mosteo.com") and
-                         License    (GPL_3_0) and
-
-                         Project_File ("gnatcoll.gpr") and
-                         GPR_Scenario ("GNATCOLL_ATOMICS",
-                           "intrinsic" or "mutex") and
-                         GPR_Scenario ("GNATCOLL_OS",
-                           "windows" or "unix" or "osx") and
-                         GPR_Scenario ("BUILD",
-                           "DEBUG" or "PROD") and
-                         GPR_Scenario ("LIBRARY_TYPE",
-                           "relocatable" or "static" or "static-pic"),
-
-                       Private_Properties =>
-                         GPR_External ("BUILD", "PROD") and
-                         GPR_External ("LIBRARY_TYPE", "static-pic") and
-                         Case_Operating_System_Is
-                           ((GNU_Linux  => GPR_External ("GNATCOLL_OS", "unix"),
-                             OSX        => GPR_External ("GNATCOLL_OS", "osx"),
-                             Windows    => GPR_External ("GNATCOLL_OS", "windows"),
-                             OS_Unknown => GPR_External ("GNATCOLL_OS", "ERROR")))
-                      );
-
-   package Slim is
-
-      function Project is new Catalogued_Project
-        ("GNAT Components Collection - Slim version (no dependencies)");
-
-      package V_20180425 is new Project_Release
-        (Base
-         .Renaming (GNATCOLL.Project)
-         .Replacing (Git (Repo_Alire,
-                          "81bc37d7548fe40024eb0f647df65ec42f65443b")));
-
-   end Slim;
-
-   package Strings is
-
-      function Project is new Catalogued_Project
-        ("GNAT Components Collection - Strings only");
-
-      package V_20180425 is new Project_Release
-        (Base
-         .Renaming (GNATCOLL.Project)
-         .Replacing (Git (Repo_Alire,
-                          "7823e31add7133b9fbc6e037d9986a823e840dc0")));
-
-   end Strings;
-
---     package Test is
---
---        function Project is new Catalogued_Project
---          ("GNAT Components Collection - Testing renames");
---
---        package V_99999999 is new Project_Release
---          (Base
---           .Extending
---             (Dependencies =>
---                 Slim.Project.Current));
---
---     end Test;
-
-end Alire.Index.GNATCOLL;