Ensure all alr runs are non-interactive

.github/TESTING

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

.github/workflows/authorship.yml

@@ -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@v4
-      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@v4
-      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@v4
-
-    - name: Test authorship
-      run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
-      shell: bash

.github/workflows/build-crate.yml

@@ -0,0 +1,102 @@
+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: Set up GNAT toolchain (FSF)
+      if: matrix.os == 'ubuntu-latest'
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: matrix.os != 'ubuntu-latest'
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
+    - name: Set up stable `alr`
+      if: contains(github.base_ref, 'stable-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@v1
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+        branch: master
+
+    - name: Test crate (Linux)
+      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
+      uses: mosteo/actions@docker-run/v1
+      with:
+        image: alire/gnat:${{matrix.tag}}
+        command: scripts/gh-build-crate.sh
+        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
+
+    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
+      if: matrix.os == 'windows-latest'
+      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
+
+    - name: Test crate (Windows/MacOS)
+      if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
+      run: scripts/gh-build-crate.sh
+      shell: bash

.github/workflows/build-distros.yml

@@ -1,79 +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.2
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  build:
-    name: ${{ matrix.tag }}
-    env:
-      JOB_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
-          # - opensuse-leap           # OpenSUSE has its own GNAT and zypper
-          #   TODO: diagnose and reinstate problems with tar/compiler installation
-          - ubuntu-lts                # Ubuntu LTS is a common Debian derivative
-
-    steps:
-    - name: Check out alire-index
-      uses: actions/checkout@v4
-      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@v4
-      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@v4
-      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@v4
-      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
-          -v ${{ github.event_path}}:/etc/event.json
-          -e GITHUB_EVENT_PATH=/etc/event.json
-          -e GITHUB_REPOSITORY=${{ github.repository }}
-          -e GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }}

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

@@ -1,70 +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 }}
-    env:
-      JOB_NAME: ${{ matrix.os }}
-
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      fail-fast: false
-      matrix:
-        os:
-          - macos-13     # amd64
-          - macos-latest # arm64
-          - ubuntu-latest
-          - windows-latest
-
-    steps:
-    - name: Check out alire-index
-      uses: actions/checkout@v4
-      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@v4
-      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@v4
-      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
-      env:
-        GITHUB_EVENT_PATH: ${{ github.event_path }}
-        GITHUB_REPOSITORY: ${{ github.repository }}
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment

.github/workflows/build-native.yml

@@ -1,13 +1,5 @@
-# Please read the TESTING file before modifying this file
+name: Toolchain
-
+# Build the submitted crate with a native toolchain from Alire
-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.2
-  PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
 
 on:
   pull_request:
@@ -18,23 +10,19 @@ jobs:
 
   build:
     name: ${{ matrix.os }}
-    env:
-      JOB_NAME: ${{ matrix.os }}
 
     runs-on: ${{ matrix.os }}
 
     strategy:
-      fail-fast: false
       matrix:
         os:
-          - macos-13     # amd64
+          - macos-latest
-          - macos-latest # arm64
           - ubuntu-latest
           - windows-latest
 
     steps:
     - name: Check out alire-index
-      uses: actions/checkout@v4
+      uses: actions/checkout@v2
       with:
         fetch-depth: 0
         # Needed to be able to diff and obtain changed files. Furthermore, we
@@ -42,35 +30,38 @@ jobs:
         # changed files detectors (in both scripts/gh-build-crate.sh and
         # check-author action).
 
-    - name: Check out alire-index-checks
+    # For the devel branch we need a compiler available to build alr in
-      uses: actions/checkout@v4
+    # setup-alire. We will be able to get rid of this once composite actions
-      with:
+    # support conditional steps.
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
 
-    # 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@v4
+      uses: alire-project/setup-alire@v1
-      with:
-        version: ${{env.ALR_VERSION}}
 
-    # 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@v4
+      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
-      env:
-        GITHUB_EVENT_PATH: ${{ github.event_path }}
-        GITHUB_REPOSITORY: ${{ github.repository }}
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment

.github/workflows/build-ports.yml

@@ -1,74 +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.2
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  build:
-    name: ${{ matrix.os }}
-    env:
-      JOB_NAME: ${{ matrix.os }}
-
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      fail-fast: false
-      matrix:
-        os:
-          - macos-13     # amd64
-          - macos-latest # arm64
-
-    steps:
-    - name: Check out alire-index
-      uses: actions/checkout@v4
-      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@v4
-      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@v4
-      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: Prefer Quartz to X11 for MacPorts
-      shell: bash
-      run: echo '-x11 +no_x11 +quartz' >> /opt/local/etc/macports/variants.conf
-
-    - name: Test crate
-      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
-      shell: bash
-      env:
-        GITHUB_EVENT_PATH: ${{ github.event_path }}
-        GITHUB_REPOSITORY: ${{ github.repository }}
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment

.github/workflows/check-index.yml

@@ -1,35 +0,0 @@
-name: Check Index
-
-env:
-  ALR_VERSION: 2.0.2
-
-on: pull_request
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-
-    - name: Set up stable `alr`
-      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v4
-      with:
-        version: ${{env.ALR_VERSION}}
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v4
-      with:
-        branch: master
-
-    - run: alr index --list
-
-    - run: alr index --add=. --name=local_index
-
-    # Check index contents for unknown config variables
-    - run: alr index --check
-
-    - run: alr index --update-all
-
-    - run: alr search --crates

.github/workflows/cleaner.yml

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

.github/workflows/diff-release.yml

@@ -1,56 +0,0 @@
-# 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.2
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  DIFF:
-
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Check out alire-index
-      uses: actions/checkout@v4
-      with:
-        fetch-depth: 0
-        # Needed to be able to diff and obtain changed files. Furthermore, we
-        # need the full history or else grafted partial branches confuse the
-        # changed files detector
-
-    - name: Check out alire-index-checks
-      uses: actions/checkout@v4
-      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 don't need the compiler
-        version: ${{env.ALR_VERSION}}
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v4
-      with:
-        toolchain: --disable-assistant # We don't need the compiler
-        branch: master
-
-    - name: <<DIFF RELEASES>>
-      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
-      shell: bash

.github/workflows/main.yml

@@ -0,0 +1,36 @@
+name: Check PR
+on: pull_request
+jobs:
+  build:
+    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@latest-stable
+
+    - name: Set up GNAT for devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf
+
+    - name: Set up devel `alr`
+      if: contains(github.base_ref, 'devel-')
+      uses: alire-project/setup-alire@latest-devel
+
+    - run: alr index --list
+
+    - run: alr index --add=. --name=local_index
+
+    # Check index contents for unknown config variables
+    - run: alr index --check
+
+    - run: alr index --update-all 
+
+    - run: alr search --crates

