Update diff-release.yml

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

@@ -1,11 +1,5 @@
-# Please read the TESTING file before modifying this file
-
 name: Build Crate
 
-env:
-  CHECKS_ORG: alire-project
-  CHECKS_REPO: alire-index-checks
-
 on:
   pull_request:
     paths:
@@ -18,19 +12,18 @@ jobs:
 
     runs-on: ${{ matrix.os }}
 
-    strategy: 
+    strategy:
-      fail-fast: false
       matrix:
         os:
           - macos-latest
           - ubuntu-latest
           - windows-latest
         tag:
-          - arch-rolling              # Arch has its own recent GNAT and pacman
+          - arch-rolling
-          - centos-stream-fsf-latest  # CentOS is used for unknown package manager
+          - centos-latest-community-latest
-          - debian-stable             # Debian has very good Ada support and apt
+          - community-latest
-          - fedora-latest             # Fedora has its own GNAT and dnf
+          - debian-stable
-          - ubuntu-lts                # Ubuntu LTS is a common Debian derivative
+          - ubuntu-lts
           - ""
         exclude: # inclusions don't allow to add arrays of values to a scenario
           - os: ubuntu-latest
@@ -38,21 +31,21 @@ jobs:
           - os: macos-latest
             tag: arch-rolling
           - os: macos-latest
-            tag: centos-stream-fsf-latest
+            tag: centos-latest-community-latest
+          - os: macos-latest
+            tag: community-latest
           - os: macos-latest
             tag: debian-stable
-          - os: macos-latest
-            tag: fedora-latest
           - os: macos-latest
             tag: ubuntu-lts
           - os: windows-latest
             tag: arch-rolling
           - os: windows-latest
-            tag: centos-stream-fsf-latest
+            tag: centos-latest-community-latest
+          - os: windows-latest
+            tag: community-latest
           - os: windows-latest
             tag: debian-stable
-          - os: windows-latest
-            tag: fedora-latest
           - os: windows-latest
             tag: ubuntu-lts
 
@@ -66,13 +59,6 @@ jobs:
         # changed files detectors (in both scripts/gh-build-crate.sh and
         # check-author action).
 
-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
-
     - name: Update system repositories
       if: matrix.os == 'ubuntu-latest'
       run: sudo apt update
@@ -107,7 +93,7 @@ jobs:
       uses: mosteo/actions@docker-run/v1
       with:
         image: alire/gnat:${{matrix.tag}}
-        command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+        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)
@@ -116,5 +102,5 @@ jobs:
 
     - name: Test crate (Windows/MacOS)
       if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
-      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+      run: scripts/gh-build-crate.sh
       shell: bash

.github/workflows/build-native.yml

@@ -1,12 +1,6 @@
-# Please read the TESTING file before modifying this file
-
 name: Toolchain
 # Build the submitted crate with a native toolchain from Alire
 
-env:
-  CHECKS_ORG: alire-project
-  CHECKS_REPO: alire-index-checks
-
 on:
   pull_request:
     paths:
@@ -20,7 +14,6 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
-      fail-fast: false
       matrix:
         os:
           - macos-latest
@@ -37,13 +30,6 @@ jobs:
         # changed files detectors (in both scripts/gh-build-crate.sh and
         # check-author action).
 
-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
-
     # For the devel branch we need a compiler available to build alr in
     # setup-alire. We will be able to get rid of this once composite actions
     # support conditional steps.
@@ -77,5 +63,5 @@ jobs:
       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

.github/workflows/diff-release.yml

@@ -1,14 +1,8 @@
-# Please read the TESTING file before modifying this file
-
 # Show differences between the submitted manifest and the previous
 # release of the same crate, to enable easier catching of problems
 
 name: Diff release
 
-env:
-  CHECKS_ORG: alire-project
-  CHECKS_REPO: alire-index-checks
-
 on:
   pull_request:
     paths:
@@ -29,13 +23,6 @@ jobs:
         # need the full history or else grafted partial branches confuse the
         # changed files detector
 
-    - name: Check out alire-index-checks
-      uses: actions/checkout@v3
-      with:
-        repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
-        ref: ${{github.base_ref}}
-        path: ${{env.CHECKS_REPO}}
-
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
       uses: alire-project/setup-alire@v1
@@ -62,5 +49,5 @@ jobs:
         branch: master
 
     - name: Diff releases
-      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
+      run: scripts/diff-release.sh || true # No deal breaker if failed
       shell: bash

.github/workflows/main.yml

@@ -12,7 +12,7 @@ jobs:
 
     - name: Set up stable `alr`
       if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@latest-stable
 
     - name: Set up GNAT for devel `alr`
       if: contains(github.base_ref, 'devel-')
@@ -22,9 +22,7 @@ jobs:
 
     - name: Set up devel `alr`
       if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@latest-devel
-      with:
-        branch: master
 
     - run: alr index --list
 

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.

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/ad/ado/ado-2.3.0.toml

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

index/ad/ado_all/ado_all-2.3.0.toml

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

index/ad/ado_mysql/ado_mysql-2.3.0.toml

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

index/ad/ado_postgresql/ado_postgresql-2.3.0.toml

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

index/ad/ado_sqlite/ado_sqlite-2.3.0.toml

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

index/ak/akt/akt-1.3.3.toml

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

index/an/ansiada/ansiada-1.0.0.toml

@@ -1,15 +0,0 @@
-name = "ansiada"
-description = "ANSI escape sequences"
-version = "1.0.0"
-
-licenses = "MIT"
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-tags = ["ansi", "terminal"]
-
-[origin]
-commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
-url = "git+https://github.com/mosteo/ansi-ada.git"
-

index/as/asfml/asfml-2.5.3.toml

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

index/au/automate/automate-2.2.2.toml

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

index/aw/aws/aws-21.0.0.toml

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

index/cb/cbsg/cbsg-0.0.1.toml

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

index/cl/clic/clic-0.2.1.toml

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

index/co/cortex_m/cortex_m-0.4.0.toml

@@ -1,34 +0,0 @@
-description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
-long-description = '''# cortex-m
-
-Ada drivers for the peripherals of ARM Cortex-M micro-controllers
-(NVIC,\nSysTick, etc.)
-
-This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "cortex_m"
-version = "0.4.0"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["embedded", "arm", "nostd"]
-
-[[depends-on]]
-hal = "~0.3"
-gnat_arm_elf = ">=11"
-
-[configuration.variables]
-core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
-
-[origin]
-commit = "7cfb8c9b2f03a5f461c113b6acf3b6245c627cc7"
-url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-

index/co/cortex_m/cortex_m-0.5.0.toml

@@ -1,34 +0,0 @@
-description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
-long-description = '''# cortex-m
-
-Ada drivers for the peripherals of ARM Cortex-M micro-controllers
-(NVIC,\nSysTick, etc.)
-
-This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "cortex_m"
-version = "0.5.0"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["embedded", "arm", "nostd"]
-
-[[depends-on]]
-hal = "~0.3"
-gnat_arm_elf = ">=12"
-
-[configuration.variables]
-core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
-
-[origin]
-commit = "39667d15f4df10da6ecfd94af47c463bb54ff2d6"
-url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-

index/de/dependency_graph_extractor/dependency_graph_extractor-22.0.0.toml

