gtkada-23.0-20220512

2022-06-10 17:12:18 +02:00
678 changed files with 651 additions and 18507 deletions
@@ -1,10 +0,0 @@
-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.
@@ -1,35 +0,0 @@
-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 stable `alr`
-      uses: alire-project/setup-alire@v3
-
-    - name: Test authorship
-      run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
-      shell: bash
@@ -0,0 +1,106 @@
+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
@@ -1,70 +0,0 @@
-# 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: 2.0.1
-
-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@v3
-      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@v3
-      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
@@ -1,63 +0,0 @@
-# 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
-  PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  build:
-    name: ${{ matrix.os }}
-
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      fail-fast: false
-      matrix:
-        os:
-          - macos-12
-          - 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@v3
-      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: ${{env.PACMAN}} --noconfirm -S tar
-
-    - name: Test crate
-      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
-      shell: bash
@@ -1,13 +1,5 @@
-# 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: 2.0.1
-  PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
+name: Toolchain
+# Build the submitted crate with a native toolchain from Alire

 on:
  pull_request:
@@ -22,10 +14,9 @@ jobs:
    runs-on: ${{ matrix.os }}

    strategy:
-      fail-fast: false
      matrix:
        os:
-          - macos-12
+          - macos-latest
          - ubuntu-latest
          - windows-latest

@@ -39,31 +30,38 @@ jobs:
        # changed files detectors (in both scripts/gh-build-crate.sh and
        # check-author action).

-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
+    # For the devel branch we need a compiler available to build alr in
+    # setup-alire. We will be able to get rid of this once composite actions
+    # support conditional steps.

-    # By default, this also sets up the newest indexed native toolchain
+    - name: Set up GNAT toolchain (FSF)
+      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
+    # By default, this sets up the newest indexed native toolchain
    - name: Set up stable `alr`
      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v3
-      with:
-        version: ${{env.ALR_VERSION}}
+      uses: alire-project/setup-alire@v1

-    # By default, this also sets up the newest indexed native toolchain
+    # 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@v3
+      uses: alire-project/setup-alire@v1
      with:
        branch: 'master'

    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
      if: matrix.os == 'windows-latest'
-      run: ${{env.PACMAN}} --noconfirm -S tar
+      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar

    - name: Test crate
-      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      run: scripts/gh-build-crate.sh
      shell: bash