CHANGELOG.md

@@ -1,7 +0,0 @@
-# Changes to the index format that require versioning
-
-## 1.2
-
-- Build profiles and switches.
-- New `subdir` property in git remotes.
-- New `host-arch` key for case expressions.

future/1.2.2/libstdcpp/libstdcpp-external.toml

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

future/README.md

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

index/a0/a0b_armv7m/a0b_armv7m-0.1.0.toml

@@ -1,34 +0,0 @@
-name = "a0b_armv7m"
-description = "A0B: ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-
-project-files=["gnat/a0b_armv7m.gpr"]
-
-tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
-
-[configuration]
-generate_ada = false
-generate_gpr = true
-generate_c = false
-
-[configuration.variables]
-FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
-
-[[depends-on]]
-gnat_arm_elf = "*"
-a0b_base = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "8727264e0e3b4c87440ff900d82a557dfa216cf4"
-url = "git+https://github.com/godunko/a0b-armv7m.git"
-

index/a0/a0b_armv7m/a0b_armv7m-0.2.0.toml

@@ -1,35 +0,0 @@
-name = "a0b_armv7m"
-description = "A0B: ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
-version = "0.2.0"
-website = "https://github.com/godunko/a0b-base"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-
-project-files=["gnat/a0b_armv7m.gpr"]
-
-tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
-
-[configuration]
-generate_ada = false
-generate_gpr = true
-generate_c = false
-
-[configuration.variables]
-FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
-
-[[depends-on]]
-a0b_base = "*"
-gnat_arm_elf = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "50acd6d03b9bbd6604692098189712a34130340c"
-url = "git+https://github.com/godunko/a0b-armv7m.git"
-

index/a0/a0b_armv7m/a0b_armv7m-0.3.0.toml

@@ -1,35 +0,0 @@
-name = "a0b_armv7m"
-description = "ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
-website = "https://github.com/godunko/a0b-base"
-version = "0.3.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-
-project-files=["gnat/a0b_armv7m.gpr"]
-
-tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
-
-[configuration]
-generate_ada = false
-generate_gpr = true
-generate_c = false
-
-[configuration.variables]
-FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
-
-[[depends-on]]
-a0b_base = "*"
-gnat_arm_elf = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "cf4e40c75068127c315b808565022be3891112c1"
-url = "git+https://github.com/godunko/a0b-armv7m.git"
-

index/a0/a0b_armv7m_systick_clock/a0b_armv7m_systick_clock-0.1.0.toml