@@ -1,20 +0,0 @@
-name = "dependency_graph_extractor"
-description = "Extract dependency information from Ada projects"
-version = "22.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
-tags = ["extract", "dependency", "analysis", "graph", "graphml"]
-
-authors = ["Jeroen Ketema", "Pierre van de Laar"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-executables = ["dependency_graph_extractor"]
-
-[[depends-on]]
-libadalang = "^22.0.0"
-
-[origin]
-commit = "992fc1c438fff2917f5cbdbfe6ca449933ee6fd5"
-url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
-

index/dg/dg_loada/dg_loada-1.4.3.toml

@@ -1,23 +0,0 @@
-name = "dg_loada"
-description = "dg_loada loads (restores) legacy DG AOS/VS DUMP_II files"
-long-description = "dg_loada loads (restores) backup files created by Data General's AOS/VS DUMP_II, and maybe DUMP_III, files on any modern system supported by GNAT Ada."
-
-version = "1.4.3"
-
-authors = ["Stephen Merrony"]
-maintainers = ["Stephen Merrony <merrony@gmail.com>"]
-maintainers-logins = ["SMerrony"]
-
-licenses = "MIT"
-website = "https://github.com/SMerrony/dg_loada"
-tags = ["legacy", "recovering-data", "dg", "data-general", "aos-vs"]
-
-executables = ["dg_loada"]
-
-[available.'case(os)']
-windows = false
-'...'   = true
-[origin]
-commit = "1f0e0a89a1f6a08b194e60369df16537cd8c8301"
-url = "git+https://github.com/SMerrony/dg_loada.git"
-

index/di/dir_iterators/dir_iterators-0.0.4.toml

@@ -1,75 +0,0 @@
-name = "dir_iterators"
-description = "Ways of moving around directory trees"
-version = "0.0.4"
-website = "https://github.com/pyjarrett/dir_iterators"
-authors = ["Paul Jarrett"]
-licenses = "Apache-2.0"
-
-maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
-maintainers-logins = ["pyjarrett"]
-tags = ["dir", "files", "walk"]
-
-long-description = '''
-[![Build Status](https://github.com/pyjarrett/dir_iterators/actions/workflows/build.yml/badge.svg)](https://github.com/pyjarrett/dir_iterators/actions)
-[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/dir_iterators.json)](https://alire.ada.dev/crates/dir_iterators.html)
-
-## Iterator-based directory walks
-
-Provides convenient ways to walk directories based on Ada 2012 user-defined
-iterators.
-
-Inspired by [walkdir for Rust](https://github.com/BurntSushi/walkdir).
-
-
-## Walking a directory tree recursively
-
-```ada
-with Ada.Directories;
-with Ada.Text_IO;
-with Dir_Iterators.Recursive;
-
--- ...
-
-Dir_Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk
-    := Dir_Iterators.Recursive.Walk (Dir);
-
-for Dir_Entry of Dir_Walk loop
-    Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
-end loop;
-```
-
-## Walking a directory tree recursively with a filter
-
-Use a filter to prune directories and files from the walk.
-
-```ada
-with Ada.Directories;
-with Ada.Text_IO;
-with Dir_Iterators.Recursive;
-
-package AD renames Ada.Directories;
-
--- ...
-
-    procedure Foo (Include_Dot_Files : Boolean; Dir_Root : String) is
-        function Filter (E : Ada.Directories.Directory_Entry_Type) return Boolean is
-            Name : constant String := Ada.Directories.Simple_Name(E);
-        begin
-            return Include_Dot_Files
-                or else (not (Name'Length > 1 and then Name(1) = '.'));
-        end Filter;
-
-        Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk :=
-            Dir_Iterators.Recursive.Walk (Dir_Root, Filter'Access);
-    begin
-        for Dir_Entry of Walk loop
-            Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
-        end loop;
-    end Foo;
-```
-'''
-
-[origin]
-commit = "88741e32827693dd37a1f9d7d7b72703d4ddd42e"
-url = "git+https://github.com/pyjarrett/dir_iterators.git"
-

index/ee/eeprom_i2c/eeprom_i2c-3.0.1.toml

@@ -1,20 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.0.1"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-[[depends-on]]  # Added by alr
-gnat_arm_elf = "^11.2.3"  # Added by alr
-
-[origin]
-commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-

index/ee/eeprom_i2c/eeprom_i2c-3.2.0.toml

@@ -1,18 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.2.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-
-[origin]
-commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-

index/el/elada/elada-1.8.5.toml

@@ -1,46 +0,0 @@
-description = "Expression Language Library (JSR245)"
-name = "elada"
-version = "1.8.5"
-licenses = "Apache-2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = [".alire/elada.gpr"]
-tags = ["web", "expression", "expander", "parser"]
-website = "https://gitlab.com/stcarrez/ada-el"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-EL.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-EL/)
-[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-EL.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-EL/)
-[![codecov](https://codecov.io/gh/stcarrez/ada-el/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-el)
-
-This Ada05 library provides the support for a simple Expression Language
-close to the Java Unified Expression Language (EL).
-
-The API provided by the EL library is inspired from the Java
-Unified Expression Language shared by the JSP 2.1 and JSF 1.2 technologies.
-See Expression Language specification in JSR245
-(https://jcp.org/en/jsr/summary?id=245)
-
-The EL expression is intensively used in web development applications built
-on top of various Java technologies but also on top of
-[Ada Web Application](https://github.com/stcarrez/ada-awa)
-and [Ada Server Faces](https://github.com/stcarrez/ada-asf).
-
-
-"""
-
-[[depends-on]]
-utilada = "^2.5.0"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-EL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "0751f94e425f6dcfb7efacfe4f88829414258896"
-url = "git+https://github.com/stcarrez/ada-el.git"
-

index/ev/evdev/evdev-2.0.1.toml

@@ -1,24 +0,0 @@
-name = "evdev"
-description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
-version = "2.0.1"
-website = "https://github.com/onox/evdev-ada"
-licenses = "Apache-2.0"
-tags = ["evdev", "force-feedback"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-project-files = ["evdev.gpr", "evdev_info.gpr"]
-executables = ["evdev-ada"]
-
-[configuration]
-disabled = true
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[origin]
-commit = "571a6bc0f0d3c112753ddfb90f572833c575070c"
-url = "git+https://github.com/onox/evdev-ada.git"

index/ew/ews/ews-1.11.0.toml

@@ -1,39 +0,0 @@
-description = "Embedded Web Server"
-long-description = """
-
-EWS is a web server construction kit, designed for embedded
-applications using the GNAT Ada compiler.
-
-The project is hosted at https://github.com/simonjwright/ews.
-
-"""
-name = "ews"
-version = "1.11.0"
-authors = ["Simon Wright <simon@pushface.org>"]
-licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-project-files = ["ews.gpr"]
-tags = ["web", "server"]
-website = "https://github.com/simonjwright/ews"
-
-[[depends-on]]
-xmlada = "any"
-
-[gpr-externals]
-LIBRARY_TYPE = ["relocatable", "static"]
-
-[[actions]]
-type = "post-build"
-command = ["gprbuild", "-P", "generator/ews_generator.gpr"]
-
-[environment.PATH]
-append="${CRATE_ROOT}/bin"
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "17517ec52b96488d433ec1d49946d74441d57a1e"
-url = "git+https://github.com/simonjwright/ews.git"
-

index/ga/garlic/garlic-6.0.1.toml

@@ -1,32 +0,0 @@
-name = "garlic"
-description = "GNAT Library for Ada Distributed Environment (garlic)"
-website = "https://github.com/reznikmm/garlic/wiki"
-version = "6.0.1"
-tags = ["dsa", "distributed", "annex", "network", "glade"]
-
-authors = ["AdaCore"]
-maintainers = ["Max Reznik <reznikmm@gmail.com>"]
-maintainers-logins = ["reznikmm"]
-licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
-
-project-files = ["gnat/garlic.gpr"]
-
-[configuration]
-disabled = true
-
-[gpr-externals]
-GARLIC_BUILD_MODE = ["dev", "prod"]
-
-[environment.'case(os)'.windows.PATH]
-append = "${CRATE_ROOT}/.libs/relocatable"
-
-[environment.'case(os)'.linux.LD_LIBRARY_PATH]
-append = "${CRATE_ROOT}/.libs/relocatable"
-
-[environment.'case(os)'.macos.DYLD_LIBRARY_PATH]
-append = "${CRATE_ROOT}/.libs/relocatable"
-
-[origin]
-commit = "90ef4b6f01c95df7e04c8f3e4c41c275f23acea9"
-url = "git+https://github.com/reznikmm/garlic.git"
-

index/ge/getopt/getopt-1.2.2.toml

@@ -1,27 +0,0 @@
-name = "getopt"
-description = "POSIX getopt(3) for Ada"
-version = "1.2.2"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/getopt-ada"
-tags = ["arguments", "options", "flags", "getopt"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:b5ade9bcda49c1dc74554137fe961e4d4c072d29fcf99a7219ccb4c2827ae84e",
-"sha512:4556349572048135747631aa1c89d657282e745ccde9f7126dfb29e4648d301b778c583f83703ad72e73ca74741e2484b1dcd341d3f4c1ed589a59b71a5ccfdd",
-]
-url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v1.2.2.tar.gz"
-

index/ge/getopt/getopt-2.0.0.toml

@@ -1,27 +0,0 @@
-name = "getopt"
-description = "POSIX getopt(3) for Ada"
-version = "2.0.0"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/getopt-ada"
-tags = ["arguments", "options", "flags", "getopt"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-GETOPT_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-GETOPT_COMPILE_CHECKS = ["enabled", "disabled"]
-GETOPT_RUNTIME_CHECKS = ["enabled", "disabled"]
-GETOPT_STYLE_CHECKS = ["enabled", "disabled"]
-GETOPT_CONTRACTS = ["enabled", "disabled"]
-GETOPT_BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:2c0816539b61aa27c3accac795ab9278102857c836f27c498bf09387ae2c92d9",
-"sha512:84570b13d0dc49c9a7e548780607e50b01b12de8f147ac484efcc35e8f69e4be773665aecbaa4c6bf875101a70d4a9e72c0d616fda04f097dd6f45d5a896019c",
-]
-url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v2.0.0.tar.gz"
-

index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml

@@ -1,27 +0,0 @@
-name = "gnat_arm_elf"
-version = "12.1.1"
-provides = ["gnat=12.1.1"]
-description = "The GNAT Ada compiler - ARM cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-linux64-12.1.0-1.tar.gz"
-hashes = ["sha256:a11c25f884a637ad48b2f5cde81eea7d2598c78ee5058bd8bdb90b2376b6fb47"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-darwin-12.1.0-1.tar.gz"
-hashes = ["sha256:c148f4ec11dcfb702e77f14fad5efc1ca54b76177628be336edabac738d569fb"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-windows64-12.1.0-1.tar.gz"
-hashes = ["sha256:7fb7c7b9689cad9901843f78187e9077f81f887aa0f79af6a6df78362be9d500"]

index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml

@@ -1,27 +0,0 @@
-name = "gnat_arm_elf"
-version = "12.1.2"
-provides = ["gnat=12.1.2"]
-description = "The GNAT Ada compiler - ARM cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-linux64-12.1.0-2.tar.gz"
-hashes = ["sha256:89ba9262ad168e2e7bf00efa5348bcae86454a9018d9058f0f5d69cc1c6bb5f0"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-darwin-12.1.0-2.tar.gz"
-hashes = ["sha256:e76ed3b079109ba620f0d61a9888b1319600c0d802de0b1f106694036e7d7709"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-windows64-12.1.0-2.tar.gz"
-hashes = ["sha256:a6123685359c70a32bb82cd7cdbc0a9578d35bcbc30c95effdd1a71dbb15ed0a"]

index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml

@@ -1,27 +0,0 @@
-name = "gnat_avr_elf"
-version = "12.1.1"
-provides = ["gnat=12.1.1"]
-description = "The GNAT Ada compiler - AVR cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-linux64-12.1.0-1.tar.gz"
-hashes = ["sha256:92eddc040a15e7ccf73481e535c52d97f420f0038850660a26fe4fe46bacafe4"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-darwin-12.1.0-1.tar.gz"
-hashes = ["sha256:cafdebc5e87f597f7ff20f421acda6e61d490643e505436b748647bcade7df2a"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-windows64-12.1.0-1.tar.gz"
-hashes = ["sha256:ba2194806300047a1dfb557b1b36de2b3689fc1b572cc6b95510ac2394b47194"]

index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml

@@ -1,27 +0,0 @@
-name = "gnat_avr_elf"
-version = "12.1.2"
-provides = ["gnat=12.1.2"]
-description = "The GNAT Ada compiler - AVR cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-linux64-12.1.0-2.tar.gz"
-hashes = ["sha256:f5dfa944043e73a884799b7642d95257702538be49b3f9798a89ccf96cb6ca2b"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-darwin-12.1.0-2.tar.gz"
-hashes = ["sha256:d36bf876c1551c212ad1556d4b3b37cd77e6312d33faff7302240ea11c5c2af6"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-windows64-12.1.0-2.tar.gz"
-hashes = ["sha256:62925e83166f099222d04eb64dd576ae0ae6b5d8eb904cfb47aa26fc8c116358"]

index/gn/gnat_math_extensions/gnat_math_extensions-1.1.0.toml

@@ -1,22 +0,0 @@
-name = "gnat_math_extensions"
-description = "Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices"
-website = "https://github.com/simonjwright/gnat_math_extensions"
-version = "1.1.0"
-licenses= "GPL-3.0-or-later WITH GCC-exception-3.1"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-project-files = ["gnat_math_extensions.gpr"]
-
-tags = ["matrices", "blas", "lapack"]
-
-[[depends-on]]
-  "libblas" = "*"
-  "liblapack" = "*"
-
-[origin]
-commit = "e1f68c35cfb4539450341cede99ffc980510219c"
-url = "git+https://github.com/simonjwright/gnat_math_extensions.git"
-

index/gn/gnat_native/gnat_native-12.1.1.toml

@@ -1,27 +0,0 @@
-name = "gnat_native"
-version = "12.1.1"
-provides = ["gnat=12.1.1"]
-description = "The GNAT Ada compiler - Native"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-windows64-12.1.0-1.tar.gz"
-hashes = ["sha256:a0529ef7c4196f5469daa855719c64f2e4d44aa31086c4f0101c3724e9b93fa7"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-darwin-12.1.0-1.tar.gz"
-hashes = ["sha256:da46195d3a6b0d8d9c2c5380a8aa82912a6910663377a028be386243c129782a"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-linux-12.1.0-1.tar.gz"
-hashes = ["sha256:df1f36b306359d528799b1de8629a793523347a90c9d4b72efd23c62a7279555"]

index/gn/gnat_native/gnat_native-12.1.2.toml

@@ -1,27 +0,0 @@
-name = "gnat_native"
-version = "12.1.2"
-provides = ["gnat=12.1.2"]
-description = "The GNAT Ada compiler - Native"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-windows64-12.1.0-2.tar.gz"
-hashes = ["sha256:3126cd6fe82b9428ba1bd50f7d7a5e108668a41da445184a6bbe13d2543fd2d0"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-darwin-12.1.0-2.tar.gz"
-hashes = ["sha256:587b912f42e758a22760fdec972b74bc596273921930f5b369bd9c3b25f298c9"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-linux-12.1.0-2.tar.gz"
-hashes = ["sha256:66b989b5cbb5d19b1207603f6b5fe2c7795e4725ff4b9aed0421859c57829f4f"]

index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml

@@ -1,27 +0,0 @@
-name = "gnat_riscv64_elf"
-version = "12.1.1"
-provides = ["gnat=12.1.1"]
-description = "The GNAT Ada compiler - RISC-V cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-linux64-12.1.0-1.tar.gz"
-hashes = ["sha256:6655a23f37716b89b241ad601035a14128196ef6da4201aed86b9d5fc9acc7d5"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-darwin-12.1.0-1.tar.gz"
-hashes = ["sha256:6db1755b1915da538733e313df54c77a052661c77edd0a76054da814be896a5b"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-windows64-12.1.0-1.tar.gz"
-hashes = ["sha256:62e3f80530ebc97154f9272a4a89b8be4420fe34467972eff2e1a9152109735d"]

index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml

@@ -1,27 +0,0 @@
-name = "gnat_riscv64_elf"
-version = "12.1.2"
-provides = ["gnat=12.1.2"]
-description = "The GNAT Ada compiler - RISC-V cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-linux64-12.1.0-2.tar.gz"
-hashes = ["sha256:1ab4ce44c6333b7bae31f29cf9b3b4ede90a6c7664c31205398d1dba507d7cd0"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-darwin-12.1.0-2.tar.gz"
-hashes = ["sha256:7f267afeb5e0d0a7440c4ea5241bd86a116801d771ccf63c9a0f8bd2124e4535"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-windows64-12.1.0-2.tar.gz"
-hashes = ["sha256:0e1ea31e9b8b14a7876f24a3b049095f3939b87cc6af7227c5ca17c166baf944"]

index/gn/gnatcoll/gnatcoll-22.0.0.toml

@@ -27,7 +27,6 @@ GNATCOLL_OS = "windows"
 
 [gpr-set-externals]
 GNATCOLL_VERSION = "22.0.0"
-GNATCOLL_BUILD_MODE = "PROD"
 
 [[depends-on]]
 libgpr = "~22.0.0"

index/gn/gnatdist_garlic/gnatdist_garlic-6.0.1.toml

@@ -1,33 +0,0 @@
-name = "gnatdist_garlic"
-description = "The configuration tool gnatdist for GARLIC"
-website = "https://github.com/reznikmm/garlic/wiki"
-version = "6.0.1"
-tags = ["dsa", "distributed", "annex", "network", "glade"]
-
-authors = ["AdaCore"]
-maintainers = ["Max Reznik <reznikmm@gmail.com>"]
-maintainers-logins = ["reznikmm"]
-licenses = "GPL-2.0-or-later"
-
-project-files = ["../gnat/gnatdist.gpr"]
-
-executables = ["gnatdist"]
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment.PATH]
-append = "${CRATE_ROOT}/.bin"
-
-[[forbids]]
-polyorb="*"
-
-
-
-[origin]
-commit = "90ef4b6f01c95df7e04c8f3e4c41c275f23acea9"
-subdir = "./Dist/"
-url = "git+https://github.com/reznikmm/garlic.git"
-

index/gn/gnatprove/gnatprove-12.1.1.toml

@@ -1,26 +0,0 @@
-name = "gnatprove"
-version = "12.1.1"
-description = "Automatic formal verification of SPARK code"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-windows64-12.1.0-1.tar.gz"
-hashes = ["sha256:571a96b388d4c39989045bbe6678c04908d32f03ba2c316c7be92349e0276371"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-darwin-12.1.0-1.tar.gz"
-hashes = ["sha256:eaf963490fc0b8c4467854b8f4a7659e4df39094699b014b90d9cd87b46cb987"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz"
-hashes = ["sha256:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d"]

index/gn/gnoga/gnoga-1.6.2.toml

@@ -1,27 +0,0 @@
-name = "gnoga"
-description = "gnoga - The GNU Omnificent GUI for Ada"
-version = "1.6.2"
-tags = ["gui", "web", "server", "http", "https", "ssl"]
-
-authors = ["David Botton"]
-maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
-maintainers-logins = ["Blady-Com"]
-website = "https://github.com/Blady-Com/gnoga"
-
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-
-project-files = ["lib_gnoga.gpr"]
-
-[gpr-set-externals.'case(os)']
-linux   = { Target_OS = "Linux", PRJ_TARGET = "Linux" }
-windows = { Target_OS = "Windows", PRJ_TARGET = "Windows" }
-macos   = { Target_OS = "OSX", PRJ_TARGET = "OSX" }
-
-[[depends-on]]
-gnat = ">=2021 | (>=12 & <2000)"
-simple_components = "^4.62.0"
-
-[origin]
-commit = "c252d2220a5a34e3b052d1c2955104a49618f64c"
-url = "git+https://github.com/Blady-Com/gnoga.git"
-

index/gn/gnoga/gnoga-2.1.2.toml

@@ -1,28 +0,0 @@
-name = "gnoga"
-description = "gnoga - The GNU Omnificent GUI for Ada"
-version = "2.1.2"
-tags = ["gui", "web", "server", "http", "https", "ssl"]
-
-authors = ["David Botton"]
-maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
-maintainers-logins = ["Blady-Com"]
-website = "https://github.com/Blady-Com/gnoga"
-
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-
-project-files = ["lib_gnoga.gpr"]
-
-[gpr-set-externals.'case(os)']
-linux   = { Target_OS = "Linux", PRJ_TARGET = "Linux" }
-windows = { Target_OS = "Windows", PRJ_TARGET = "Windows" }
-macos   = { Target_OS = "OSX", PRJ_TARGET = "OSX" }
-
-[[depends-on]]
-gnat = ">=2021 | (>=12 & <2000)"
-simple_components = "^4.62.0"
-uxstrings = "~0.4.0+alpha-20220803"
-
-[origin]
-commit = "5f127c56986a7a1a562b405d7934eabf8e624c25"
-url = "git+https://github.com/Blady-Com/gnoga.git"
-

index/gt/gtkada/gtkada-21.0.0.toml

@@ -12,11 +12,7 @@ tags = ["gtk", "gui"]
 # Add msys in the OS list in config.sub
 [[actions]]
 type = "post-fetch"
-command = ["sh", "-c", "sed 's/| -mingw32\\*/| -mingw32\\* | -msys\\*/g' config.sub > config.sub.0 && mv -f config.sub.0 config.sub"]
+command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
-
-[[actions]]
-type = "post-fetch"
-command = ["sh", "-c", "sed '/misc_osx.h/a\\\nNSWindow *gdk_quartz_window_get_nswindow(GdkWindow *window);\n' src/misc_osx.m > src/misc_osx.m.0 && mv -f src/misc_osx.m.0 src/misc_osx.m"]
 
 [[actions]]
 type = "post-fetch"
@@ -43,10 +39,6 @@ LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
 msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
 msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
 
-[available]
-'case(os)'.windows = false
-'case(distribution)'.arch = false
-
 [origin]
 url="https://github.com/AdaCore/gtkada/archive/v21.0.0/gtkada-21.0.0.zip"
 hashes=["sha512:3c1373c0a1168ae875398a0b5a1941234f6620ac114088980b83558c984c4566b87796fb4098de371af206ca6a4ae0fb4c6390119c5606a9f6a5b142916ce8d8"]

index/ha/hac/hac-0.11.0.toml

@@ -1,16 +0,0 @@
-description = "HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada"
-name = "hac"
-version = "0.11.0"
-authors = ["Gautier de Montmollin"]
-website = "https://hacadacompiler.sourceforge.io/"
-licenses = "MIT"
-maintainers = ["gdemont@hotmail.com"]
-maintainers-logins = ["zertovitch"]
-project-files = ["hac.gpr"]
-
-[gpr-externals]
-HAC_Build_Mode = ["Debug", "Fast", "Small"]
-
-[origin]
-url = "https://sourceforge.net/projects/hacadacompiler/files/hac-2022-06-19-v.0.11.zip"
-hashes = ["sha512:c596ed7c814406defbbb0d2dbf94c167236f36dc514e681ca2523045698d3fa4346e0b87ade272d4ed5a6047f61e9d4bdd033967bdb893fb4967a9af6c01982d"]

index/index.toml

@@ -1 +1 @@
-version = "1.2"
+version = "1.1"

index/it/iterators/iterators-0.2.0.toml

@@ -1,23 +0,0 @@
-name = "iterators"
-description = "Functional iterators a la Rust"
-version = "0.2.0"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-website = "https://github.com/mosteo/iterators"
-
-licenses = "LGPL-3.0-only"
-tags = ["iterators", "functional"]
-
-[configuration]
-disabled = true
-
-[[depends-on]]
-aaa = "~0.2.1"
-gnat = "^10"  # gnat 11 is causing many new errors, migration pending
-
-[origin]
-commit = "18995a4dc100b945a63ba49861d14a015a36a527"
-url = "git+https://github.com/mosteo/iterators.git"
-

index/j2/j2ada/j2ada-1.4.2.toml

@@ -1,21 +0,0 @@
-name = "j2ada"
-description = "Almost Java to Ada translator"
-version = "1.4.2"
-tags = ["java", "translator"]
-
-authors = ["Pascal Pignard"]
-maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
-maintainers-logins = ["Blady-Com"]
-website = "https://github.com/Blady-Com/j2ada"
-
-licenses = "CECILL-2.1"
-
-executables = ["j2ada"]
-
-[gpr-set-externals.'case(os)']
-macos   = { J2ADA_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
-
-[origin]
-commit = "79a4663450089d4dc2acdbb4c656624b6f43269a"
-url = "git+https://github.com/Blady-Com/j2ada.git"
-

index/js/json/json-5.0.2.toml

@@ -1,22 +0,0 @@
-name = "json"
-description = "An Ada 2012 library for parsing JSON"
-version = "5.0.2"
-website = "https://github.com/onox/json-ada"
-licenses = "Apache-2.0"
-tags = ["json"]
-
-executables = ["pretty_print"]
-
-project-files = ["json.gpr", "json_pretty_print.gpr"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[configuration]
-disabled = true
-
-[origin]
-url = "git+https://github.com/onox/json-ada.git"
-commit = "d429d7af880ab9ed38d58ac08c1c9a16e7697752"
-subdir = "json"

index/ke/keystoreada/keystoreada-1.3.3.toml

@@ -1,60 +0,0 @@
-description = "Ada Keystore"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
-[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
-[![codecov](https://codecov.io/gh/stcarrez/ada-keystore/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-keystore)
-
-# Overview
-
-Ada Keystore is a tool and library to store information in secure wallets
-and protect the stored information by encrypting the content.
-It is necessary to know one of the wallet password to access its content.
-Ada Keystore can be used to safely store passwords, credentials,
-bank accounts and even documents.
-
-Wallets are protected by a master key using AES-256 and the wallet
-master key is protected by a user password.
-The wallet defines up to 7 slots that identify
-a password key that is able to unlock the master key.  To open a wallet,
-it is necessary to unlock one of these 7 slots by providing the correct
-password.  Wallet key slots are protected by the user's password
-and the PBKDF2-HMAC-256 algorithm, a random salt, a random counter
-and they are encrypted using AES-256.
-
-Values stored in the wallet are protected by their own encryption keys
-using AES-256.  A wallet can contain another wallet which is then
-protected by its own encryption keys and passwords (with 7 independent slots).
-Because the child wallet has its own master key, it is necessary to known
-the primary password and the child password to unlock the parent wallet
-first and then the child wallet.
-
-## Documents
-
-* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
-
-"""
-name = "keystoreada"
-version = "1.3.3"
-authors = ["Stephane.Carrez@gmail.com"]
-licenses = "Apache-2.0"
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = [".alire/keystoreada.gpr"]
-tags = ["security", "storage", "nosql"]
-website = "https://gitlab.com/stcarrez/ada-keystore"
-
-[[depends-on]]
-utilada = "^2.5.0"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "e0e9d5ef2c92c74d06b3ada5ed162ad3400a9f5c"
-url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
-

index/li/libblas/libblas-external.toml

@@ -1,14 +0,0 @@
-description = "Basic Linear Algebra Subprograms"
-name = "libblas"
-licenses = "custom-blas-2017"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-[[external]]
-kind="system"
-[external.origin."case(distribution)"]
-"macos" = []
-"debian|ubuntu" = ["libblas-dev"]
-"msys2" = ["mingw-w64-x86_64-lapack"]

index/li/libcsfml/libcsfml-external.toml

@@ -9,4 +9,4 @@ kind = "system"
    [external.origin."case(distribution)"]
    "debian|ubuntu" = ["libcsfml-dev"]
    "msys2"         = ["mingw-w64-x86_64-csfml"]
-   "arch|fedora"   = ["csfml"]
+   "arch"          = ["csfml"]

index/li/libgmp/libgmp-external.toml

@@ -8,10 +8,4 @@ maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
 kind = "system"
 [external.origin."case(distribution)"]
 "debian|ubuntu" = ["libgmp-dev"]
-arch = ["gmp"]
 msys2 = ["mingw-w64-x86_64-gmp"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "pkg-config", "--modversion", "gmp" ]
-version-regexp = "([\\d\\.]+)"

index/li/libgnutls/libgnutls-external.toml

@@ -9,8 +9,3 @@ kind = "system"
 [external.origin."case(distribution)"]
 "..." = []
 "debian|ubuntu" = ["libgnutls28-dev"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "pkg-config", "--modversion", "gnutls" ]
-version-regexp = "([\\d\\.]+)"

index/li/libgtk3/libgtk3-external.toml

@@ -10,8 +10,3 @@ kind = "system"
 "debian|ubuntu" = ["libgtk-3-dev"]
 arch = ["gtk3"]
 msys2 = ["mingw-w64-x86_64-gtk3"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "pkg-config", "--modversion", "gtk+-3.0" ]
-version-regexp = "([\\d\\.]+)"

index/li/libkeccak/libkeccak-3.0.0.toml

@@ -1,31 +0,0 @@
-name = "libkeccak"
-description = "SHA-3 and related algorithms"
-version = "3.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/damaki/libkeccak"
-tags = [
-    "spark", "cryptography", "security", "hash", "sha3", "keccak", "gimli",
-    "ascon", "shake", "cshake", "kmac", "tuplehash", "parallelhash",
-    "kangarootwelve"
-]
-
-authors = ["Daniel King"]
-maintainers = ["Daniel King <damaki.gh@gmail.com>"]
-maintainers-logins = ["damaki"]
-
-[[depends-on]]
-gnat = ">=11.0.0"
-
-[gpr-externals]
-LIBKECCAK_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-LIBKECCAK_COMPILE_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_RUNTIME_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_STYLE_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_CONTRACTS = ["enabled", "disabled"]
-LIBKECCAK_BUILD_MODE = ["debug", "optimize"]
-LIBKECCAK_ARCH = ["generic", "x86_64"]
-LIBKECCAK_SIMD = ["none", "SSE2", "AVX2"]
-[origin]
-commit = "f33be1c8120196d90f600b14d669b11d16149bf9"
-url = "git+https://github.com/damaki/libkeccak.git"
-

index/li/liblapack/liblapack-external.toml

@@ -1,14 +0,0 @@
-description = "Linear Algebra Package"
-name = "liblapack"
-licenses = "BSD-3-Clause"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-[[external]]
-kind="system"
-[external.origin."case(distribution)"]
-"macos" = []
-"debian|ubuntu" = ["liblapack-dev"]
-"msys2" = ["mingw-w64-x86_64-lapack"]

index/li/libmariadb/libmariadb-external.toml

@@ -1,16 +0,0 @@
-description = "MariaDB client libraries"
-name = "libmariadb"
-
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libmariadbclient-dev"]
-
-# No mariadb library on msys2
-[external.available.'case(os)']
-windows = false
-'...'   = true
-

index/li/libopus/libopus-external.toml

@@ -1,14 +0,0 @@
-name = "libopus"
-description = "Opus codec library"
-website = "https://www.opus-codec.org"
-tags = ["opus", "audio", "sound", "speech", "music"]
-licenses = "BSD-2-Clause"
-
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[[external]]
-kind = "system"
-[external.origin.'case(distribution)']
-'debian|ubuntu' = ["libopus-dev"]
-arch = ["opus"]

index/li/libtls/libtls-external.toml

@@ -1,15 +0,0 @@
-name = "libtls"
-description = "A new TLS library"
-website = "https://man.openbsd.org/tls_init.3"
-tags = ["tls", "ssl"]
-licenses = "ISC"
-
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libtls-dev"]
-"arch|centos|fedora" = ["libretls"]
-msys2 = ["mingw-w64-libressl"]

index/li/linenoise_ada/linenoise_ada-1.1.1.toml

@@ -1,35 +0,0 @@
-name = "linenoise_ada"
-description = "Bindings to the Linenoise line editing library"
-version = "1.1.1"
-licenses = "BSD-2-Clause"
-
-project-files = ["linenoise.gpr"]
-
-website = "https://git.sr.ht/~nytpu/linenoise-ada"
-tags = ["linenoise", "readline", "line-editing"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[available.'case(os)']
-linux   = true
-macos   = true
-windows = false
-'...'   = false
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:09aa2452b34c2714858e06cceeae52f366a79f452fec667d5a78d3252a31b40f",
-"sha512:c098d1281992702d8fd889e73d19feeaa10770f00bdb40ad0cb1627cd6cb48bf8272e8cfe8fc5fb4a0fa64125f9b4d4a04e43012a06ba9dda1ff21695b11cf04",
-]
-url = "https://git.sr.ht/~nytpu/linenoise-ada/archive/v1.1.1.tar.gz"
-

index/li/littlefs/littlefs-0.2.0.toml

@@ -1,24 +0,0 @@
-name = "littlefs"
-description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
-version = "0.2.0"
-licenses = "BSD-3-Clause"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/littlefs-ada"
-tags = ["embedded", "filesystem", "nostd", "flash"]
-
-[configuration.variables]
-Assert    = { type = "boolean", default = false}
-Debug     = { type = "boolean", default = false}
-Warn      = { type = "boolean", default = false}
-Error     = { type = "boolean", default = false}
-Trace     = { type = "boolean", default = false}
-No_Malloc = { type = "boolean", default = true}
-Max_Name_Size = { type = "integer", first = 1, last = 1022, default = 255 }
-Max_File_Size = { type = "integer", first = 1, last = 2147483647, default = 2147483647 }
-
-[origin]
-commit = "ecc2fb25b7c1b711dfc83d510f1b727f11cc98fe"
-url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
-

index/li/littlefs/littlefs-0.2.2.toml

@@ -1,24 +0,0 @@
-name = "littlefs"
-description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
-version = "0.2.2"
-licenses = "BSD-3-Clause"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/littlefs-ada"
-tags = ["embedded", "filesystem", "nostd", "flash"]
-
-[configuration.variables]
-Assert    = { type = "boolean", default = false}
-Debug     = { type = "boolean", default = false}
-Warn      = { type = "boolean", default = false}
-Error     = { type = "boolean", default = false}
-Trace     = { type = "boolean", default = false}
-No_Malloc = { type = "boolean", default = true}
-Max_Name_Size = { type = "integer", first = 1, last = 1022, default = 255 }
-Max_File_Size = { type = "integer", first = 1, last = 2147483647, default = 2147483647 }
-
-[origin]
-commit = "d26e806b1e9cd2db7873355738949c29bf441a61"
-url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
-

index/li/littlefs/littlefs-0.3.1.toml

@@ -1,26 +0,0 @@
-name = "littlefs"
-description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
-version = "0.3.1"
-licenses = "BSD-3-Clause"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/littlefs-ada"
-tags = ["embedded", "filesystem", "nostd", "flash"]
-
-[configuration.variables]
-Assert    = { type = "boolean", default = false}
-Debug     = { type = "boolean", default = false}
-Warn      = { type = "boolean", default = false}
-Error     = { type = "boolean", default = false}
-Trace     = { type = "boolean", default = false}
-No_Malloc = { type = "boolean", default = true}
-Max_Name_Size = { type = "integer", first = 1, last = 1022, default = 255 }
-Max_File_Size = { type = "integer", first = 1, last = 2147483647, default = 2147483647 }
-Max_Attr_Size = { type = "integer", first = 1, last = 1022, default = 1022 }
-
-
-[origin]
-commit = "d184aefe7ee3f987994b970b9da20f94185f1604"
-url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
-

index/lm/lmdb_ada/lmdb_ada-1.1.0.toml

@@ -1,37 +0,0 @@
-name = "lmdb_ada"
-description = "Bindings to the Lightning Memory-Mapped Database"
-version = "1.1.0"
-licenses = "BSD-2-Clause AND OLDAP-2.8+"
-
-project-files = ["lmdb.gpr"]
-
-website = "https://git.sr.ht/~nytpu/lmdb-ada"
-tags = ["database", "key-value"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LMDB_PLATFORM = ["unix", "windows"]
-LMDB_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-LMDB_COMPILE_CHECKS = ["enabled", "disabled"]
-LMDB_RUNTIME_CHECKS = ["enabled", "disabled"]
-LMDB_STYLE_CHECKS = ["enabled", "disabled"]
-LMDB_CONTRACTS = ["enabled", "disabled"]
-LMDB_BUILD_MODE = ["debug", "optimize"]
-
-[gpr-set-externals.'case(os)']
-'linux|macos' = { LMDB_PLATFORM = "unix" }
-windows = { LMDB_PLATFORM = "windows" }
-
-[[depends-on]]
-gnatcoll = "^22.0.0"
-
-[origin]
-hashes = [
-"sha256:f9975436cb38096f3d87f10cf424ac32ce53f9f0420fe627c7b0ee6de393f967",
-"sha512:533a6b89082fac9631bcc84c9ef8867af27c69b840d8810f4fd4d2c87d89a000b51427df68f541e9237a4fdbbb84e92611b3d2b126e7178e0515dfab527f7576",
-]
-url = "https://git.sr.ht/~nytpu/lmdb-ada/archive/v1.1.0.tar.gz"
-

index/lv/lvgl_ada_examples/lvgl_ada_examples-0.1.0.toml

@@ -9,8 +9,8 @@ project-files = ["lvgl_ada_examples.gpr"]
 tags = ["gui", "lvgl"]
 
 [[depends-on]]
-lvgl_ada = "~0.1.0"
+lvgl_ada = "^0.1.0"
-lvgl_ada_simulator = "~0.1.0"
+lvgl_ada_simulator = "^0.1.0"
 
 [origin]
 url = "https://github.com/Fabien-Chouteau/lvgl-ada-examples/releases/download/v0.1.0/lvgl_ada_examples-0.1.0.zip"

index/lv/lvgl_ada_simulator/lvgl_ada_simulator-0.1.0.toml

@@ -8,8 +8,8 @@ project-files = ["lvgl_ada_simulator.gpr"]
 tags = ["gui", "lvgl"]
 
 [[depends-on]]
-lvgl_ada = "~0.1.0"
+lvgl_ada = "^0.1.0"
-sdlada = "~2.3.1"
+sdlada = "^2.3.1"
 
 [origin]
 url = "https://github.com/Fabien-Chouteau/lvgl-ada-simulator/releases/download/v0.1.0/lvgl_ada_simulator-0.1.0.zip"

index/lv/lvgl_ada_simulator/lvgl_ada_simulator-0.1.1.toml

@@ -8,8 +8,8 @@ project-files = ["lvgl_ada_simulator.gpr"]
 tags = ["gui", "lvgl"]
 
 [[depends-on]]
-lvgl_ada = "~0.1.0"
+lvgl_ada = "^0.1.0"
-sdlada = "~2.3.1"
+sdlada = "^2.3.1"
 
 [origin]
 url = "https://github.com/Fabien-Chouteau/lvgl-ada-simulator/releases/download/v0.1.1/lvgl_ada_simulator-0.1.1.zip"

index/lz/lzmada/lzmada-1.1.2.toml

@@ -1,26 +0,0 @@
-description = "Ada LZMA Library Binding"
-long-description = "A very thin Ada binding for the LZMA compression library"
-name = "lzmada"
-version = "1.1.2"
-licenses = "MIT"
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-authors = ["Stephane.Carrez@gmail.com"]
-project-files = [".alire/lzmada.gpr"]
-tags = ["compression", "lzma"]
-website = "https://gitlab.com/stcarrez/ada-lzma"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-LZMA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[[depends-on]]
-liblzma = "*"
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "f74f024479ac4ea8949421dede73eb319bdb073a"
-url = "git+https://gitlab.com/stcarrez/ada-lzma.git"
-

index/mi/microbit_examples/microbit_examples-0.1.0.toml

@@ -102,7 +102,7 @@ tags = ["embedded", "nostd", "microbit", "nrf51"]
 auto-gpr-with=false # User has to select only one project file
 
 [[depends-on]]
-microbit_bsp = "~0.1.0"
+microbit_bsp = "^0.1.0"
 
 [gpr-set-externals]
 MICROBIT_BSP_RUNTIME_CHECKS="enabled"

index/mi/midi/midi-0.1.0.toml

@@ -1,18 +0,0 @@
-name = "midi"
-description = "Library to encode and decode MIDI messages"
-version = "0.1.0"
-licenses = "MIT"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/MIDI"
-tags = ["midi", "embedded", "nostd"]
-
-[[depends-on]]
-hal = "~0.3.0"
-bbqueue = "~0.3.0"
-
-[origin]
-commit = "14c7842aa16ad970ca0eb53f6cbf31cc2b648a72"
-url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
-

index/mi/midi/midi-0.2.0.toml

@@ -1,18 +0,0 @@
-name = "midi"
-description = "Library to encode and decode MIDI messages"
-version = "0.2.0"
-licenses = "MIT"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/MIDI"
-tags = ["midi", "embedded", "nostd"]
-
-[[depends-on]]
-hal = "~0.3.0"
-bbqueue = "~0.3.0"
-gnat = ">=11"
-
-[origin]
-commit = "6a6306df92ca026119ef193d8837ba9ef9eebfd1"
-url = "git+https://github.com/Fabien-Chouteau/MIDI.git"

index/mi/minirest/minirest-0.2.0.toml

@@ -1,20 +0,0 @@
-name = "minirest"
-description = "Minimalist Ada REST client library"
-version = "0.2"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-tags = ["rest"]
-website = "https://github.com/mosteo/minirest"
-
-[[depends-on]]
-aaa = "~0.2.1|~0.3"
-curl = "*"
-
-[origin]
-commit = "a50d0f7cc1c546b9dd61bc3dd3004e4b953fb9f2"
-url = "git+https://github.com/mosteo/minirest.git"
-

index/nr/nrf5x_hal/nrf5x_hal-0.1.0.toml

@@ -11,9 +11,8 @@ tags = ["embedded", "nostd", "nrf51", "nrf52", "nordic", "drivers", "ble"]
 auto-gpr-with=false # User has to select only one project file
 
 [[depends-on]]
-cortex_m = "~0.2.0"
+cortex_m = "^0.2.0"
-hal = "~0.1.0"
+hal = "^0.1.0"
-gnat_arm_elf = "^11.2"
 
 [origin]
 commit = "0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc"

index/op/openapi/openapi-0.6.0.toml

@@ -1,47 +0,0 @@
-description = "OpenAPI library to build REST client applications"
-tags = ["rest", "web", "api", "openapi"]
-name = "openapi"
-version = "0.6.0"
-licenses = "Apache-2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = [".alire/openapi.gpr"]
-website = "https://gitlab.com/stcarrez/openapi-ada"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
-[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
-
-[OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator) is a code generator that supports generation of
-API client libraries, server stubs and documentation automatically
-given an [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
-
-The Ada client support has been integrated in [OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator).
-
-The OpenAPI Ada library is a small support library for the Ada code generator
-provided by OpenAPI Generator.  The library provides support to serialize the data,
-make HTTP requests and support the [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
-specific operations or types.
-
-"""
-
-[[depends-on]]
-utilada = "^2.5.0"
-utilada_xml = "^2.5.0"
-security = "^1.4.1"
-
-[gpr-externals]
-OPENAPI_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-OPENAPI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin]
-commit = "2fb8711aec9f41af7ce5985780cff23c875f8dc6"
-url = "git+https://gitlab.com/stcarrez/openapi-ada.git"
-

index/op/openapi_server/openapi_server-0.6.0.toml

@@ -1,49 +0,0 @@
-description = "OpenAPI library to build REST server applications"
-tags = ["rest", "web", "api", "openapi"]
-name = "openapi_server"
-version = "0.6.0"
-licenses = "Apache-2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = [".alire/openapi_server.gpr"]
-website = "https://gitlab.com/stcarrez/openapi-ada"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
-[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
-
-[OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator) is a code generator that supports generation of
-API client libraries, server stubs and documentation automatically
-given an [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
-
-The Ada client support has been integrated in [OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator).
-
-The OpenAPI Ada library is a small support library for the Ada code generator
-provided by OpenAPI Generator.  The library provides support to serialize the data,
-make HTTP requests and support the [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
-specific operations or types.
-
-"""
-
-[[depends-on]]
-utilada = "^2.5.0"
-utilada_xml = "^2.5.0"
-security = "^1.4.1"
-servletada = "^1.6.0"
-openapi = "^0.6.0"
-
-[gpr-externals]
-OPENAPI_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-OPENAPI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/scripts"
-
-[origin]
-commit = "2fb8711aec9f41af7ce5985780cff23c875f8dc6"
-url = "git+https://gitlab.com/stcarrez/openapi-ada.git"
-

index/pi/pico_bsp/pico_bsp-1.5.0.toml

@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "1.5.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.1"
-rp2040_hal = "^1.5"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "22a7257552168a489f514bc4da65cbc641985b60"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-

index/pi/pico_bsp/pico_bsp-1.6.0.toml

@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "1.6.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.1"
-rp2040_hal = "^1.6"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "5796813759fdbb37a65f704eea08bdb414296dcc"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-

index/pi/pico_bsp/pico_bsp-2.0.0.toml

@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "2.0.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.3"
-rp2040_hal = "^2.0"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "fb355059bdfe79975500044b12acc8a2b37d0503"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-

index/pi/pico_examples/pico_examples-1.5.0.toml

@@ -1,39 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "1.5.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = "BSD-3-Clause"
-tags = ["embedded", "nostd", "pico", "rp2040"]
-website = "https://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "multicore/multicore.gpr",
-    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
-    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
-    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
-    "pio_assemble/pio_assemble.gpr",
-    "pio_blink/pio_blink.gpr",
-    "pwm/pwm.gpr",
-    "rtc/rtc.gpr",
-    "spi_loopback/spi_loopback.gpr",
-    "timer/timer.gpr",
-    "uart_echo/uart_echo.gpr",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-pico_bsp = "^1.5"
-chests = "~0.1.1"
-
-[origin]
-commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-

index/pi/pico_examples/pico_examples-1.6.0.toml

@@ -1,39 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "1.6.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = "BSD-3-Clause"
-tags = ["embedded", "nostd", "pico", "rp2040"]
-website = "https://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "multicore/multicore.gpr",
-    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
-    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
-    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
-    "pio_assemble/pio_assemble.gpr",
-    "pio_blink/pio_blink.gpr",
-    "pwm/pwm.gpr",
-    "rtc/rtc.gpr",
-    "spi_loopback/spi_loopback.gpr",
-    "timer/timer.gpr",
-    "uart_echo/uart_echo.gpr",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-pico_bsp = "^1.6"
-chests = "~0.1.1"
-
-[origin]
-commit = "0e814acca3e5d8b0890e7086a95f3bef24531267"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-

index/pi/pico_examples/pico_examples-2.0.0.toml

@@ -1,43 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "2.0.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = "BSD-3-Clause"
-tags = ["embedded", "nostd", "pico", "rp2040"]
-website = "https://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "i2c_demo/i2c_demo.gpr",
-    "multicore/multicore.gpr",
-    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
-    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
-    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
-    "pio_assemble/pio_assemble.gpr",
-    "pio_blink/pio_blink.gpr",
-    "pwm/pwm.gpr",
-    "rtc/rtc.gpr",
-    "spi_loopback/spi_loopback.gpr",
-    "timer/timer.gpr",
-    "uart_echo/uart_echo.gpr",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "usb_echo_interrupt/usb_echo_interrupt.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-gnat_arm_elf = "^12"
-rp2040_hal = "^2.0"
-pico_bsp = "^2.0"
-chests = "~0.1.1"
-
-[origin]
-commit = "cd57c29a7ad70cbb080cda4078455e1d6d58b58f"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-

index/pk/pkg_config/pkg_config-external.toml

@@ -10,8 +10,3 @@ kind = "system"
 "debian|ubuntu" = ["pkg-config"]
 arch = ["pkgconf"]
 msys2 = ["mingw-w64-x86_64-pkg-config"]
-
-[[external]]
-kind = "version-output"
-version-command = [ "pkg-config", "--version" ]
-version-regexp = "([\\d\\.]+)"

index/po/postgresql/postgresql-external.toml

@@ -7,5 +7,5 @@ maintainers-logins = ["Fabien-Chouteau"]
 [[external]]
 kind = "system"
 [external.origin."case(distribution)"]
-"debian|ubuntu|arch" = ["postgresql"]
+"debian|ubuntu" = ["postgresql"]
 msys2 = ["mingw-w64-x86_64-postgresql"]

index/re/rejuvenation/rejuvenation-22.0.1.toml

@@ -1,24 +0,0 @@
-name = "rejuvenation"
-description = "Analysis and manipulation of Ada code based on concrete patterns"
-version = "22.0.1"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Rejuvenation-Ada"
-tags = ["analysis", "manipulation", "transformation"]
-
-authors = ["Pierre van de Laar", "Arjan J. Mooij"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-[[depends-on]]
-libadalang = "^22.0.0"          #  remove this dependency when libadalang is 
-                                #  already installed on your system
-                                #  and accessible via your GPR_PROJECT_PATH
-
-# libadalang_tools = "^22.0.0"    #  needs gnatpp from libadalang_tools installed on PATH
-                                  #  Alire is not yet capable to add gnatpp to PATH.
-                                  #  see https://github.com/AdaCore/libadalang-tools/issues/21
-
-[origin]
-commit = "a6990d10a3b81067d7b8dc0407361a38a9b2c3dc"
-url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
-

index/re/resources/resources-0.1.0.toml

@@ -1,15 +0,0 @@
-name = "resources"
-description = "Utility library to handle project resources at run-time"
-version = "0.1.0"
-
-licenses = "MIT"
-website = "https://github.com/alire-project/resources"
-tags = ["utils"]
-
-authors = ["Alire Team"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau", "mosteo"]
-
-[origin]
-commit = "a418da627ec3d18f50f60edaee41a2f47f173a0e"
-url = "git+https://github.com/alire-project/resources.git"

index/re/rewriters/rewriters-22.0.0.toml

@@ -1,18 +0,0 @@
-name = "rewriters"
-description = "Easy, yet advanced manipulation of Ada code"
-version = "22.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Rewriters-Ada"
-tags = ["manipulation", "transformation"]
-
-authors = ["Pierre van de Laar"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-[[depends-on]]
-libadalang = "^22.0.0"
-rejuvenation = "^22.0.0"
-[origin]
-commit = "9b54e0c264161ebd27d0b8fd8018cd0d3a966d6e"
-url = "git+https://github.com/TNO/Rewriters-Ada.git"
-

index/rp/rp2040_hal/rp2040_hal-1.5.0.toml

@@ -1,28 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "1.5.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.3"
-hal = "~0.1"
-usb_embedded = "~0.2"
-gnat_arm_elf = "^11.2"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-
-[origin]
-commit = "fee519d49256de7ffb4ffa7820bd70b809f3a7d4"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-

index/rp/rp2040_hal/rp2040_hal-1.6.0.toml

@@ -1,28 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "1.6.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.3"
-hal = "~0.1"
-usb_embedded = "~0.2"
-gnat_arm_elf = "^11.2"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-
-[origin]
-commit = "548c38843e13d5bbd2ea8854b9a333f29edf4d47"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-

index/rp/rp2040_hal/rp2040_hal-2.0.0.toml

@@ -1,31 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "2.0.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.5"
-atomic = "~0.4"
-hal = "~0.3"
-usb_embedded = "~0.3"
-gnat_arm_elf = "^12"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Interrupts = {type = "Enum",  values = ["hal", "bb_runtimes"], default = "hal"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-cortex_m.core = "m0p"
-
-[origin]
-commit = "e7b64f1a3ff2c4c487f409debf7cd759d52cfc91"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-

index/rs/rsfile/rsfile-1.0.1.toml

@@ -1,19 +0,0 @@
-name = "rsfile"
-description = "Randomly pick a file with probability proportional to its size"
-version = "1.0.1"
-tags = ["command-line", "tool", "random", "file-size"]
-licenses = "GPL-3.0-only"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-executables = ["rsfile"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "f3d684685a9f41a94a20f80ce114a33cca028475"
-url = "git+https://github.com/mosteo/rsfile.git"
-

index/rx/rxada/rxada-0.1.1.toml

@@ -1,19 +0,0 @@
-name = "rxada"
-description = "Experimental implementation of ReactiveX in Ada"
-version = "0.1.1"
-licenses = "LGPL-3.0-only"
-website = "https://github.com/mosteo/rxada"
-
-tags = ["rx", "reactive", "reactivex", "observer"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "dd9da799f34674bf8f890392e3b96fedc0cc9cda"
-url = "git+https://github.com/mosteo/rxada.git"
-

index/se/security/security-1.4.1.toml

@@ -1,55 +0,0 @@
-description = "Security Library for HTTP client and server with OAuth2 support"
-name = "security"
-version = "1.4.1"
-licenses = "Apache-2.0"
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-authors = ["Stephane.Carrez@gmail.com"]
-project-files = [".alire/security.gpr"]
-tags = ["security", "oauth2", "authentication", "permissions", "jwt"]
-website = "https://gitlab.com/stcarrez/ada-security"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Security.svg)](https://jenkins.vacs.fr/job/Ada-Security/)
-[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Security.svg)](https://jenkins.vacs.fr/job/Ada-Security/)
-[![codecov](https://codecov.io/gh/stcarrez/ada-security/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-security)
-[![Documentation Status](https://readthedocs.org/projects/ada-security/badge/?version=latest)](https://ada-security.readthedocs.io/en/latest/?badge=latest)
-
-Ada Security provides a security framework which allows applications to define
-and enforce security policies. This framework allows users to authenticate by using
-[OpenID Authentication 2.0](https://openid.net/specs/openid-authentication-2_0.html)
-as well as [OAuth 2.0](https://oauth.net/2/) protocol.
-It allows a web application to integrate easily with Yahoo!, Gitlab, Github, Facebook and
-Google+ authentication systems.
-The Ada05 library includes:
-
-* An OpenID client authentication,
-* An OAuth 2.0 client authentication,
-* An OpenID Connect authentication framework,
-* An OAuth 2.0 server authentication framework,
-* A policy based security framework to protect the resources
-
-
-![Ada Security Overview](https://gitlab.com/stcarrez/ada-security/wiki/images/AdaSecurity.jpg)
-
-The Ada Security library is used by the
-[Ada Web Application](https://gitlab.com/stcarrez/ada-awa)
-to provide authentication and access control to users within the web applications.
-
-"""
-
-[[depends-on]]
-utilada = "^2.5.0"
-utilada_xml = "^2.5.0"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-SECURITY_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "9c17e9912fb218e7c4a11c7c1966eabc36278e15"
-url = "git+https://gitlab.com/stcarrez/ada-security.git"
-

index/se/serverfaces/serverfaces-1.5.0.toml

@@ -1,44 +0,0 @@
-description = "Web Server Faces JSR 252, JSR 314 and JSR 344"
-tags = ["web", "servlet", "http", "json"]
-name = "serverfaces"
-version = "1.5.0"
-licenses = "Apache-2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = [".alire/asf.gpr"]
-website = "https://gitlab.com/stcarrez/ada-asf"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
-[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
-[![codecov](https://codecov.io/gh/stcarrez/ada-servlet/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-servlet)
-
-Ada Servlet allows to create web applications using the same pattern
-as the Java Servlet (See JSR 154, JSR 315). 
-
-The Ada Servlet library is used by the [Ada Server Faces](https://github.com/stcarrez/ada-asf)
-framework and [Ada Web Application](https://github.com/stcarrez/ada-awa)
-to provide server web requests.
-
-"""
-
-[[depends-on]]
-security = "^1.4.1"
-servletada = "^1.6.0"
-utilada = "^2.5.0"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-ASF_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[environment]
-DYNAMO_BUNDLE_PATH.prepend = "${CRATE_ROOT}/bundles"
-
-[origin]
-commit = "10db0531d73304b86af6aca08656e5eb93abd3d6"
-url = "git+https://gitlab.com/stcarrez/ada-asf.git"
-

index/se/serverfaces_unit/serverfaces_unit-1.5.0.toml

@@ -1,43 +0,0 @@
-description = "Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)"
-tags = ["web", "servlet", "http", "framework", "facelet", "jsf", "testing"]
-name = "serverfaces_unit"
-version = "1.5.0"
-licenses = "Apache-2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-website = "https://gitlab.com/stcarrez/ada-asf"
-project-files = [".alire/unit/asf_unit.gpr"]
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Server-Faces.svg)](https://jenkins.vacs.fr/job/Ada-Server-Faces/)
-[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Server-Faces.svg)](https://jenkins.vacs.fr/job/Ada-Server-Faces/)
-[![codecov](https://codecov.io/gh/stcarrez/ada-asf/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-asf)
-
-Ada Server Faces allows to create web applications using the same pattern
-as the Java Server Faces (See JSR 252, JSR 314 and JSR 344). 
-
-This library provides a unit test framework that helps in building unit tests
-on top of Ada Server Faces.
-
-"""
-
-[[depends-on]]
-security = "^1.4.1"
-serverfaces = "^1.5.0"
-servletada = "^1.6.0"
-utilada = "^2.5.0"
-utilada_unit = "^2.5.0"
-servletada_unit = "^1.5.3"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-ASF_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "10db0531d73304b86af6aca08656e5eb93abd3d6"
-url = "git+https://gitlab.com/stcarrez/ada-asf.git"
-

index/se/servletada/servletada-1.6.0.toml

@@ -1,41 +0,0 @@
-description = "Web Servlet Library following JSR 154, JSR 315 (Core)"
-tags = ["web", "servlet", "http", "json", "rest"]
-name = "servletada"
-version = "1.6.0"
-licenses = "Apache-2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = [".alire/servletada.gpr"]
-website = "https://gitlab.com/stcarrez/ada-servlet"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
-[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
-[![codecov](https://codecov.io/gh/stcarrez/ada-servlet/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-servlet)
-
-Ada Servlet allows to create web applications using the same pattern
-as the Java Servlet (See JSR 154, JSR 315). 
-
-The Ada Servlet library is used by the [Ada Server Faces](https://gitlab.com/stcarrez/ada-asf)
-framework and [Ada Web Application](https://gitlab.com/stcarrez/ada-awa)
-to provide server web requests.
-
-"""
-
-[[depends-on]]
-security = "^1.4.1"
-utilada = "^2.5.0"
-elada = "^1.8.5"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "8de84568f8322a5f58a4bf454f61fb23fb83f885"
-url = "git+https://gitlab.com/stcarrez/ada-servlet.git"
-