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/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-crate.yml

@@ -1,106 +0,0 @@
-name: Build Crate
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  build:
-    name: ${{ matrix.os }}::${{ matrix.tag }}
-
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      matrix:
-        os:
-          - macos-latest
-          - ubuntu-latest
-          - windows-latest
-        tag:
-          - arch-rolling
-          - centos-latest-community-latest
-          - community-latest
-          - debian-stable
-          - ubuntu-lts
-          - ""
-        exclude: # inclusions don't allow to add arrays of values to a scenario
-          - os: ubuntu-latest
-            tag: ""
-          - os: macos-latest
-            tag: arch-rolling
-          - os: macos-latest
-            tag: centos-latest-community-latest
-          - os: macos-latest
-            tag: community-latest
-          - os: macos-latest
-            tag: debian-stable
-          - os: macos-latest
-            tag: ubuntu-lts
-          - os: windows-latest
-            tag: arch-rolling
-          - os: windows-latest
-            tag: centos-latest-community-latest
-          - os: windows-latest
-            tag: community-latest
-          - os: windows-latest
-            tag: debian-stable
-          - os: windows-latest
-            tag: ubuntu-lts
-
-    steps:
-    - name: Check out alire-index
-      uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-        # Needed to be able to diff and obtain changed files. Furthermore, we
-        # need the full history or else grafted partial branches confuse the
-        # changed files detectors (in both scripts/gh-build-crate.sh and
-        # check-author action).
-
-    - name: Update system repositories
-      if: matrix.os == 'ubuntu-latest'
-      run: sudo apt update
-
-    - name: Set up GNAT toolchain (FSF)
-      if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2021
-      with:
-        distrib: fsf # faster install?
-
-    - name: Set up GNAT toolchain (Community)
-      if: matrix.os != 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: community
-
-    - name: Set up stable `alr`
-      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
-      with:
-        toolchain: --disable-assistant # We want to use the external ones in this workflow
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
-      with:
-        toolchain: --disable-assistant # We want to use the external ones in this workflow
-        branch: master
-
-    - name: Test crate (Linux)
-      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
-      uses: mosteo/actions@docker-run/v1
-      with:
-        image: alire/gnat:${{matrix.tag}}
-        command: scripts/gh-build-crate.sh
-        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
-
-    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
-      if: matrix.os == 'windows-latest'
-      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
-
-    - name: Test crate (Windows/MacOS)
-      if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
-      run: scripts/gh-build-crate.sh
-      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

@@ -1,5 +1,12 @@
-name: Toolchain
-# Build the submitted crate with a native toolchain from Alire
+# 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:
@@ -14,6 +21,7 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
+      fail-fast: false
       matrix:
         os:
           - macos-latest
@@ -30,31 +38,24 @@ jobs:
         # changed files detectors (in both scripts/gh-build-crate.sh and
         # check-author action).
 
-    # For the devel branch we need a compiler available to build alr in
-    # setup-alire. We will be able to get rid of this once composite actions
-    # support conditional steps.
-
-    - name: Set up GNAT toolchain (FSF)
-      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
+    - name: Check out alire-index-checks
+      uses: actions/checkout@v3
       with:
-        distrib: fsf # faster install?
-
-    - name: Set up GNAT toolchain (Community)
-      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: community
+        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@v1
+      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@v1
+      uses: alire-project/setup-alire@v2
       with:
         branch: 'master'
 
@@ -63,5 +64,5 @@ jobs:
       run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
 
     - name: Test crate
-      run: scripts/gh-build-crate.sh
+      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

@@ -1,28 +1,20 @@
-name: Check PR
+name: Check Index
 on: pull_request
 jobs:
   build:
-    runs-on: ubuntu-latest    
+    runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@master
 
-    - uses: alire-project/check-author@master
-      with:
-        repo-token: "${{ secrets.GITHUB_TOKEN }}"
-
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
-
-    - name: Set up GNAT for devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: ada-actions/toolchain@ce2020
+      uses: alire-project/setup-alire@v2
       with:
-        distrib: fsf
+        version: 1.2.2
 
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@v2
       with:
         branch: master
 
@@ -33,6 +25,6 @@ jobs:
     # Check index contents for unknown config variables
     - run: alr index --check
 
-    - run: alr index --update-all 
+    - 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

@@ -1,8 +1,15 @@
+# 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:
@@ -10,7 +17,7 @@ on:
 
 jobs:
 
-  diff:
+  DIFF:
 
     runs-on: ubuntu-latest
 
@@ -23,31 +30,27 @@ jobs:
         # need the full history or else grafted partial branches confuse the
         # changed files detector
 
+    - name: Check out alire-index-checks
+      uses: actions/checkout@v3
+      with:
+        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
+        ref: ${{github.base_ref}}
+        path: ${{env.CHECKS_REPO}}
+
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@v2
       with:
         toolchain: --disable-assistant # We don't need the compiler
-
-    - name: Set up GNAT toolchain (FSF)
-      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: fsf # faster install?
-
-    - name: Set up GNAT toolchain (Community)
-      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: community
+        version: ${{env.ALR_VERSION}}
 
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@v2
       with:
         toolchain: --disable-assistant # We don't need the compiler
         branch: master
 
-    - name: Diff releases
-      run: scripts/diff-release.sh || true # No deal breaker if failed
+    - name: <<DIFF RELEASES>>
+      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
       shell: bash

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/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_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/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/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.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.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.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.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/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/ap/apdf/apdf-5.0.3.toml

@@ -2,10 +2,12 @@ description = "Portable package for producing dynamically PDF documents"
 name = "apdf"
 version = "5.0.3"
 authors = ["Gautier de Montmollin"]
+website = "https://apdf.sourceforge.io/"
 licenses = "MIT"
 maintainers = ["gdemont@hotmail.com"]
 maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
 project-files = ["pdf_out_gnat_w_gid.gpr"]
+tags = ["pdf", "adobe"]
 
 [gpr-externals]
 PDF_Build_Mode = ["Debug", "Fast"]

index/ap/apdf/apdf-6.0.0.toml