@@ -1,33 +0,0 @@
-name = "a0b_armv7m_systick_clock"
-description = "A0B Monotonic Clock by ARMv7M SysTick"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "time", "armv7m"]
-
-project-files = ["gnat/a0b_time_platform.gpr"]
-
-provides = ["a0b_time_platform=0.1.0"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_armv7m = "*"
-
-[[forbids]]
-a0b_armv7m_systick_clock_timer = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "46417dbd3107df4c9512763f49510d8373541a48"
-url = "git+https://github.com/godunko/a0b-armv7m-systick_clock.git"
-

index/a0/a0b_armv7m_systick_clock_timer/a0b_armv7m_systick_clock_timer-0.1.0.toml

@@ -1,25 +0,0 @@
-name = "a0b_armv7m_systick_clock_timer"
-description = "A0B Monotonic Clock and Timer by ARMv7M SysTick"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "time", "timer", "systick"]
-
-project-files = ["gnat/a0b_time_platform.gpr", "gnat/a0b_timer_platform.gpr"]
-
-provides = ["a0b_time_platform=0.1.0", "a0b_timer_platform=0.1.0"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_armv7m = "*"
-
-[origin]
-commit = "825079c39f3674ca94e2fc5b015f0b8c5afda6c3"
-url = "git+https://github.com/godunko/a0b-armv7m-systick_clock_timer.git"
-

index/a0/a0b_atsam3x8e/a0b_atsam3x8e-0.1.0.toml

@@ -1,25 +0,0 @@
-name = "a0b_atsam3x8e"
-description = "A0B ATSAM3X8E MCU Support"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
-
-project-files = ["gnat/a0b_atsam3x8e.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_base = "*"
-gnat_arm_elf = "*"
-
-[origin]
-commit = "31363204286f8f5f5215a021c6a86ebd87ba6056"
-url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
-

index/a0/a0b_atsam3x8e/a0b_atsam3x8e-0.2.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_atsam3x8e"
-description = "A0B ATSAM3X8E MCU Support"
-version = "0.2.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
-
-project-files = ["gnat/a0b_atsam3x8e.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_armv7m = "*"
-gnat_arm_elf = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "994df7d551caa73512a431ea785f3b68d11d899e"
-url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
-

index/a0/a0b_atsam3x8e/a0b_atsam3x8e-0.3.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_atsam3x8e"
-description = "A0B ATSAM3X8E base and SVD package"
-website = "https://github.com/godunko/a0b-stm32f401"
-version = "0.3.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
-
-project-files = ["gnat/a0b_atsam3x8e.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_armv7m = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "87c93b97c09284d4d6973b23ca1d1d793730209a"
-url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
-

index/a0/a0b_atsam3x8e_gpio/a0b_atsam3x8e_gpio-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_atsam3x8e_gpio"
-description = "A0B ATSAM3X8E GPIO/EXTI"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "gpio", "atsam3x8e", "sam3x8e", "arduino", "due"]
-
-project-files = ["gnat/a0b_atsam3x8e_gpio.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_gpio = "*"
-a0b_exti = "*"
-a0b_atsam3x8e = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "331318aec82244e5419f6b9407d9a478db754fad"
-url = "git+https://github.com/godunko/a0b-atsam3x8e-gpio.git"
-

index/a0/a0b_atsam3x8e_tc5_timer/a0b_atsam3x8e_tc5_timer-0.1.0.toml

@@ -1,28 +0,0 @@
-name = "a0b_atsam3x8e_tc5_timer"
-description = "A0B ATSAM3X8E High Resulotion Timer on top of TC5"
-version = "0.1.0"
-provides = ["a0b_timer_platform=0.1.0"]
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "timer", "atsam3x8e", "sam3x8e", "arduino", "due"]
-
-project-files = ["gnat/a0b_timer_platform.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_atsam3x8e = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "a57a8417673016dbfbe3e62b0e454fbc046d8c0b"
-url = "git+https://github.com/godunko/a0b-atsam3x8e-tc5_timer.git"
-

index/a0/a0b_atsam3x8e_twi_i2c/a0b_atsam3x8e_twi_i2c-0.1.0.toml

@@ -1,28 +0,0 @@
-name = "a0b_atsam3x8e_twi_i2c"
-description = "A0B ATSAM3X8E TWI I2C Driver"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["embedded", "i2c", "atsam3x8e", "twi", "arduino", "due"]
-
-project-files = ["gnat/a0b_atsam3x8e_twi_i2c.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_i2c = "*"
-a0b_atsam3x8e_gpio = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "22ca4e5226de9a2a3019354aa84f20ab2403eae6"
-url = "git+https://github.com/godunko/a0b-atsam32x8e-twi-i2c.git"
-

index/a0/a0b_base/a0b_base-0.1.0.toml

@@ -1,19 +0,0 @@
-name = "a0b_base"
-description = "A0B: Base components"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "types", "builtins"]
-
-project-files=["gnat/a0b_base.gpr"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "ae3e56f0be698970859a91eaa88855595b2f777e"
-url = "git+https://github.com/godunko/a0b-base.git"
-

index/a0/a0b_base/a0b_base-0.2.0.toml

@@ -1,19 +0,0 @@
-name = "a0b_base"
-description = "A0B: Base components"
-version = "0.2.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "types", "builtins"]
-
-project-files=["gnat/a0b_base.gpr"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "b8702bfc8b1a4f3b708343072ecbc9da21b89eff"
-url = "git+https://github.com/godunko/a0b-base.git"
-

index/a0/a0b_base/a0b_base-0.3.0.toml

@@ -1,20 +0,0 @@
-name = "a0b_base"
-description = "A0B: Base components"
-version = "0.3.0"
-website = "https://github.com/godunko/a0b-base"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "types", "builtins"]
-
-project-files=["gnat/a0b_base.gpr"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "1270711d1968f3313095079fe5c5bde168a6ebf1"
-url = "git+https://github.com/godunko/a0b-base.git"
-

index/a0/a0b_base/a0b_base-0.4.0.toml

@@ -1,25 +0,0 @@
-name = "a0b_base"
-description = "A0B: Base components"
-website = "https://github.com/godunko/a0b-base"
-version = "0.4.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "types", "builtins"]
-
-project-files=["gnat/a0b_base.gpr"]
-
-[configuration]
-generate_ada = false
-generate_gpr = true
-generate_c = false
-
-[configuration.variables]
-Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"}
-
-[origin]
-commit = "a7acf07031a63eb9d31d51f2bf28dab0799ab5c5"
-url = "git+https://github.com/godunko/a0b-base.git"
-

index/a0/a0b_callbacks/a0b_callbacks-0.1.0.toml

@@ -1,22 +0,0 @@
-name = "a0b_callbacks"
-description = "A0B Callbacks"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["embedded", "callbacks"]
-
-project-files = ["gnat/a0b_callbacks.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-
-[origin]
-commit = "2087a3c368cee421e966b621f6e6b7534077a814"
-url = "git+https://github.com/godunko/a0b-callbacks.git"
-

index/a0/a0b_callbacks/a0b_callbacks-0.2.0.toml

@@ -1,23 +0,0 @@
-name = "a0b_callbacks"
-description = "A0B Callbacks"
-website = "https://github.com/godunko/a0b-callbacks"
-version = "0.2.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "callbacks"]
-
-project-files = ["gnat/a0b_callbacks.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-
-[origin]
-commit = "aaca17d9134068f1d8e3ca2cda771a45d5577d14"
-url = "git+https://github.com/godunko/a0b-callbacks.git"
-

index/a0/a0b_exti/a0b_exti-0.1.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_exti"
-description = "A0B: EXTI API"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "exti"]
-
-project-files = ["gnat/a0b_exti.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_callbacks = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "6090acf5a03d4b9dfc2bf7c9ccf4840e364d95d1"
-url = "git+https://github.com/godunko/a0b-exti.git"
-

index/a0/a0b_gpio/a0b_gpio-0.1.0.toml

@@ -1,29 +0,0 @@
-name = "a0b_gpio"
-description = "A0B GIOP API"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["embedded", "gpio"]
-
-project-files = ["gnat/a0b_gpio.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_base = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "011067c7f5fae261ec4b30e015b324b895e2948b"
-url = "git+https://github.com/godunko/a0b-gpio.git"
-

index/a0/a0b_i2c/a0b_i2c-0.1.0.toml

@@ -1,28 +0,0 @@
-name = "a0b_i2c"
-description = "A0B I2C API"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "i2c"]
-
-project-files = ["gnat/a0b_i2c.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_callbacks = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "67a3e9f5443bdaf500ce46beab1414c73ea4ed8e"
-url = "git+https://github.com/godunko/a0b-i2c.git"
-

index/a0/a0b_stm32f2_generic_exti/a0b_stm32f2_generic_exti-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32f2_generic_exti"
-description = "A0B: STM32F2+ Generic EXTI"
-version = "0.1.0"
-
-website = "https://github.com/godunko/a0b-stm32f2-generic_exti"
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "stm32", "exti"]
-
-project-files = ["gnat/a0b_stm32f2_generic_exti.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_exti = "*"
-a0b_stm32f2_generic_gpio = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "462715064e668a486d4ee4b09819f6f33709941b"
-url = "git+https://github.com/godunko/a0b-stm32f2-generic_exti.git"
-

index/a0/a0b_stm32f2_generic_gpio/a0b_stm32f2_generic_gpio-0.1.0.toml

@@ -1,29 +0,0 @@
-name = "a0b_stm32f2_generic_gpio"
-description = "A0B: STM32F2+ Generic GPIO"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "stm32", "gpio"]
-
-project-files = ["gnat/a0b_stm32f2_generic_gpio.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_gpio = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "8f38aacb92d84b69bcc702b740bad5eeb366631b"
-url = "git+https://github.com/godunko/a0b-stm32f2-generic_gpio.git"
-

index/a0/a0b_stm32f401/a0b_stm32f401-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32f401"
-description = "A0B: STM32F401 base and SVD package"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
-
-project-files = ["gnat/a0b_stm32f401.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_armv7m="*"
-a0b_base = "*"
-gnat_arm_elf="*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "c9b0dbbe547baf12d2d06f483dbf4d64c6485ff3"
-url = "git+https://github.com/godunko/a0b-stm32f401.git"
-

index/a0/a0b_stm32f401/a0b_stm32f401-0.2.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_stm32f401"
-description = "A0B: STM32F401 base and SVD package"
-version = "0.2.0"
-website = "https://github.com/godunko/a0b-stm32f401"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
-
-project-files = ["gnat/a0b_stm32f401.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_armv7m="*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "290ce149a071aed877007bd7f6127556dd0e3da0"
-url = "git+https://github.com/godunko/a0b-stm32f401.git"
-

index/a0/a0b_stm32f401_dma/a0b_stm32f401_dma-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32f401_dma"
-description = "A0B: STM32F401 DMA"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "dma", "stm32", "stm32f4", "stm32f401"]
-
-project-files = ["gnat/a0b_stm32f401_dma.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_callbacks = "*"
-a0b_stm32f401 = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "12b38cb33dfd7646c152091a82c1173c3ffa0442"
-url = "git+https://github.com/godunko/a0b-stm32f401-dma.git"
-

index/a0/a0b_stm32f401_gpio/a0b_stm32f401_gpio-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32f401_gpio"
-description = "A0B: STM32F401 GPIO/EXTI"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "stm32", "stm32f401", "gpio", "exti"]
-
-project-files = ["gnat/a0b_stm32f401_gpio.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_exti = "*"
-a0b_gpio = "*"
-a0b_stm32f401 = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "ebe3a94278642ecd18ae693a0517bf70ac28d76e"
-url = "git+https://github.com/godunko/a0b-stm32f401-gpio.git"
-

index/a0/a0b_stm32f401_i2c/a0b_stm32f401_i2c-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32f401_i2c"
-description = "A0B: STM32F401 I2C"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "i2c", "stm32", "stm32f4", "stm32f401"]
-
-project-files = ["gnat/a0b_stm32f401_i2c.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_i2c = "*"
-a0b_stm32f401_dma = "*"
-a0b_stm32f401_gpio = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "1974923691493f57c9bdde889866c82cc01b5a5c"
-url = "git+https://github.com/godunko/a0b-stm32f401-i2c.git"
-

index/a0/a0b_stm32f401_tim11_timer/a0b_stm32f401_tim11_timer-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32f401_tim11_timer"
-description = "A0B: Timer based on STM32F401 TIM11"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "timer", "stm32", "stm32f4", "stm32f401"]
-
-project-files = ["gnat/a0b_timer_platform.gpr"]
-provides = ["a0b_timer_platform=0.1.0"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_stm32f401 = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "ba04b148d16743bbf6b1f18e5c0586fa7cca2d9e"
-url = "git+https://github.com/godunko/a0b-stm32f401-tim11_timer.git"
-

index/a0/a0b_stm32g4/a0b_stm32g4-0.1.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_stm32g4"
-description = "A0B: STM32G4 base support"
-version = "0.1.0"
-
-website = "https://github.com/godunko/a0b-stm32g4"
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "stm32", "stm32g4"]
-
-project-files = ["gnat/a0b_stm32g4.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_armv7m="*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "b78590b950a83ffaef2626d112dbf6979b99c80d"
-url = "git+https://github.com/godunko/a0b-stm32g4.git"
-

index/a0/a0b_stm32g474/a0b_stm32g474-0.1.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_stm32g474"
-description = "A0B: STM32G474 base support and SVD files"
-version = "0.1.0"
-
-website = "https://github.com/godunko/a0b-stm32g474"
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "stm32", "stm32g4", "stm32g474"]
-
-project-files = ["gnat/a0b_stm32g474.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_stm32g4 ="*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "b5a23766903099f974120678719a8ba09355863f"
-url = "git+https://github.com/godunko/a0b-stm32g474.git"
-

index/a0/a0b_stm32g474_gpio/a0b_stm32g474_gpio-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32g474_gpio"
-description = "A0B: STM32G474 GPIO/EXTI"
-version = "0.1.0"
-
-website = "https://github.com/godunko/a0b-stm32g474-gpio"
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "gpio", "exti", "stm32", "stm32g4", "stm32g474"]
-
-project-files = ["gnat/a0b_stm32g474_gpio.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_stm32g4_gpio = "*"
-a0b_stm32g474 = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "00017fb2e5b7904d8603017eb347b747df4acda4"
-url = "git+https://github.com/godunko/a0b-stm32g474-gpio.git"
-

index/a0/a0b_stm32g4_gpio/a0b_stm32g4_gpio-0.1.0.toml

@@ -1,30 +0,0 @@
-name = "a0b_stm32g4_gpio"
-description = "A0B: STM32G4 GPIO"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "stm32", "stm32g4", "gpio", "exti"]
-
-project-files = ["gnat/a0b_stm32g4_gpio.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_stm32f2_generic_exti = "*"
-a0b_stm32g4 = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "2bc15160646b448fd070310dfd2110419ed86a73"
-url = "git+https://github.com/godunko/a0b-stm32g4-gpio.git"
-

index/a0/a0b_stm32h723/a0b_stm32h723-0.1.0.toml

@@ -1,31 +0,0 @@
-name = "a0b_stm32h723"
-description = "STM32H723 base and SVD package"
-website = "https://github.com/godunko/a0b-stm32h723"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-
-project-files=["gnat/a0b_stm32h723.gpr"]
-
-tags = ["a0b", "embedded", "svd", "stm32", "stm32h7", "stm32h723"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-a0b_armv7m = "*"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "fa53524f934264edaed2ec5482ccb0bc8c8e83ab"
-url = "git+https://github.com/godunko/a0b-stm32h723.git"
-

index/a0/a0b_time/a0b_time-0.1.0.toml

@@ -1,23 +0,0 @@
-name = "a0b_time"
-description = "A0B Monotonic Time"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "time"]
-
-project-files = ["gnat/a0b_time.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_time_platform = "0.1.0"
-
-[origin]
-commit = "83e4276026a6a9e099920fc4ef6ec09a876c75ea"
-url = "git+https://github.com/godunko/a0b-time.git"
-

index/a0/a0b_time/a0b_time-0.2.0.toml

@@ -1,28 +0,0 @@
-name = "a0b_time"
-description = "A0B Monotonic Time"
-version = "0.2.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "time"]
-
-project-files = ["gnat/a0b_time.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_time_platform = "0.1.0"
-
-[[actions]]
-type = "test"
-directory = "selftest"
-command = ["alr", "build"]
-
-[origin]
-commit = "fe82dcefa0416c4dce8d0b7ce71f9b04419d2fb5"
-url = "git+https://github.com/godunko/a0b-time.git"
-

index/a0/a0b_timer/a0b_timer-0.1.0.toml

@@ -1,25 +0,0 @@
-name = "a0b_timer"
-description = "A0B Timer"
-version = "0.1.0"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-tags = ["a0b", "embedded", "timer"]
-
-project-files = ["gnat/a0b_timer.gpr"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-a0b_base = "*"
-a0b_callbacks = "*"
-a0b_time = "*"
-a0b_timer_platform = "0.1.0"
-
-[origin]
-commit = "8fb913ab0f7a5d25ef511b7be96e3e909b5d2447"
-url = "git+https://github.com/godunko/a0b-timer.git"
-

index/aa/aaa/aaa-0.2.5.toml

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

index/aa/aaa/aaa-0.2.6.toml

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

index/aa/aaa/aaa-0.3.0.toml

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

index/aa/aaa_texts/aaa_texts-0.3.0.toml

@@ -1,25 +0,0 @@
-name = "aaa_texts"
-description = "Utilities to deal with enriched human texts (ANSI, Unicode)"
-version = "0.3.0"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-licenses = "LGPL-3.0-only"
-website = "https://github.com/mosteo/aaa"
-tags = ["unicode", "ansi", "console", "terminal", "tables"]
-
-[[depends-on]]
-aaa     = "~0.3.0"
-ansiada = "^1.1.0"
-lml     = "~0.1.0"
-umwi    = "~0.1.0"
-
-# [test]
-# runner = "alire"
-
-[origin]
-commit = "7bfebd18eb1c9a7eb283ec1a8a05009449239c88"
-subdir = "./aaa_texts/"
-url = "git+https://github.com/mosteo/aaa.git"
-

index/ad/ada_caser/ada_caser-0.1.0.toml

@@ -1,27 +0,0 @@
-name = "ada_caser"
-description = "Applies casing rules to Ada source code."
-version = "0.1.0"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-licenses = "Apache-2.0"
-website = "https://github.com/simonjwright/ada_caser"
-tags = ["ada", "source", "editor", "casing"]
-
-executables = ["ada_caser"]
-
-[[depends-on]]
-gnatcoll = "^25.0.0"
-libadalang = "^25.0.0"
-langkit_support = "^25.0.0"
-vss = "^25.0.0"
-
-# exsytrawo decodes stack traces for macos.
-[depends-on.'case(os)'.macos]
-exsytrawo = "^1.2.0"
-
-[origin]
-commit = "ca30fd1328e91e9c07bbfa85265174c9ca9936ed"
-url = "git+https://github.com/simonjwright/ada_caser.git"
-

index/ad/ada_gui/ada_gui-20240224.0.0.toml

@@ -1,24 +0,0 @@
-name = "ada_gui"
-description = "An Ada-oriented GUI"
-version = "20240224"
-
-authors = ["Jeff Carter"]
-maintainers = ["Bent Bracke <bent@bracke.dk>"]
-maintainers-logins = ["bracke"]
-licenses = "BSD-3-Clause"
-website = "https://github.com/bracke/Ada_GUI"
-tags = ["gui","widgets","html"]
-
-[build-switches]
-"*".style_checks = "No"
-
-[[depends-on]] # Avoid bug in GNAT 13
-gnat = "<13.0 | >=13.3"
-
-[[depends-on]]
-simple_components = "^4.68.0"
-
-[origin]
-commit = "eaae4ffcf5b622d33b9e47c08cd174903b1cadab"
-url = "git+https://github.com/bracke/Ada_GUI.git"
-

index/ad/ada_gui/ada_gui-20240224.0.1.toml

@@ -1,59 +0,0 @@
-name = "ada_gui"
-description = "An Ada-oriented GUI"
-version = "20240224.0.1"
-
-authors = ["Jeff Carter"]
-maintainers = ["Bent Bracke <bent@bracke.dk>"]
-maintainers-logins = ["bracke"]
-licenses = "BSD-3-Clause"
-website = "https://github.com/bracke/Ada_GUI"
-tags = ["gui","widgets","html"]
-
-long-description = """
-# Ada_GUI
-An Ada-oriented GUI
-
-Traditionally, GUIs have been implemented by the client registering callback operations, then giving up its thread of control to the GUI. This is a hack to address the inherent parallelism of a GUI in sequential languages. It results in code that is unnecessarily difficult to understand.
-
-In a concurrent language like Ada, a better design for a GUI is for the GUI to have its own task, so it doesn't require that its client give up a thread of control. GUI events are communicated to the client through a protected queue of events. The client software can be written in the clearest way possible, unconstrained by the GUI.
-
-Ada_GUI is such a GUI.
-
-The purpose of Ada_GUI is to provide the specification, in hopes that multiple implementations will be created. Note that some of the comments in the specification are specific to the sample implementation, and should be removed or modified for other implementations. Especially interesting would be an implementation that is not GNAT specific.
-
-## Sample Implementation
-
-A sample implementation of Ada_GUI is supplied, derived from Gnoga, but simplified, reorganized, and converted to put events on a protected queue rather than call callbacks. The name Gnoga has been retained for the name of the implementation hierarchy, located at Ada_GUI.Gnoga, in recognition. Those parts of Kazakov's Simple Components used by the implementation are provided as well, with some minor modifications. If you have your own version of the Simple Components, you may use it instead: Delete all Ada source files that do not begin with ada_gui.
-
-The sample implementation is reasonably full-featured and useful. The implementation is more responsive than the former proof-of-concept directly on full Gnoga.
-
-The Test directory contains boot.html, boot.js, and jquery.min.js. These files must be available to every Ada-GUI program. It also contains favicon.ico, an icon of Ada.
-
-Show_All creates at least one of each widget. Visibility, playing audio, and responding to key-press events is demonstrated. Changing this program is the easiest way to experiment with the sample implementation. The audio file glass.ogg and image file rgb.jpg are used by Show_All.
-
-Luhn_Gen calculates Luhn checksum digits. Enter the first 15 digits of your credit-card number and it will generate the 16th.
-
-Random_Int is a Gnoga program that has been revised to use Ada GUI instead. It will generate random integers in a desired range.
-
-## Installation of the Sample Implementation
-
-Gnoga and the Simple Components require a recent GNAT compiler, so Ada_GUI cannot be compiled with another compiler. The file gnat.adc is needed to compile the Simple Components extensions to GNAT.Sockets. The use of gnatmake is recommended, as gprbuild is for mixed-language or complicated builds, which this is not. After compiling, it is recommended that you write-protect the .ali files. Typically, you can use a command such as
-
-gnatmake -m -j0 -gnat12 -gnatan -gnato2 -O2 -fstack-check Test/show_all.adb
-
-If you keep the Ada-GUI source files in a single directory, including the Simple Components source files, and have the compiler put the object and .ali files in that directory, then you need only add -I/path/to/Ada_GUI/ to your program's gnatmake command to use Ada_GUI.
-"""
-
-[build-switches]
-"*".style_checks = "No"
-
-[[depends-on]] # Avoid bug in GNAT 13
-gnat = "<13.0 | >=13.3"
-
-[[depends-on]]
-simple_components = "^4.68.0"
-
-[origin]
-commit = "dc57a5593e7a1105458d23dfaf40aa4b13bf01d7"
-url = "git+https://github.com/bracke/Ada_GUI.git"
-

index/ad/ada_language_server/ada_language_server-23.0.0.toml

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

index/ad/ada_language_server/ada_language_server-24.0.0.toml

@@ -1,30 +0,0 @@
-description = "An implementation of the Microsoft's Language Server Protocol for Ada"
-name = "ada_language_server"
-version = "24.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"
-
-[[depends-on]]
-gnatcoll         = "24.0.0"
-libadalang       = "24.0.0"
-libadalang_tools = "24.0.0"
-libgnatdoc       = "24.0.0"
-liblal_refactor  = "24.0.0"
-vss              = "24.0.0"
-spawn            = "24.0.1"
-
-[origin]
-archive-name = "ada_language_server-24.0.0.tar.gz"
-url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v24.0.0.tar.gz"
-hashes = ["sha512:a8b6ee7c6cf4f50589400478809a7e6a8bf12650698a7dea0880029ad882ce8ff2389c4b744b43ed31aef8cd975dc8975e77a991d9900b1842690f29fe45b714"]

index/ad/ada_language_server/ada_language_server-25.0.0.toml

@@ -1,32 +0,0 @@
-description = "An implementation of the Microsoft's Language Server Protocol for Ada"
-name = "ada_language_server"
-version = "25.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"
-
-[[depends-on]]
-gnatcoll         = "25.0.0"
-libadalang       = "25.0.0"
-libadalang_tools = "25.0.0"
-libgnatdoc       = "25.0.0"
-libgnatformat    = "25.0.0"
-liblal_refactor  = "25.0.0"
-prettier_ada     = "25.0.0"
-vss              = "25.0.0"
-spawn            = "25.0.0"
-
-[origin]
-archive-name = "ada_language_server-25.0.0.tar.gz"
-url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v25.0.0.tar.gz"
-hashes = ["sha512:72b68d6be46b8b9b6572f71b5c46ed6c53c218a0d40fb4531300a1014e62512ed19f86352dafaa86f83960d3d3c6c5d10d96e939674546cd94e782451cad89c9"]

index/ad/ada_toml/ada_toml-0.4.0.toml

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

index/ad/ada_toml/ada_toml-0.5.0.toml

@@ -1,107 +0,0 @@
-description = "TOML parser for Ada"
-name = "ada_toml"
-version = "0.5.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.5.tar.gz"
-hashes = ["sha512:33dcb0dddc8023fb3e7893d8c0790e6e30fbb007456dcc327ac0e2b64c20a4d67852c905f176d5e9ab62b5754f571e5d53b82f27d5f86e962ddb6b37949a5410"]

index/ad/adabots/adabots-1.1.0.toml

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

index/ad/adabots/adabots-1.2.0.toml

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

index/ad/adabots/adabots-1.3.0.toml

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

index/ad/adabots/adabots-1.4.0.toml

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

index/ad/adabots/adabots-1.5.0.toml

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

index/ad/adabots/adabots-1.6.0.toml

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

index/ad/adabots/adabots-1.7.0.toml

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

index/ad/adabots/adabots-1.8.0.toml

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

index/ad/adabots/adabots-1.8.1.toml

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

index/ad/adabots/adabots-1.9.0.toml

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

index/ad/adabots/adabots-2.0.0.toml

@@ -1,23 +0,0 @@
-name = "adabots"
-description = "Learn Ada by programming Minecraft robots"
-version = "2.0.0"
-website = "adabots.net"
-
-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 = "bcc39bed3978c8f39624c7a0b3dbbbed005097bd"
-url = "git+https://github.com/TamaMcGlinn/adabots.git"
-

index/ad/adacl/adacl-5.10.2.toml

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

index/ad/adacl/adacl-5.11.0.toml

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

index/ad/adacl/adacl-5.12.0.toml

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

index/ad/adacl/adacl-5.13.1.toml

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

index/ad/adacl/adacl-5.14.1.toml

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

index/ad/adacl/adacl-5.15.1.toml

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

index/ad/adacl/adacl-5.16.0.toml

@@ -1,65 +0,0 @@
-name                        = "adacl"
-description                 = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
-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 access types
-  * generic for arrays types
-  * generic for discrete types
-  * generic for float types
-  * generic for vector 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.16.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", "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_native                 = "^14.2"
-
-[[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:efafbf03188c21a23d5342a636c987e043502475492e5f3d6f8a283e30513878",
-"sha512:283e24530899218bcc73aa0cd11e6139972ddd958784529019a4c7886b36711f71ebce0ae37f58a823ca321db30a20b50754e578207de77f8ae7e707d3a0b928",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.16.0.tgz"
-

index/ad/adacl/adacl-5.16.1.toml

@@ -1,65 +0,0 @@
-name                        = "adacl"
-description                 = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
-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 access types
-  * generic for arrays types
-  * generic for discrete types
-  * generic for float types
-  * generic for vector 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.16.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_native                 = "^14.2"
-
-[[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:5d12aabe67b78c7dee0d9066e4be8175cb8c0a919b80a0a71be512eb7ebdd73e",
-"sha512:44da40822cfa63e8d62999ae3881a5c474ca820fb7a184383ddbc81a32eb87fc3ec8b89f6a2d5ea06324205c793d56b51f4370c6a62387c99f3cc3aeb9985f6e",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.16.1.tgz"
-

index/ad/adacl/adacl-5.9.4.toml

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

index/ad/adacl/adacl-5.9.8.toml

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

index/ad/adacl/adacl-5.9.9.toml

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

index/ad/adacl/adacl-6.0.0.toml

@@ -1,73 +0,0 @@
-name                        = "adacl"
-description                 = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
-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 - with wide character support.
-* String utilities - with wide character support.
-* Trace utility - with wide character support.
-* Smart pointer
-  * Reference counted
-  * Unique pointer
-  * Shared pointer
-* AUnit compatible informative asserts
-  * generic for access types
-  * generic for arrays types
-  * generic for discrete types
-  * generic for floating point types
-  * generic for fixed point types
-  * generic for decimal fixed point types
-  * generic for vector types
-* AUnit parameter
-  * Call one test with multipe input and expected values
-
-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                     = "6.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"]
-website                     = "https://sourceforge.net/projects/adacl/"
-tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-aunit                       = "24.0.0"
-
-[[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:efd190e25b6b60d460ff4b5553f0eb96037d8065fad20fd1066806e2eaafeeda",
-"sha512:a0735f2e5823bdbbdb930026730027fa89fe777bdd1201016e5b8400210af8575f5f4266459904c1e597bdf5cd8158f7747adfa99154d8e6bd2ca7d17e6ac911",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.0.0.tgz"
-

index/ad/adacl/adacl-6.1.0.toml

@@ -1,74 +0,0 @@
-name                        = "adacl"
-description                 = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
-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 - with wide character support.
-* String utilities - with wide character support.
-* Calendar utilities - with wide character support.
-* Trace utility - with wide character support.
-* Smart pointer
-  * Reference counted
-  * Unique pointer
-  * Shared pointer
-* AUnit compatible informative asserts
-  * generic for access types
-  * generic for arrays types
-  * generic for discrete types
-  * generic for floating point types
-  * generic for fixed point types
-  * generic for decimal fixed point types
-  * generic for vector types
-* AUnit parameter
-  * Call one test with multipe input and expected values
-
-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                     = "6.1.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", "container", "smart-pointer", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-aunit                       = "24.0.0"
-
-[[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:474019fd958355a9abe6a9e2e251f34e0200ab4027168961ff6b756527caa260",
-"sha512:c421608dff00950fc644fae709ba7004f27eed5106cdc17a2eb17527e093debec76c351df1ba10e527c6c1b6234e6390e39aaddda1bfc723589c02ff8080e6b4",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.1.0.tgz"
-

index/ad/adacl/adacl-6.1.1.toml

@@ -1,74 +0,0 @@
-name                        = "adacl"
-description                 = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
-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 - with wide character support.
-* String utilities - with wide character support.
-* Calendar utilities - with wide character support.
-* Trace utility - with wide character support.
-* Smart pointer
-  * Reference counted
-  * Unique pointer
-  * Shared pointer
-* AUnit compatible informative asserts
-  * generic for access types
-  * generic for arrays types
-  * generic for discrete types
-  * generic for floating point types
-  * generic for fixed point types
-  * generic for decimal fixed point types
-  * generic for vector types
-* AUnit parameter
-  * Call one test with multipe input and expected values
-
-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                     = "6.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"]
-website                     = "https://sourceforge.net/projects/adacl/"
-tags                        = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-aunit                       = "24.0.0"
-
-[[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:9615232cee3b51857fb505b6d82dc225199f33b7993a6b021c03c514bd0bbdc6",
-"sha512:3b9e4effd9a4b66c017b884b9225f12c756a3ce67cbb5cac8daf9aeec59b29c2867a5cbc1fd4d8b327685074d098ce80d7057602db79970ee6ab69c3041f887a",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.1.1.tgz"
-

index/ad/adacl/adacl-6.2.0.toml

@@ -1,75 +0,0 @@
-name                        = "adacl"
-description                 = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
-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 - with wide character support.
-* String utilities - with wide character support.
-* Calendar utilities - with wide character support.
-* Trace utility - with wide character support.
-* Protected queue - with finish, wait for finish and abort support.
-* Smart pointer
-  * Reference counted
-  * Unique pointer
-  * Shared pointer
-* AUnit compatible informative asserts
-  * generic for access types
-  * generic for arrays types
-  * generic for discrete types
-  * generic for floating point types
-  * generic for fixed point types
-  * generic for decimal fixed point types
-  * generic for vector types
-* AUnit parameter
-  * Call one test with multipe input and expected values
-
-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                     = "6.2.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", "container", "smart-pointer", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-aunit                       = "24.0.0"
-
-[[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:77fc9a8cc2eedb4cced8551fe7e22ab5b265dcdbc951116ad8b917430e721e42",
-"sha512:b99a6d5b8fd8c0628a8b4d553df2e33d8bb5019a92c79335ffacbf721c29d8eb2fc8ba3a326f06b09027c8fb0e0f762b21fb142d2ff1506f7306f1c57c3dfe41",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.0.tgz"
-

index/ad/adacl_eastrings/adacl_eastrings-6.1.1.toml

@@ -1,53 +0,0 @@
-name                        = "adacl_eastrings"
-description                 = "Ada Class Library - EAStrings"
-long-description            = """A class library for Ada for those who like OO programming.
-
-Encoding aware strings.
-
-Development versions available with:
-
-```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/adacl/git)
-"""
-version                     = "6.1.1"
-licenses                    = "GPL-3.0-or-later"
-authors                     = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
-maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
-maintainers-logins          = ["krischik", "rombobeorn"]
-website                     = "https://sourceforge.net/projects/adacl/"
-tags                        = ["library", "strings", "i18n", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-adacl                       = "6.1.1"
-
-[[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:e075ab39076f6524137a8f18966672990bbeaeed3c2d606d0224fea4d4e88b03",
-"sha512:2d21e698922f3204ee5285b47bf4fbf604fe46d176879204ad29f32304595e08b4540444bf1725cd83b091bbfea124c556c9064e5cc50c8833bc4ce7aa6b5f6e",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.1.1.tgz"
-

index/ad/adacl_eastrings/adacl_eastrings-6.2.0.toml

@@ -1,53 +0,0 @@
-name                        = "adacl_eastrings"
-description                 = "Ada Class Library - EAStrings"
-long-description            = """A class library for Ada for those who like OO programming.
-
-Encoding aware strings.
-
-Development versions available with:
-
-```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/adacl/git)
-"""
-version                     = "6.2.0"
-licenses                    = "GPL-3.0-or-later"
-authors                     = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
-maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
-maintainers-logins          = ["krischik", "rombobeorn"]
-website                     = "https://sourceforge.net/projects/adacl/"
-tags                        = ["library", "strings", "i18n", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-adacl                       = "^6.1.1"
-
-[[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:7d32d817834417050cae64aefc8a3f394004ff47bf47469b46d3519dd111e569",
-"sha512:7ed506c843374878d4a38d0a43639db498d6ee65f3e59025b1b12baa26376d3cbb27135550efbf2301bcf341384bd3d4f560ff395b4906daf9b1ba874330db59",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.0.tgz"
-

index/ad/adacl_regexp/adacl_regexp-6.2.0.toml

@@ -1,54 +0,0 @@
-name                        = "adacl_regexp"
-description                 = "Ada Class Library - Regular Expressions"
-long-description            = """A class library for Ada for those who like OO programming.
-
-Regular expression for String, Wide_String and Wide_Wide_Strings using a
-generic implementation that could be used for any array of descreete elements.
-
-Development versions available with:
-
-```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/adacl/git)
-"""
-version                     = "6.2.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", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-adacl                       = "6.2.0"
-
-[[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:338a86dab6cfe6a49c7b3fffa1af040a9afd7903ce6e7d2f95165e7ee8d9e395",
-"sha512:771faabd888f90bcea85209c87613c1081a3f10fb0a7f4fff37dbece4c76a991084c1fb00b47d87b5a9c2dae06e5e5a5140f5b5431b182ed7f977505f9e63644",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.0.tgz"
-

index/ad/adacl_regexp/adacl_regexp-6.2.1.toml

@@ -1,54 +0,0 @@
-name                        = "adacl_regexp"
-description                 = "Ada Class Library - Regular Expressions"
-long-description            = """A class library for Ada for those who like OO programming.
-
-Regular expression for String, Wide_String and Wide_Wide_Strings using a
-generic implementation that could be used for any array of descreete elements.
-
-Development versions available with:
-
-```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/adacl/git)
-"""
-version                     = "6.2.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", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
-
-[build-switches]
-development.compile_checks  = "Warnings"
-development.contracts       = "Yes"
-development.runtime_checks  = "Overflow"
-release.compile_checks      = "Warnings"
-release.contracts           = "No"
-release.runtime_checks      = "Default"
-validation.compile_checks   = "Warnings"
-validation.contracts        = "Yes"
-validation.runtime_checks   = "Everything"
-
-[[depends-on]]
-gnat_native                 = "^14.2"
-adacl                       = "6.2.0"
-
-[[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:d25d08b193d4e5f93b2c67c39dd54dfaccc24eb4a0bdb92466a5e8a3d40d4721",
-"sha512:427e5ab1c579b63b822d81e55a3e25c0a3106a9406d3981e5cf19ffeb83854632e2b7b6418cdc39ad258ef0e064be2b925a348282fedb6c39c2e53129749458d",
-]
-url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.1.tgz"
-

index/ad/adagl_gtk3/adagl_gtk3-0.0.1.toml

@@ -1,28 +0,0 @@
-name = "adagl_gtk3"
-description = "OpenGL/Gtk3 binding"
-version = "0.0.1"
-
-authors = ["Vadim Godunko"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
-maintainers-logins = ["godunko"]
-licenses = "Apache-2.0 WITH LLVM-exception"
-website = "https://github.com/godunko/adagl"
-tags = ["opengl", "gtk"]
-
-project-files = ["../gnat/adagl_gtk3.gpr"]
-
-[configuration]
-generate_ada = false
-generate_c = false
-generate_gpr = true
-
-[[depends-on]]
-gnat = ">=14"  #  VSS 25.0.0 limits compiler to be >=11, but only 14 support necessary language features
-gtkada = "*"
-vss = "*"
-
-[origin]
-commit = "4faa8fd31ab0614269e10b40a9c82cebb3d14b0f"
-subdir = "./adagl_gtk3/"
-url = "git+https://github.com/godunko/adagl.git"
-

index/ad/adare_dilithium5/adare_dilithium5-0.2.3.toml

@@ -1,38 +0,0 @@
-name = "adare_dilithium5"
-description = "Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind."
-version = "0.2.3"
-
-authors = ["Daniel Norte de Moraes"]
-maintainers = ["Daniel Norte de Moraes <danieagle@zohomail.com>"]
-maintainers-logins = ["danieagle"]
-
-long-description = """
-Dilithium is a digital signature scheme that is strongly secure under
-      chosen message attacks based on the hardness of lattice problems
-      over module lattices. The security notion means that an adversary
-      having access to a signing oracle cannot produce a signature of a
-      message whose signature he hasn't yet seen, nor produce a different
-      signature of a message that he already saw signed. Dilithium is one
-      of the candidate algorithms submitted to the
-      NIST post-quantum cryptography project.
-
-      Adare_Dilithium5 is a Ada 2012 bind to Dilithium5 C.
-
-      (C version at https://github.com/PQClean/PQClean)
-
-      How a Bonus all Ada packages in this lib is "Ada Pure"! :-)
-
-                   """
-
-licenses = "Unlicense"
-tags = ["signature", "pqc"]
-website = ""
-
-[build-switches]
-"*".Ada_Version = "Ada12"
-"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"]
-
-[origin]
-commit = "48a77cb59ddc827ce785553e4a5307b31389ffa4"
-url = "git+https://github.com/danieagle/adare_dilithium5.git"
-

index/ad/adare_hqc256/adare_hqc256-0.2.3.toml

@@ -1,36 +0,0 @@
-name = "adare_hqc256"
-description = "Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind."
-version = "0.2.3"
-
-authors = ["Daniel Norte de Moraes"]
-maintainers = ["Daniel Norte de Moraes <danieagle@zohomail.com>"]
-maintainers-logins = ["danieagle"]
-
-long-description = """
-HQC (Hamming Quasi-Cyclic) is a code-based public key encryption scheme
-      designed to provide security against attacks by
-      both classical and quantum computers. HQC has been submitted
-      to the NIST's Post-Quantum Cryptography Standardization Project.
-
-      Adare_HQC256 is a Ada 2012 bind to HQC-256 C.
-
-      Adare_HQC256 has a 512 bits Shared Secret size.
-
-      (C version at https://github.com/PQClean/PQClean)
-
-      How a Bonus all Ada packages in this lib is "Ada Pure"! :-)
-
-                   """
-
-licenses = "Unlicense"
-tags = ["kem", "pqc", "ss512bits"]
-website = ""
-
-[build-switches]
-"*".Ada_Version = "Ada12"
-"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"]
-
-[origin]
-commit = "bbba67491702dff110606508f1832140f049381f"
-url = "git+https://github.com/danieagle/adare_hqc256.git"
-

index/ad/adasat/adasat-24.0.0.toml

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

index/ad/adasat/adasat-25.0.0.toml

@@ -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 = "25.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/v25.0.0/AdaSAT-25.0.0.zip"
-hashes=['sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258']

index/ad/adl_middleware/adl_middleware-0.1.1.toml

@@ -1,30 +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.1.1"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["adl_middleware.gpr"]
-tags = ["embedded", "nostd", "fat", "bitmap"]
-
-[[depends-on]]
-hal = "^0.1.0"
-
-[origin]
-commit = "67cf6a092008a918709d7855ab69e32fe2b6065b"
-url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
-

index/ad/adl_middleware/adl_middleware-0.2.0.toml

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

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

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