@@ -1,63 +0,0 @@
-# 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
-  ALR_VERSION: 2.0.1
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  build:
-    name: ${{ matrix.os }}
-
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      fail-fast: false
-      matrix:
-        os:
-          - macos-12
-
-    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`
-      uses: alire-project/setup-alire@v3
-      with:
-        version: ${{env.ALR_VERSION}}
-
-    - 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
@@ -1,19 +0,0 @@
-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
@@ -1,15 +1,8 @@
-# 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: 2.0.1
-
 on:
  pull_request:
    paths:
@@ -17,7 +10,7 @@ on:

 jobs:

-  DIFF:
+  diff:

    runs-on: ubuntu-latest

@@ -30,27 +23,31 @@ 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@v3
+      uses: alire-project/setup-alire@v1
      with:
        toolchain: --disable-assistant # We don't need the compiler
-        version: ${{env.ALR_VERSION}}
+
+    - name: Set up GNAT toolchain (FSF)
+      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community

    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v3
+      uses: alire-project/setup-alire@v1
      with:
        toolchain: --disable-assistant # We don't need the compiler
        branch: master

-    - name: <<DIFF RELEASES>>
-      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
+    - name: Diff releases
+      run: scripts/diff-release.sh || true # No deal breaker if failed
      shell: bash
@@ -1,25 +1,28 @@
-name: Check Index
-
-env:
-  ALR_VERSION: 2.0.1
-
+name: Check PR
 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@v3
+      uses: alire-project/setup-alire@v1
+
+    - name: Set up GNAT for devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: ada-actions/toolchain@ce2020
      with:
-        version: ${{env.ALR_VERSION}}
+        distrib: fsf

    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v3
+      uses: alire-project/setup-alire@v1
      with:
        branch: master

@@ -30,6 +33,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
@@ -1,8 +0,0 @@
-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"]
@@ -1,9 +0,0 @@
-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`
@@ -1,33 +0,0 @@
-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"]
@@ -1,107 +0,0 @@
-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"]
@@ -1,22 +0,0 @@
-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"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,54 +0,0 @@
-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"
-
@@ -1,55 +0,0 @@
-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"
-
@@ -1,55 +0,0 @@
-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"
-
@@ -1,60 +0,0 @@
-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"
-
@@ -1,63 +0,0 @@
-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"
-
@@ -1,63 +0,0 @@
-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"
-
@@ -1,19 +0,0 @@
-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"
-
@@ -1,36 +0,0 @@
-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"
-
@@ -1,45 +0,0 @@
-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"
-
@@ -1,24 +0,0 @@
-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']
@@ -1,38 +0,0 @@
-description = "Middleware layer of the Ada Drivers Library project"
-long-description = '''# adl_middleware
-
-Middleware layer of the Ada Drivers Library project.
-
-This crate is a snapshot of the `middleware` of [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "adl_middleware"
-version = "0.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"
-
@@ -1,26 +0,0 @@
-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"]
@@ -1,61 +0,0 @@
-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"
-
@@ -1,61 +0,0 @@
-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"
-
@@ -1,44 +0,0 @@
-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"
-
@@ -1,45 +0,0 @@
-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"
-
@@ -1,36 +0,0 @@
-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"
-
@@ -1,37 +0,0 @@
-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"
-
@@ -1,36 +0,0 @@
-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"
-
@@ -1,37 +0,0 @@
-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"
-
@@ -1,36 +0,0 @@
-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"
-
@@ -1,37 +0,0 @@
-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"
-
@@ -1,47 +0,0 @@
-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"
-
@@ -1,47 +0,0 @@
-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"
-
@@ -1,85 +0,0 @@
-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"
-
@@ -1,86 +0,0 @@
-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"
-
@@ -1,55 +0,0 @@
-name = "alr2appimage"
-description = "Tool to create an AppImage executable from an Alire crate"
-version = "0.9.2"
-website = "https://github.com/mgrojo/alr2appimage"
-long-description = """
-There are two prerequisites for your project to work with this tool:
- It has to be a crate with an `executables` field. Its first value
-  has to be the main application program.
- It must be installable using Alire, including all the needed resources.
-
-`alr2appimage` will use the following command for installing it (this requires Alire 2.0):
-```shell
-alr install
-```
-Or it will run `gprinstall` inside `alr exec`, if the former fails (Alire 1.x).
-
-If you simply run the tool inside an Alire crate, it will read the
-metadata from your `alire.toml` file and create a default AppImage
-from it.
-
-NOTE: `alr2appimage` is an independent project; it is not
-affiliated to, nor supported by, the Alire or AppImage projects.
-
-"""
-licenses = "GPL-3.0-only"
-
-tags = ["utility", "appimage", "alire", "linux", "packaging"]
-
-authors = ["Manuel Gomez"]
-maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
-maintainers-logins = ["mgrojo"]
-
-executables = ["alr2appimage"]
-[[depends-on]]
-ada_toml = "^0.3.0"
-
-[[depends-on]]
-spoon = "^1.0.1"
-
-[[depends-on]]
-parse_args = "~0.9.0"
-
-[[depends-on]]
-resources = "~0.1.0"
-
-[available.'case(os)']
-'linux' = true
-'...' = false
-
-[build-switches]
-"*".style_checks = ["-gnaty3abBCrfklM99nptx"]
-[origin]
-commit = "71ae65731924e10a675590c2ccec774640820786"
-url = "git+https://github.com/mgrojo/alr2appimage.git"
-
@@ -1,55 +0,0 @@
-name = "alr2appimage"
-description = "Tool to create an AppImage executable from an Alire crate"
-version = "0.9.3"
-website = "https://github.com/mgrojo/alr2appimage"
-long-description = """
-There are two prerequisites for your project to work with this tool:
- It has to be a crate with an `executables` field. Its first value
-  has to be the main application program.
- It must be installable using Alire, including all the needed resources.
-
-`alr2appimage` will use the following command for installing it (this requires Alire 2.0):
-```shell
-alr install
-```
-Or it will run `gprinstall` inside `alr exec`, if the former fails (Alire 1.x).
-
-If you simply run the tool inside an Alire crate, it will read the
-metadata from your `alire.toml` file and create a default AppImage
-from it.
-
-NOTE: `alr2appimage` is an independent project; it is not
-affiliated to, nor supported by, the Alire or AppImage projects.
-
-"""
-licenses = "GPL-3.0-only"
-
-tags = ["utility", "appimage", "alire", "linux", "packaging"]
-
-authors = ["Manuel Gomez"]
-maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
-maintainers-logins = ["mgrojo"]
-
-executables = ["alr2appimage"]
-[[depends-on]]
-ada_toml = "^0.3.0"
-
-[[depends-on]]
-spoon = "^1.0.1"
-
-[[depends-on]]
-parse_args = "~0.9.0"
-
-[[depends-on]]
-resources = "~0.1.0"
-
-[available.'case(os)']
-'linux' = true
-'...' = false
-
-[build-switches]
-"*".style_checks = ["-gnaty3abBCrfklM99nptx"]
-[origin]
-commit = "fba60fa7465d49f08ca30eac5e9b121d1ae5e6a4"
-url = "git+https://github.com/mgrojo/alr2appimage.git"
-
@@ -2,12 +2,10 @@ 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"]
@@ -1,55 +0,0 @@
-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"]
@@ -1,91 +0,0 @@
-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"
-
@@ -1,91 +0,0 @@
-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"
-
@@ -1,19 +0,0 @@
-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"
-
@@ -1,19 +0,0 @@
-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"
-
@@ -1,40 +0,0 @@
-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"
-
@@ -1,39 +0,0 @@
-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"
-
@@ -1,39 +0,0 @@
-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"
-
@@ -1,27 +0,0 @@
-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"
-
@@ -1,60 +0,0 @@
-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"
-
@@ -1,72 +0,0 @@
-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"
-
@@ -1,80 +0,0 @@
-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"
-
@@ -1,80 +0,0 @@
-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"
-
@@ -1,79 +0,0 @@
-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"
-
@@ -1,19 +0,0 @@
-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"
-
@@ -1,20 +0,0 @@
-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"]
@@ -1,20 +0,0 @@
-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']
@@ -1,21 +0,0 @@
-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"
-
@@ -1,23 +0,0 @@
-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"
-
@@ -1,18 +0,0 @@
-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"
-
@@ -1,18 +0,0 @@
-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"
-
@@ -1,32 +0,0 @@
-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"
-
@@ -1,32 +0,0 @@
-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"
-
@@ -1,32 +0,0 @@
-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"
-
@@ -1,32 +0,0 @@
-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"
-
@@ -1,20 +0,0 @@
-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"
-
@@ -1,20 +0,0 @@
-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"
-
@@ -1,20 +0,0 @@
-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"
-
@@ -1,20 +0,0 @@
-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"
-
@@ -1,20 +0,0 @@
-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"
-
@@ -1,24 +0,0 @@
-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"
-
@@ -1,24 +0,0 @@
-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"
-
@@ -1,80 +0,0 @@
-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"
-
@@ -1,43 +0,0 @@
-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"
-
@@ -14,14 +14,12 @@ 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",
-           "PRJ_BUILD=Release"]
+           "LAL=false", "XMLADA=false", "prefix=install_dir"]

 [[depends-on]]
 make = "*"
 xmlada = "~21.0.0"
 gnat = ">=9"
-openssl = "*"

 [gpr-externals]
 LIBRARY_TYPE = ["static", "relocatable"]
@@ -35,11 +33,9 @@ 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"
@@ -1,53 +0,0 @@
-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"]
@@ -1,37 +0,0 @@
-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']
@@ -1,47 +0,0 @@
-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"
-
@@ -1,47 +0,0 @@
-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"
-
@@ -6,8 +6,6 @@ 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"]
@@ -1,11 +0,0 @@
-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"]
@@ -1,11 +0,0 @@
-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"]
@@ -1,22 +0,0 @@
-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"
-
@@ -1,25 +0,0 @@
-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"
-
@@ -1,25 +0,0 @@
-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"
-
@@ -1,30 +0,0 @@
-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"
-
@@ -1,25 +0,0 @@
-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"
@@ -1,20 +0,0 @@
-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"
-
@@ -1,15 +0,0 @@
-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"
-
@@ -1,15 +0,0 @@
-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"
-
--- a/Show More
+++ b/Show More