@@ -0,0 +1,55 @@
+description = "Portable package for producing dynamically PDF documents"
+name = "apdf"
+version = "6.0.0"
+authors = ["Gautier de Montmollin"]
+website = "https://apdf.sourceforge.io/"
+licenses = "MIT"
+maintainers = ["gdemont@hotmail.com"]
+maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
+project-files = ["pdf_out_gnat_w_gid.gpr"]
+executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
+tags = ["pdf", "adobe"]
+
+long-description = """
+
+**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics.
+
+![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_parcel_m.png "Screenshot of a page produced by PDF_Out")
+
+* Ideal for the dynamic production of reports, invoices, tickets, charts, maps etc.
+* Vector graphics
+* Inclusion of JPEG images
+* Object oriented
+* Task safe
+* Endian-neutral
+* Multi-platform, but native code build
+* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
+* Unconditionally portable code: OS-, CPU-, compiler- independent code
+* Pure Ada 95: this package can be used in projects in Ada 95, Ada 2005, Ada 2012 and later language versions
+* Free, open-source 
+
+The creation of a PDF file is as simple as this small procedure:
+
+```ada
+with PDF_Out;
+
+procedure Small_Demo is
+  pdf : PDF_Out.PDF_Out_File;
+begin
+  pdf.Create ("small.pdf");
+  pdf.Put_Line ("This is a very small demo for PDF_Out...");
+  pdf.Close;
+end Small_Demo;
+```
+
+"""
+
+[gpr-externals]
+PDF_Build_Mode = ["Debug", "Fast"]
+
+[[depends-on]]
+gid = ">=9.0.0"
+
+[origin]
+url = "https://sourceforge.net/projects/apdf/files/apdf_006.zip"
+hashes = ["sha512:7c3ce4e9fd288aeedcf618d138d2d4a517e4163df76f8fd8b8db3ddcc7cdcb9b41791c77dcdbd3427c0fb6e4e6ea37ee2a72f1c0bc1ab36d37541d7c3a4e67b9"]

index/ar/are/are-1.3.0.toml

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

index/ar/are/are-1.4.0.toml

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

index/as/asfml/asfml-2.4.1.toml

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

index/as/asfml/asfml-2.5.3.toml

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

index/as/asfml/asfml-2.5.4.toml

@@ -0,0 +1,40 @@
+name = "asfml"
+description = "An Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.5.4"
+long-description = """
+[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org)
+![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg)
+[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)
+[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada)
+
+ASFML is an Ada semi-thick binding to the
+[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
+portable defined types which eliminates the inclusion of Ada interface
+libraries, but most of the functions are directly imported.
+
+# Documentation
+Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
+
+The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
+with some changes and additions for ease of use.
+
+Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
+
+"""
+
+authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "custom-zlib-acknowledgement"
+website = "https://mgrojo.github.io/ASFML/"
+tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
+
+[[depends-on]]
+libcsfml = "^2.5"
+
+
+[origin]
+commit = "c428084e93adcdcbffbb3518c60bfa26ceb2bb4c"
+url = "git+https://github.com/mgrojo/ASFML.git"
+

index/as/asfml/asfml-2.5.5.toml

@@ -0,0 +1,39 @@
+name = "asfml"
+description = "An Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.5.5"
+long-description = """
+[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org)
+![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg)
+[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)
+[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada)
+
+ASFML is an Ada semi-thick binding to the
+[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
+portable defined types which eliminates the inclusion of Ada interface
+libraries, but most of the functions are directly imported.
+
+# Documentation
+Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
+
+The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
+with some changes and additions for ease of use.
+
+Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
+
+"""
+
+authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "custom-zlib-acknowledgement"
+website = "https://mgrojo.github.io/ASFML/"
+tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
+
+[[depends-on]]
+libcsfml = "^2.5.2"
+
+[origin]
+commit = "a751457f9eb11b32a4024d48d24d99dc25089c05"
+url = "git+https://github.com/mgrojo/ASFML.git"
+

index/as/asfml/asfml-2.6.0.toml

@@ -0,0 +1,39 @@
+name = "asfml"
+description = "An Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.6.0"
+long-description = """
+[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org)
+![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg)
+[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)
+[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada)
+
+ASFML is an Ada semi-thick binding to the
+[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
+portable defined types which eliminates the inclusion of Ada interface
+libraries, but most of the functions are directly imported.
+
+# Documentation
+Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
+
+The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
+with some changes and additions for ease of use.
+
+Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
+
+"""
+
+authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "custom-zlib-acknowledgement"
+website = "https://mgrojo.github.io/ASFML/"
+tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
+
+[[depends-on]]
+libcsfml = "^2.6.0"
+
+[origin]
+commit = "244787934b6bc738a8d6219ff6d4bf4a7c93f5bb"
+url = "git+https://github.com/mgrojo/ASFML.git"
+

index/as/ashell/ashell-1.3.0.toml

@@ -0,0 +1,27 @@
+name = "ashell"
+description = "Allows running and interacting with OS programs."
+long-description = "Useful for writing shell-like applications or applications which start, stop and interact with spawned OS programs."
+version = "1.3.0"
+
+authors = ["Rod Kay"]
+maintainers = ["Rod Kay <rodakay5@gmail.com>"]
+maintainers-logins = ["charlie5"]
+
+licenses = "ISC"
+website = "https://github.com/charlie5/aShell"
+tags = ["spawn", "os", "command", "process", "directories"]
+
+project-files = ["library/ashell.gpr",
+                 "applet/spawn_server/spawn_server.gpr"]
+
+[available.'case(distribution)']
+'msys2' = false
+'...' = true
+
+[[depends-on]]
+gcc = "^11.2.4"
+florist_blady = "^6.0.0"
+[origin]
+commit = "8d2540e0f446427d11df1793b37cec04c01145a2"
+url = "git+https://github.com/charlie5/aShell.git"
+

index/at/atari_atr_tools/atari_atr_tools-1.0.0.toml

@@ -0,0 +1,60 @@
+name                = "atari_atr_tools"
+description         = "Atari / SIO2PC tools for ATR-files"
+long-description    = """This is a tool to analyse, create and convert ATR files.
+
+ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
+
+# Print Header
+
+```sh
+>atr_tools-main --print-header test-DD-DS-80.atr 
+File name        : test-DD-DS-80.atr
+Magic            :      16#296#
+Paragraphs       :        46056
+Sector size      :          256
+Flags            :         2#1#
+Bad Sectors      :            0
+Unused           :        16#0#
+Sectors          :         2880
+Bytes            :       736896
+Boot Sectors     : true        
+
+Floppy disk double density, double sided, 80 track
+```
+
+# Create Floppy immage
+
+```sh
+>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
+File created     : test-DD-SS-80.atr
+Sector size      :          256
+Sector per track :           18
+Tracks per side  :           80
+Sides per disk   :            1
+```
+
+Development versions available with:
+
+alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
+"""
+version             = "1.0.0"
+licenses            = "GPL-3.0-or-later"
+authors             = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers         = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins  = ["krischik"]
+executables         = ["atr_tools-main"]
+website             = "https://sourceforge.net/projects/tutorial-6502"
+tags                = ["atari", "tools", "retrocomputing", "ada2022"]
+
+[[depends-on]]
+adacl               = "5.9.8"
+gnat                = ">=12 & <2000"
+
+
+[origin]
+hashes = [
+"sha256:cabbfea1eaf65b4836a3deef576dba337877e6cb13b209c78390793970430a9e",
+"sha512:50df90b23d7399ea1b1b079b33b6616157fe4cf21d1351c350cb15939b7dbc0e0a12b8f6d6f96e491d89e5fceb32aa75f69dbddb8d608167732242635d450d77",
+]
+url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.0.0.tgz"
+

index/at/atari_atr_tools/atari_atr_tools-1.1.1.toml

@@ -0,0 +1,72 @@
+name                        = "atari_atr_tools"
+description                 = "Atari / SIO2PC tools for ATR-files"
+long-description            = """This is a tool to analyse, create and convert ATR files.
+
+ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
+
+# Print Header
+
+```sh
+>atr_tools-main --print-header test-DD-DS-80.atr 
+File name        : test-DD-DS-80.atr
+Magic            :      16#296#
+Paragraphs       :        46056
+Sector size      :          256
+Flags            :         2#1#
+Bad Sectors      :            0
+Unused           :        16#0#
+Sectors          :         2880
+Bytes            :       736896
+Boot Sectors     : true        
+
+Floppy disk double density, double sided, 80 track
+```
+
+# Create Floppy image
+
+```sh
+>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
+File created     : test-DD-SS-80.atr
+Sector size      :          256
+Sector per track :           18
+Tracks per side  :           80
+Sides per disk   :            1
+```
+
+Development versions available with:
+
+```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/tutorial-6502/git)
+"""
+version                     = "1.1.1"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+executables                 = ["atr_tools-main"]
+website                     = "https://sourceforge.net/projects/tutorial-6502"
+tags                        = ["atari", "tools", "retrocomputing", "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]]
+adacl                       = ">=5.12.0"
+gnat                        = ">=12 & <2000"
+
+
+[origin]
+hashes = [
+"sha256:e9f2be5c15332d483f505ac75824cef95bf49c9b54ecb7cf6521bf1558b9ef8b",
+"sha512:bd4baeacce7679ae94f30c4f683e467983fa2f4df1eb33cec5d134c84d6c0ae19ad5d82ad4fd689df3849a05c13f9bb42f6dbe43bb7f81a83e796005968ab196",
+]
+url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.1.1.tgz"
+

index/at/atari_atr_tools/atari_atr_tools-1.1.3.toml

@@ -0,0 +1,80 @@
+name                        = "atari_atr_tools"
+description                 = "Atari / SIO2PC tools for ATR-files"
+long-description            = """This is a tool to analyse, create and convert ATR files.
+
+ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
+
+# Print Header
+
+```sh
+>atr_tools-main --print-header test-DD-DS-80.atr 
+File name        : test-DD-DS-80.atr
+Magic            :      16#296#
+Paragraphs       :        46056
+Sector size      :          256
+Flags            :         2#1#
+Bad Sectors      :            0
+Unused           :        16#0#
+Sectors          :         2880
+Bytes            :       736896
+Boot Sectors     : true        
+
+Floppy disk double density, double sided, 80 track
+```
+
+# Create Floppy image
+
+```sh
+>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
+File created     : test-DD-SS-80.atr
+Sector size      :          256
+Sector per track :           18
+Tracks per side  :           80
+Sides per disk   :            1
+```
+
+Development versions available with:
+
+```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/tutorial-6502/git)
+"""
+version                     = "1.1.3"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+executables                 = ["atr_tools-main"]
+website                     = "https://sourceforge.net/projects/tutorial-6502"
+tags                        = ["atari", "tools", "retrocomputing", "ada-2022"]
+
+[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]]
+adacl                       = ">=5.13.1"
+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:1e2cccbbeee5c0158b5453a73e5e66c69d27b312f88b9b430b6355446465a8df",
+"sha512:241e48bd6d5b80fe6aaac9bdce0dfa5a3a21689f6143fcbe04cfbc307eeceea5c010825f210eaebb436f17f534352f00957a5952c0bf9998b7f20877a8a340bd",
+]
+url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.1.3.tgz"
+

index/at/atari_atr_tools/atari_atr_tools-1.5.0.toml

@@ -0,0 +1,80 @@
+name                        = "atari_atr_tools"
+description                 = "Atari / SIO2PC tools for ATR-files"
+long-description            = """This is a tool to analyse, create and convert ATR files.
+
+ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
+
+# Print Header
+
+```sh
+>atr_tools-main --print-header test-DD-DS-80.atr 
+File name        : test-DD-DS-80.atr
+Magic            :      16#296#
+Paragraphs       :        46056
+Sector size      :          256
+Flags            :         2#1#
+Bad Sectors      :            0
+Unused           :        16#0#
+Sectors          :         2880
+Bytes            :       736896
+Boot Sectors     : true        
+
+Floppy disk double density, double sided, 80 track
+```
+
+# Create Floppy image
+
+```sh
+>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
+File created     : test-DD-SS-80.atr
+Sector size      :          256
+Sector per track :           18
+Tracks per side  :           80
+Sides per disk   :            1
+```
+
+Development versions available with:
+
+```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/tutorial-6502/git)
+"""
+version                     = "1.5.0"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+executables                 = ["atr_tools-main"]
+website                     = "https://sourceforge.net/projects/tutorial-6502"
+tags                        = ["atari", "tools", "retrocomputing", "ada-2022"]
+
+[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]]
+adacl                       = "^5.15.1"
+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:5ab5b1710dca691b2a42bf9833961e227de99f1f01140b0e150f9e2274ff801c",
+"sha512:39108450a978f951e37df11cb01074ac0fe1abe826ecf9fcdb0196caf706e5324c3d08863b1a4b083caa6e0d0e9192471ec8319e4f3947d6a18a0611633949d6",
+]
+url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.5.0.tgz"
+

index/at/atari_exe_tools/atari_exe_tools-1.5.0.toml

@@ -0,0 +1,79 @@
+name                        = "atari_exe_tools"
+description                 = "Atari tools for for handling EXE-files"
+long-description            = """This is a tool to analyse Atari 8 bit EXE files.
+
+# Print Header
+
+```sh
+>exe_tools-main --print-header ./test/share/atari_check_exe_test/HELLO_C.EXE"
+File: ./test/share/atari_check_exe_test/HELLO_C.EXE
+Magic: $FFFF; Start: $2E00; End: $2EF5; Length: 246
+Magic: $0000; Start: $02E2; End: $02E3; Length: 2; Init: $2E47
+Magic: $0000; Start: $2400; End: $28DE; Length: 1247
+Magic: $0000; Start: $02E0; End: $02E1; Length: 2; Run: $2401
+```
+
+# Print Data
+
+```sh
+--print-data ./test/share/atari_check_exe_test/HELLO_A.EXE"
+File: ./test/share/atari_check_exe_test/HELLO_A.EXE
+2400: 60 60 A2 00 A9 0B 9D 42 03 A9 3F 9D 44 03 A9 24  
+2410: 9D 45 03 A9 2E 9D 48 03 A9 00 9D 49 03 20 56 E4  
+2420: A2 00 A9 07 9D 42 03 A9 6D 9D 44 03 A9 24 9D 45  
+2430: 03 A9 01 9D 48 03 A9 00 9D 49 03 20 56 E4 60 48  
+2440: 65 6C 6C 6F 20 57 6F 72 6C 64 21 9B 28 75 73 69  
+2450: 6E 67 20 61 20 65 78 65 63 75 74 61 62 6C 65 20  
+2460: 69 6E 20 61 73 73 65 6D 62 65 72 29 9B 00        
+02E0: 02 24                                            
+Run: $2402
+>exe_tools-main 
+```
+
+The ATASCII part of the hexdump has been removed as Alire is not UTF8 compatible.
+
+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 including AUnit tests available on [SourceForge](https://git.code.sf.net/p/tutorial-6502/git)
+"""
+version                     = "1.5.0"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+executables                 = ["exe_tools-main"]
+website                     = "https://sourceforge.net/projects/tutorial-6502"
+tags                        = ["atari", "tools", "retrocomputing", "ada-2022"]
+
+[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]]
+adacl                       = "^5.15.1"
+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:cfa984352e70e528ee768124141eaa3d56dc595f7613ce7c1bf12be578005349",
+"sha512:e166df5c4b7afc02f30463495cb76c482801985d8f8f1bda2af6b8408da2d18f6435cbc95a003e306c217b725f18493d325080fc34c1144d0891040cc89c1e0d",
+]
+url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_exe_tools-1.5.0.tgz"
+

index/at/atomic/atomic-0.5.0.toml

@@ -0,0 +1,19 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.5.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[configuration.variables]
+Backend = {type = "Enum",  values = ["Intrinsic", "armv6m", "rp2040_spinlock"], default = "Intrinsic"}
+RP2040_Spinlock_ID = {type = "Integer",  first = 0, last = 31, default = 31 }
+
+[origin]
+commit = "14c344ccfb14bcba0feadb5303831d6409f65b5e"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+

index/au/aunit/aunit-23.0.0.toml

@@ -0,0 +1,20 @@
+description = "Ada unit test framework"
+name = "aunit"
+version = "23.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["lib/gnat/aunit.gpr"]
+tags=["unit", "test", "unit-test"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+AUNIT_BUILD_MODE = ["Devel", "Install"]
+AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
+
+[origin]
+url="https://github.com/AdaCore/aunit/archive/v23.0.0/aunit-23.0.0.zip"
+hashes=["sha512:84ce7d0b5b1af66a171711ee707b6082dddd306798084a43dc337d46d8e61252982b9c25f9c2d73bd6f01ec088337e4c2386dbf7a5cf04180c1c525393cd4c8f"]

index/au/aunit/aunit-24.0.0.toml

@@ -0,0 +1,20 @@
+description = "Ada unit test framework"
+name = "aunit"
+version = "24.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["lib/gnat/aunit.gpr"]
+tags=["unit", "test", "unit-test"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+AUNIT_BUILD_MODE = ["Devel", "Install"]
+AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
+
+[origin]
+url="https://github.com/adacore/aunit/archive/v24.0.0/aunit-24.0.0.zip"
+hashes=['sha512:67fdc2b6c0c846268252e065d52090f805c68f968d71decf5674824ddc10e6ae7f6ad3156356251953940cbcbfce043d8fe29f1824e15cfd264f52049aeb9476']

index/au/automate/automate-2.2.2.toml

@@ -0,0 +1,21 @@
+name = "automate"
+description = "Ada finite-state machine generator"
+version = "2.2.2"
+tags = ["automaton", "generator"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/Automate"
+
+licenses = "CECILL-2.1"
+
+executables = ["genauto"]
+
+[gpr-set-externals.'case(os)']
+macos   = { GENAUTO_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
+
+[origin]
+commit = "5ce97f6cc06d5a370b9aaf40c996f868f7d73e61"
+url = "git+https://github.com/Blady-Com/Automate.git"
+

index/au/automate/automate-3.0.0.toml

@@ -0,0 +1,23 @@
+name = "automate"
+description = "Ada finite-state machine generator"
+version = "3.0.0"
+tags = ["automaton", "generator"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/Automate"
+
+licenses = "CECILL-2.1"
+
+executables = ["genauto"]
+
+[gpr-set-externals.'case(os)']
+macos   = { GENAUTO_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
+[[depends-on]]
+uxstrings = ">=0.6"
+
+[origin]
+commit = "b83dfb7701b9f27aaa2c6b40467c99c55f1ee92f"
+url = "git+https://github.com/Blady-Com/Automate.git"
+

index/av/avrada_examples/avrada_examples-1.0.0.toml

@@ -0,0 +1,18 @@
+name = "avrada_examples"
+description = "Sample applications in Ada for AVR microcontrollers"
+version = "1.0"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "demo"]
+
+project-files = ["avrada_examples.gpr"]
+
+
+[origin]
+commit = "1f575fdfa3dceaf1e4730e95e0c960b406d10f45"
+url = "git+https://github.com/RREE/AVRAda_Examples.git"
+

index/av/avrada_examples/avrada_examples-1.0.1.toml

@@ -0,0 +1,18 @@
+name = "avrada_examples"
+description = "Sample applications in Ada for AVR microcontrollers"
+version = "1.0.1"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "demo"]
+
+project-files = ["avrada_examples.gpr"]
+
+
+[origin]
+commit = "72780c766d5e3cb674d012c1775015d4442ce6e0"
+url = "git+https://github.com/RREE/AVRAda_Examples.git"
+

index/av/avrada_lib/avrada_lib-2.0.0.toml

@@ -0,0 +1,32 @@
+name = "avrada_lib"
+description = "Library of drivers for AVR microcontrollers"
+version = "2.0.0"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded"]
+
+[configuration.variables]
+# If your program uses AVR.Real_Time.Timing_Events you can either
+# handle them in your main loop (False) or during the 1ms clock tick
+# of Timer0 (True). Defaults to false as most applications do not use
+# timing events.
+Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
+
+# Serial/UART receive mode can either be by polling the Rx bit or by
+# interrupt.  Interrupt mode is only partly implemented.
+UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
+
+[[depends-on]]
+gnat_avr_elf = "^11"
+avrada_rts = "^2.0.0"
+avrada_mcu = "^2.0.0"
+
+
+[origin]
+commit = "38be63691debb2b732dd95b4ed4bdba35bc09b17"
+url = "git+https://github.com/RREE/AVRAda_Lib.git"
+

index/av/avrada_lib/avrada_lib-2.0.1.toml

@@ -0,0 +1,32 @@
+name = "avrada_lib"
+description = "Library of drivers for AVR microcontrollers"
+version = "2.0.1"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "drivers"]
+
+[configuration.variables]
+# If your program uses AVR.Real_Time.Timing_Events you can either
+# handle them in your main loop (False) or during the 1ms clock tick
+# of Timer0 (True). Defaults to false as most applications do not use
+# timing events.
+Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
+
+# Serial/UART receive mode can either be by polling the Rx bit or by
+# interrupt.  Interrupt mode is only partly implemented.
+UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+avrada_mcu = "^2.0.1"
+
+
+[origin]
+commit = "2625ad6cd549d623511fe94cd2b4a611fe43acbf"
+url = "git+https://github.com/RREE/AVRAda_Lib.git"
+

index/av/avrada_lib/avrada_lib-2.0.2.toml

@@ -0,0 +1,32 @@
+name = "avrada_lib"
+description = "Library of drivers for AVR microcontrollers"
+version = "2.0.2"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "drivers"]
+
+[configuration.variables]
+# If your program uses AVR.Real_Time.Timing_Events you can either
+# handle them in your main loop (False) or during the 1ms clock tick
+# of Timer0 (True). Defaults to false as most applications do not use
+# timing events.
+Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
+
+# Serial/UART receive mode can either be by polling the Rx bit or by
+# interrupt.  Interrupt mode is only partly implemented.
+UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+avrada_mcu = "^2.0.2"
+
+
+[origin]
+commit = "be6627e45742750d410abcd3da079222ee3ca3b0"
+url = "git+https://github.com/RREE/AVRAda_Lib.git"
+

index/av/avrada_lib/avrada_lib-2.1.0.toml

@@ -0,0 +1,32 @@
+name = "avrada_lib"
+description = "Library of drivers for AVR microcontrollers"
+version = "2.1.0"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "drivers"]
+
+[configuration.variables]
+# If your program uses AVR.Real_Time.Timing_Events you can either
+# handle them in your main loop (False) or during the 1ms clock tick
+# of Timer0 (True). Defaults to false as most applications do not use
+# timing events.
+Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
+
+# Serial/UART receive mode can either be by polling the Rx bit or by
+# interrupt.  Interrupt mode is only partly implemented.
+UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+avrada_mcu = "^2.1"
+
+
+[origin]
+commit = "fe38c6dcc93dc2210cdb1704d9ca2592c5657495"
+url = "git+https://github.com/RREE/AVRAda_Lib.git"
+

index/av/avrada_mcu/avrada_mcu-2.0.0.toml

@@ -0,0 +1,20 @@
+name = "avrada_mcu"
+description = "Device (MCU) specific definitions for AVR microcontrollers"
+version = "2.0.0"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.0"
+
+
+[origin]
+commit = "fd0e8204d0c386b4dd410db45cdf14e4e1ba831b"
+url = "git+https://github.com/RREE/AVRAda_MCU.git"
+

index/av/avrada_mcu/avrada_mcu-2.0.1.toml

@@ -0,0 +1,20 @@
+name = "avrada_mcu"
+description = "Device (MCU) specific definitions for AVR microcontrollers"
+version = "2.0.1"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+
+
+[origin]
+commit = "0284e64da7de32eefb45590823dbcf821937ec17"
+url = "git+https://github.com/RREE/AVRAda_MCU.git"
+

index/av/avrada_mcu/avrada_mcu-2.0.2.toml

@@ -0,0 +1,20 @@
+name = "avrada_mcu"
+description = "Device (MCU) specific definitions for AVR microcontrollers"
+version = "2.0.2"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+
+
+[origin]
+commit = "f6ef583f07cd5f1cf70e2b6c43e072df3a69b860"
+url = "git+https://github.com/RREE/AVRAda_MCU.git"
+

index/av/avrada_mcu/avrada_mcu-2.1.0.toml

@@ -0,0 +1,20 @@
+name = "avrada_mcu"
+description = "Device (MCU) specific definitions for AVR microcontrollers"
+version = "2.1.0"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+
+
+[origin]
+commit = "6dc604f2a090d5303db0a8fb541ddc186ab101a1"
+url = "git+https://github.com/RREE/AVRAda_MCU.git"
+

index/av/avrada_mcu/avrada_mcu-2.2.0.toml

@@ -0,0 +1,20 @@
+name = "avrada_mcu"
+description = "Device (MCU) specific definitions for AVR microcontrollers"
+version = "2.2.0"
+
+authors = ["Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+avrada_rts = "^2.0.1"
+
+
+[origin]
+commit = "b6f5cf0d6b9e4981ce79c6ed7f3dd28600c08dbf"
+url = "git+https://github.com/RREE/AVRAda_MCU.git"
+

index/av/avrada_rts/avrada_rts-2.0.0.toml

@@ -0,0 +1,24 @@
+name = "avrada_rts"
+description = "Minimal run time system (RTS) for AVR 8bit controllers"
+version = "2.0.0"
+
+authors = ["Adacore", "Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert@gcc.gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[configuration.variables]
+AVR_MCU          = { type = "String", default = "atmega328p" }
+Sec_Stack_Size   = { type = "Integer", first = 0, last = 1024, default = 63 }
+Clock_Frequency  = { type = "Integer", first = 0, default = 0 }
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+
+
+[origin]
+commit = "9e4f8d80ef47810b126a3e809d549e114c92ed94"
+url = "git+https://github.com/RREE/AVRAda_RTS.git"
+

index/av/avrada_rts/avrada_rts-2.0.1.toml

@@ -0,0 +1,24 @@
+name = "avrada_rts"
+description = "Minimal run time system (RTS) for AVR 8bit controllers"
+version = "2.0.1"
+
+authors = ["Adacore", "Rolf Ebert"]
+maintainers = ["Rolf Ebert <rolf.ebert@gcc.gmx.de>"]
+maintainers-logins = ["RREE"]
+licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
+website = "https://sourceforge.net/projects/avr-ada/"
+tags = ["avr", "embedded", "rts"]
+
+[configuration.variables]
+AVR_MCU          = { type = "String", default = "atmega328p" }
+Sec_Stack_Size   = { type = "Integer", first = 0, last = 1024, default = 63 }
+Clock_Frequency  = { type = "Integer", first = 0, default = 0 }
+
+[[depends-on]]
+gnat_avr_elf = "^11 | ^12.2"
+
+
+[origin]
+commit = "92a5f15aa224e5848fea1be3aa8694f256bae9b6"
+url = "git+https://github.com/RREE/AVRAda_RTS.git"
+

index/aw/awa/awa-2.4.0.toml

@@ -0,0 +1,80 @@
+description = "Ada Web Application"
+name = "awa"
+version = "2.4.0"
+tags = ["web", "users", "jobs", "wiki", "framework", "storage", "blog"]
+website = "https://gitlab.com/stcarrez/ada-awa"
+
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-AWA.svg)](https://jenkins.vacs.fr/job/Bionic-AWA/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-AWA.svg)](https://jenkins.vacs.fr/job/Bionic-AWA/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-awa/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-awa)
+[![Documentation Status](https://readthedocs.org/projects/ada-awa/badge/?version=latest)](https://ada-awa.readthedocs.io/en/latest/?badge=latest)
+
+Ada Web Application is a framework to build a Web Application in Ada 2012.
+The framework provides several ready to use and extendable modules that are common
+to many web application.  This includes the login, authentication, users, permissions,
+managing comments, tags, votes, documents, images.  It provides a complete blog,
+question and answers and a wiki module.
+
+AWA simplifies the Web Application development by taking care of user management with
+Google+, Facebook authentication and by providing the foundations on top of which you
+can construct your own application.  AWA provides a powerful permission management
+that gives flexibility to applications to grant access and protect your user's resources.
+
+![AWA Features](https://github.com/stcarrez/ada-awa/wiki/images/awa-features.png)
+
+# Documentation
+
+The Ada Web Application programmer's guide describes how to setup the framework,
+how you can setup and design your first web application with it,
+and it provides detailed description of AWA components:
+
+  * [Ada Web Application programmer's guide](https://ada-awa.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-awa/blob/master/awa/docs/awa-book.pdf)
+  * [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
+  * [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/)
+  * [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)
+
+"""
+
+project-files = [
+".alire/awa_blogs.gpr", ".alire/awa.gpr", ".alire/awa_settings.gpr", ".alire/awa_wikis.gpr",
+".alire/awa_changelogs.gpr", ".alire/awa_images.gpr", ".alire/awa_setup.gpr", ".alire/awa_workspaces.gpr",
+".alire/awa_comments.gpr", ".alire/awa_jobs.gpr", ".alire/awa_storages.gpr",
+".alire/awa_counters.gpr", ".alire/awa_mail.gpr", ".alire/awa_tags.gpr",
+".alire/awa_countries.gpr", ".alire/awa_questions.gpr", ".alire/awa_votes.gpr"
+]
+
+[[depends-on]]
+utilada = "^2.5.0"
+utilada_xml = "^2.5.0"
+utilada_aws = "^2.5.0"
+ado = "^2.3.0"
+wikiada = "^1.4.0"
+elada = "^1.8.5"
+security = "^1.4.1"
+serverfaces = "^1.5.0"
+servletada = "^1.6.0"
+servletada_aws = "^1.6.0"
+keystoreada = "^1.3.3"
+
+[[actions]]
+type = "post-fetch"
+command = ["sh", "./alire-setup.sh"]
+
+[gpr-externals]
+AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[environment]
+DYNAMO_SEARCH_PATH.prepend = "${CRATE_ROOT}/awa/plugins"
+DYNAMO_UML_PATH.prepend = "${CRATE_ROOT}/awa/uml"
+
+[origin]
+commit = "59135a52aff7027f9295888775b9e1cc6cecdc22"
+url = "git+https://github.com/stcarrez/ada-awa.git"
+

index/aw/awa_unit/awa_unit-2.4.0.toml

@@ -0,0 +1,43 @@
+description = "Ada Web Application (Testing framework)"
+name = "awa_unit"
+version = "2.4.0"
+tags = ["web", "users", "jobs", "framework", "testing"]
+website = "https://gitlab.com/stcarrez/ada-awa"
+
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-AWA.svg)](https://jenkins.vacs.fr/job/Bionic-AWA/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-AWA.svg)](https://jenkins.vacs.fr/job/Bionic-AWA/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-awa/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-awa)
+[![Documentation Status](https://readthedocs.org/projects/ada-awa/badge/?version=latest)](https://ada-awa.readthedocs.io/en/latest/?badge=latest)
+
+Ada Web Application is a framework to build a Web Application in Ada 2012.
+The framework provides several ready to use and extendable modules that are common
+to many web application.  This includes the login, authentication, users, permissions,
+managing comments, tags, votes, documents, images.  It provides a complete blog,
+question and answers and a wiki module.
+
+This library provides a testing framework on top of AWA top help implementing
+unit tests for AWA applications.
+
+"""
+
+project-files = [".alire/unit/awa_unit.gpr"]
+
+[[depends-on]]
+awa = "^2.4.0"
+serverfaces_unit = "^1.5.0"
+servletada_unit = "^1.6.0"
+
+[gpr-externals]
+AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[origin]
+commit = "59135a52aff7027f9295888775b9e1cc6cecdc22"
+url = "git+https://github.com/stcarrez/ada-awa.git"
+

index/aw/aws/aws-21.0.0.toml

@@ -14,12 +14,14 @@ tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
 [[actions]]
 type = "post-fetch"
 command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
-           "LAL=false", "XMLADA=false", "prefix=install_dir"]
+           "LAL=false", "XMLADA=false", "prefix=install_dir",
+           "PRJ_BUILD=Release"]
 
 [[depends-on]]
 make = "*"
 xmlada = "~21.0.0"
 gnat = ">=9"
+openssl = "*"
 
 [gpr-externals]
 LIBRARY_TYPE = ["static", "relocatable"]
@@ -33,9 +35,11 @@ PRJ_LAL="Disabled"
 [gpr-set-externals."case(os)".linux]
 PRJ_TARGET = "UNIX"
 TARGET = "x86_64-linux-gnu"
+SOCKET = "openssl"
 
 [gpr-set-externals."case(os)".macos]
 PRJ_TARGET = "Darwin"
+SOCKET = "openssl"
 
 [gpr-set-externals."case(os)".windows]
 PRJ_TARGET = "Windows_NT"

index/aw/aws/aws-23.0.0.toml

@@ -0,0 +1,53 @@
+description = "Ada Web Server"
+website = "https://github.com/adacore/aws"
+name = "aws"
+version = "23.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["aws.gpr"]
+tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
+
+# Since the AWS project doesn't build alone with just gprbuild we build and
+# install with the Makefile from post-fetch action.
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup", "ZLIB=false", "DEMOS=false",
+           "LAL=false", "XMLADA=false", "SOCKET=openssl", "prefix=install_dir",
+           "PRJ_BUILD=Release"]
+
+[[depends-on]]
+xmlada = "~23.0.0"
+gnatcoll = "~23.0.0"
+make = "*"
+gnat = ">=12"
+openssl = "*"
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable"]
+PRJ_BUILD = ["Debug", "Release"]
+PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
+PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
+
+[gpr-set-externals]
+PRJ_LDAP="Disabled"
+PRJ_LAL="Disabled"
+
+[gpr-set-externals."case(os)".linux]
+PRJ_TARGET = "UNIX"
+TARGET = "x86_64-pc-linux-gnu"
+
+[gpr-set-externals."case(os)".macos]
+PRJ_TARGET = "Darwin"
+TARGET = "x86_64-apple-darwin19.6.0"
+
+[gpr-set-externals."case(os)".windows]
+PRJ_TARGET = "Windows_NT"
+TARGET = "x86_64-w64-mingw32"
+
+[origin]
+# The archive is built with git archive to include templates-parser sub-module:
+# $ git-archive-all --prefix=aws-23.0.0 aws-23.0.0.zip
+url= "https://github.com/AdaCore/aws/releases/download/v23.0.0/aws-23.0.0.zip"
+hashes=["sha512:6c406859155c76bf9ca954e12eebf4f9985bbdef8c0151273df4eb86c6f5f9018e5800d7359f61a6a0b25eaa548de511180113f8abfdf38b211f594c5cbdfca5"]

index/aw/aws/aws-24.0.0.toml

@@ -0,0 +1,37 @@
+description = "Ada Web Server"
+website = "https://github.com/adacore/aws"
+name = "aws"
+version = "24.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["install_dir/share/gpr/aws.gpr"]
+tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
+
+# Since the AWS project doesn't build alone with just gprbuild we build and
+# install with the Makefile from post-fetch actions.
+[[actions]]
+type = "post-fetch"
+command = ["make", "setup", "ZLIB=false", "DEMOS=false",
+           "LAL=false", "XMLADA=false", "SOCKET=openssl", "prefix=install_dir",
+           "PRJ_BUILD=Release"]
+[[actions]]
+type = "post-fetch"
+command = ["make", "all", "ENABLE_SHARED=false"]
+[[actions]]
+type = "post-fetch"
+command = ["make", "install-lib-native", "install-tools-native", "--jobs=1", "ENABLE_SHARED=false"]
+
+[[depends-on]]
+xmlada = "~24.0.0"
+gnatcoll = "~24.0.0"
+make = "*"
+gnat = ">=12"
+openssl = "*"
+
+[origin]
+# The archive is built with git archive to include templates-parser sub-module:
+# $ git-archive-all --prefix=aws-24.0.0 aws-24.0.0-with-templates-parser.zip
+url="https://github.com/AdaCore/aws/releases/download/v24.0.0/aws-24.0.0-with-templates-parser.zip"
+hashes=['sha512:2b75fe6dc1bf676b6bd949354e352a94c918c109f8065179634ccba6e17329ba48163deb4bceb506eaf1e2a1446378bbe3439ea007a7dc5dd77286e56b497c4c']

index/ay/ayacc/ayacc-1.4.0.toml

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

index/ay/ayacc/ayacc-1.4.1.toml

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

index/ba/bar_codes/bar_codes-2.0.0.toml

@@ -6,6 +6,8 @@ licenses = "MIT"
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
 project-files = ["bar_codes_gnat.gpr"]
+tags = ["bar", "code", "qr", "code128"]
+executables = ["bar_codes_demo"]
 
 [gpr-externals]
 Build_Mode = ["Debug", "Fast", "Check_2005", "Check_Style"]

index/ba/basalt/basalt-0.3.0-1.toml

@@ -0,0 +1,11 @@
+description = "Collection of formally verified building blocks (legacy annotations)"
+name = "basalt"
+version = "0.3.0-1"
+licenses = "AGPL-3.0-only"
+maintainers = ["kliemann@adacore.com"]
+maintainers-logins = ["jklmnn"]
+tags = ["embedded", "nostd", "queue", "spark", "stack", "string", "utils"]
+
+[origin]
+url = "https://github.com/Componolit/basalt/archive/refs/tags/v0.3.0-1.tar.gz"
+hashes = ["sha512:f970b41598216e040ece5e673689b7fb87153721ec11c596f63bb79df2f3b0a84e8ed2c0da462f98abeacb79ce30f5c1558aa36f935188f5a0e46c0685585f5a"]

index/ba/basalt/basalt-0.3.0.toml

@@ -0,0 +1,11 @@
+description = "Collection of formally verified building blocks"
+name = "basalt"
+version = "0.3.0"
+licenses = "AGPL-3.0-only"
+maintainers = ["kliemann@adacore.com"]
+maintainers-logins = ["jklmnn"]
+tags = ["embedded", "nostd", "queue", "spark", "stack", "string", "utils"]
+
+[origin]
+url = "https://github.com/Componolit/basalt/archive/v0.3.0.tar.gz"
+hashes = ["sha512:bbbf5ac9ac03ef85125b93a23541848fddf42a6ba878a6d35fe0282338b5e0f5c68a3be97dd7e3964bb01744e3ae4589a6ace3faceab9de9971c9d7860c40ae1"]

index/bb/bbqueue/bbqueue-0.3.1.toml

@@ -0,0 +1,22 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.3.1"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[[depends-on]]
+atomic = "~0.5"
+gnat = ">=10"
+
+[origin]
+commit = "24c1ae73dfd44f9361ea8b0f42c1f0a91fddc0e8"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+

index/bb/bbqueue/bbqueue-0.3.2.toml

@@ -0,0 +1,25 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.3.2"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[build-switches]
+release.runtime_checks = "none"
+
+[[depends-on]]
+atomic = "~0.5"
+gnat = ">=10"
+
+[origin]
+commit = "5e5007cf9d767f06c12b737a155eb608c58942b3"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+

index/bi/bingada/bingada-1.0.0.toml

@@ -0,0 +1,25 @@
+name = "bingada"
+description = "Bingo application in GTKAda with sound in ASFML"
+version = "1.0.0"
+
+authors = ["Javier Fuica Fernández", "Manuel Gómez"]
+maintainers = ["Manuel Gómez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "MIT"
+website = "https://github.com/jfuica/bingada"
+tags = ["bingo", "game", "chance", "family", "sound", "gtk", "sfml"]
+
+executables = ["bingada"]
+
+[[depends-on]]  # This line was added by `alr with`
+gtkada = "^21.0.0"  # This line was added by `alr with`
+
+
+[[depends-on]]  # This line was added by `alr with`
+asfml = "^2.5.0"  # This line was added by `alr with`
+
+[origin]
+commit = "a25771e2de2d5abbc7058e442ef7c8cdbeca8600"
+url = "git+https://github.com/jfuica/bingada.git"
+

index/bm/bme280/bme280-1.0.0.toml

@@ -0,0 +1,30 @@
+name = "bme280"
+description = "Driver for BME280 Humidity sensor"
+version = "1.0.0"
+
+authors = ["Max Reznik"]
+maintainers = ["Max Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+website = "https://github.com/reznikmm/bme280"
+tags = ["sensor", "humidity", "temperature", "pressure", "driver"]
+project-files = ["gnat/bme280.gpr"]
+
+[configuration]
+output_dir = "gnat"
+generate_ada = false
+generate_c = false
+
+[build-switches]
+development.optimization = ["-O0"]
+development.style_checks = ["-gnaty"]
+development.contracts = "Yes"
+
+[[depends-on]]
+hal = "~0.3.0"
+gnat = ">=11 & <2000" # Uses Ada 2022 syntax
+
+[origin]
+commit = "85a38919aa896c4c2a66825a135c87149224044c"
+url = "git+https://github.com/reznikmm/bme280.git"
+

index/ca/canberra_ada/canberra_ada-2.0.2.toml

@@ -0,0 +1,25 @@
+name = "canberra_ada"
+description = "Ada 2012 bindings for libcanberra"
+version = "2.0.2"
+website = "https://github.com/onox/canberra-ada"
+licenses = "Apache-2.0"
+tags = ["canberra", "audio", "sound", "linux"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[available.'case(os)']
+linux = true
+'...' = false
+
+[[depends-on]]
+libcanberra = "~0.30.0"
+
+[build-switches]
+validation.compile_checks = "warnings"
+"*".style_checks = ["-gnatygAOM99-Is"]
+
+[origin]
+commit = "75660acaba2656f3ef165d8a649f4a6e8e83a834"
+url = "git+https://github.com/onox/canberra-ada.git"

index/ca/cashe/cashe-1.0.0.toml

@@ -0,0 +1,20 @@
+name = "cashe"
+description = "A fixed-point decimal money library written in Ada."
+version = "1.0.0"
+licenses = "MIT"
+
+website = "https://github.com/AJ-Ianozi/Cashe/"
+tags = [ "currency", "money", "decimal", "finance" ]
+
+authors = ["AJ Ianozi"]
+maintainers = ["AJ Ianozi <aj@ianozi.com>"]
+maintainers-logins = ["AJ-Ianozi"]
+
+[[depends-on]]
+iso = "^2.0.0"
+gnat = ">=12 & <2000"
+
+[origin]
+commit = "d142893b6036e384daa3e8a9172f133c204ee5a7"
+url = "git+https://github.com/AJ-Ianozi/Cashe.git"
+

index/cb/cbsg/cbsg-0.0.1.toml

@@ -0,0 +1,15 @@
+name = "cbsg"
+description = "Corporate Bullshit Generator library"
+version = "0.0.1"
+
+authors = ["Gautier de Montmollin"]
+maintainers = ["Frédéric Praca <frederic.praca@free.fr>"]
+maintainers-logins = ["FredPraca"]
+tags = [ "text", "console"]
+licenses = "Apache-2.0"
+website = "http://cbsg.sf.net/"
+
+[origin]
+commit = "afef1379f890ad1a367526779b469d7cd5e35874"
+url = "git+https://github.com/FredPraca/cbsg.git"
+

index/ch/chacha20/chacha20-0.1.0.toml

@@ -0,0 +1,15 @@
+name = "chacha20"
+description = "ChaCha20 implementation in Ada."
+version = "0.1.0"
+
+authors = ["Mateus de Lima Oliveira"]
+maintainers = ["Mateus de Lima Oliveira <mateus@ativarsoft.com>"]
+maintainers-logins = ["m4t3uz"]
+licenses = "MIT"
+website = "https://ativarsoft.com"
+tags = ["chacha20", "security", "cryptography"]
+
+[origin]
+commit = "bdbedfe4a7a49c74512919aed02a2dbecfa82c72"
+url = "git+https://github.com/m4t3uz/chacha20.git"
+

index/cl/clic/clic-0.3.0.toml

@@ -0,0 +1,28 @@
+name = "clic"
+description = "Command Line Interface Components"
+version = "0.3.0"
+
+authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
+maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["mosteo", "Fabien-Chouteau"]
+licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["cli", "command-line", "user-input", "tty"]
+website = "https://github.com/alire-project/clic"
+long-description = """
+Command Line Interface Components:
+ - "git like" subcommand handling
+ - TTY color and formatting
+ - User input queries
+ - User configuration
+"""
+
+[[depends-on]]
+aaa = "~0.2.4"
+simple_logging = "^1.2.0"
+ansiada = "^1.0"
+ada_toml = "~0.2|~0.3"
+
+[origin]
+commit = "56bbdc008e16996b6f76e443fd0165a240de1b13"
+url = "git+https://github.com/alire-project/clic.git"
+

index/co/cobs/cobs-1.1.0.toml

@@ -0,0 +1,18 @@
+name = "cobs"
+description = "Consistent Overhead Byte Stuffing (COBS) encoder/decoder"
+version = "1.1.0"
+
+licenses = "MIT"
+authors = ["Daniel King"]
+maintainers = ["Daniel King <damaki.gh@gmail.com>"]
+maintainers-logins = ["damaki"]
+website = "https://github.com/damaki/cobs"
+tags = ["cobs", "spark", "embedded", "nostd"]
+
+[[depends-on]]
+gnat = ">=11.0.0"
+
+[origin]
+commit = "8c35e29aee6387f158a086f6bbf4ca3612b2b2dd"
+url = "git+https://github.com/damaki/cobs.git"
+