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

* fix: improper syntax that will be rejected post-2.1 (#1417) We had a missing check in index loading logic that should have rejected an unexpected array. * Don't fail fast
gtkada 21.0.0: macOS support (#545 )
2025-03-20 18:55:40 +01:00 · 2022-09-27 18:04:28 +02:00 · 2022-08-23 10:51:14 +02:00 · 2022-08-22 18:46:20 +02:00 · 2022-08-22 11:05:43 +02:00 · 2022-08-19 19:20:50 +02:00
104 changed files with 2455 additions and 319 deletions
@@ -0,0 +1,10 @@
+The name of the branch plays a role in the tests run when changes are
+submitted. For this reason, when modifying the workflows in ./.github, if you
+want to test them prior to submission, the PR must be tested against a branch that
+exists also in the `alire-index-checks` repo, e.g., 'stable-1.2' or 'devel-1.2'
+
+Normally you'll want to use the latest stable or devel branch.
+
+E.g., if you modify a workflow in the `alire-index` repo and want to test it
+privately, you can do so in your own account, but using the same `stable-x.x`
+base branch for your private PR.
@@ -1,5 +1,11 @@
+# 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:
@@ -12,18 +18,19 @@ jobs:

    runs-on: ${{ matrix.os }}

-    strategy:
+    strategy: 
+      fail-fast: false
      matrix:
        os:
          - macos-latest
          - ubuntu-latest
          - windows-latest
        tag:
-          - arch-rolling
-          - centos-latest-community-latest
-          - community-latest
-          - debian-stable
-          - ubuntu-lts
+          - arch-rolling              # Arch has its own recent GNAT and pacman
+          - centos-stream-fsf-latest  # CentOS is used for unknown package manager
+          - debian-stable             # Debian has very good Ada support and apt
+          - fedora-latest             # Fedora has its own GNAT and dnf
+          - ubuntu-lts                # Ubuntu LTS is a common Debian derivative
          - ""
        exclude: # inclusions don't allow to add arrays of values to a scenario
          - os: ubuntu-latest
@@ -31,21 +38,21 @@ jobs:
          - os: macos-latest
            tag: arch-rolling
          - os: macos-latest
-            tag: centos-latest-community-latest
-          - os: macos-latest
-            tag: community-latest
+            tag: centos-stream-fsf-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-latest-community-latest
-          - os: windows-latest
-            tag: community-latest
+            tag: centos-stream-fsf-latest
          - os: windows-latest
            tag: debian-stable
+          - os: windows-latest
+            tag: fedora-latest
          - os: windows-latest
            tag: ubuntu-lts

@@ -59,6 +66,13 @@ 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
@@ -93,7 +107,7 @@ jobs:
      uses: mosteo/actions@docker-run/v1
      with:
        image: alire/gnat:${{matrix.tag}}
-        command: scripts/gh-build-crate.sh
+        command: ${{env.CHECKS_REPO}}/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)
@@ -102,5 +116,5 @@ jobs:

    - name: Test crate (Windows/MacOS)
      if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
-      run: scripts/gh-build-crate.sh
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
      shell: bash
@@ -1,6 +1,12 @@
+# 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:
@@ -14,6 +20,7 @@ jobs:
    runs-on: ${{ matrix.os }}

    strategy:
+      fail-fast: false
      matrix:
        os:
          - macos-latest
@@ -30,6 +37,13 @@ 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.
@@ -63,5 +77,5 @@ jobs:
      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar

    - name: Test crate
-      run: scripts/gh-build-crate.sh
+      run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
      shell: bash
@@ -1,8 +1,14 @@
+# 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:
@@ -23,6 +29,13 @@ 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
@@ -49,5 +62,5 @@ jobs:
        branch: master

    - name: Diff releases
-      run: scripts/diff-release.sh || true # No deal breaker if failed
+      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
      shell: bash
@@ -0,0 +1,61 @@
+description = "Ada Database Objects (Core library)"
+tags = ["database", "uml", "sql"]
+name = "ado"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/ado.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+Ada Database Objects is an Ada05 library that provides
+object relational mapping to access a database in Ada05.
+The library supports Postgresql, MySQL, SQLite as databases.
+Most of the concepts developped for ADO come from the Java Hibernate ORM.
+
+The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
+for the implementation.  It provides a database driver for [Postgresql](https://www.postgresql.org/),
+[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/).  The ORM helps your
+application by providing a mapping of your database tables directly in the target programming
+language: Ada05 in our case.  The development process is the following:
+
+  * You design your database model either using a UML tool or by writing a YAML or XML description,
+  * You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
+  * You generate the SQL database tables by using the same tool,
+  * You write your application on top of the generated code that gives you direct and simplified access to your database.
+
+![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
+
+You need at least one of these databases (or all of then).  The configure script will now
+fail if no supported database was found.  Check the [Database Drivers](#database-drivers)
+section to install them and run the configure again after the installation.
+
+# Documentation
+
+  * [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
+  * [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
+
+"""
+
+[[depends-on]]
+utilada = "^2.5.0"
+utilada_xml = "^2.5.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+
@@ -0,0 +1,44 @@
+description = "Ada Database Objects (All drivers)"
+tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
+name = "ado_all"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/all/ado_all.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the MySQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado_postgresql = "^2.3.0"
+ado_sqlite = "^2.3.0"
+ado_mysql = "^2.3.0"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[[actions]]
+type = "post-fetch"
+command = ["gnatprep", "-DHAVE_MYSQL=True", "-DHAVE_SQLITE=True", "-DHAVE_POSTGRESQL=True",
+  "src/drivers/ado-drivers-initialize.gpb",
+  "src/drivers/ado-drivers-initialize.adb"
+]
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+
@@ -0,0 +1,36 @@
+description = "Ada Database Objects (Mysql)"
+tags = ["database", "uml", "sql", "mysql", "mariadb"]
+name = "ado_mysql"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/mysql/ado_mysql.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the MySQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.3.0"
+# 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"
+
@@ -0,0 +1,36 @@
+description = "Ada Database Objects (PostgreSQL)"
+tags = ["database", "uml", "sql", "postgresql"]
+name = "ado_postgresql"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/postgresql/ado_postgresql.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the PostgreSQL driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.3.0"
+libpq = "*"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+
@@ -0,0 +1,36 @@
+description = "Ada Database Objects (SQLite)"
+tags = ["database", "uml", "sql", "sqlite"]
+name = "ado_sqlite"
+version = "2.3.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/sqlite/ado_sqlite.gpr"]
+website = "https://gitlab.com/stcarrez/ada-ado"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
+[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
+
+This is the SQLite driver for the Ada Database Objects library.
+
+"""
+
+[[depends-on]]
+ado = "^2.3.0"
+libsqlite3 = "any"
+
+[gpr-externals]
+ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
+url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+
@@ -0,0 +1,85 @@
+description = "Ada Keystore Tool"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
+[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-keystore/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-keystore)
+
+# Overview
+
+AKT is a tool to store and protect your sensitive information and documents by
+encrypting them in secure keystore (AES-256, HMAC-256).
+
+Create the keystore and protect it with a gpg public key:
+```
+   akt create secure.akt --gpg <keyid> ...
+```
+
+Store a small content:
+```
+   akt set secure.akt bank.password 012345
+```
+
+Store files, directory or a tar file:
+```
+   akt store secure.akt notes.txt
+   akt store secure.akt contract.doc
+   akt store secure.akt directory
+   tar czf - . | akt store secure.akt -- backup
+```
+
+Edit a content with your $EDITOR:
+```
+   akt edit secure.akt bank.password
+   akt edit secure.akt notes.txt
+```
+
+Get a content:
+```
+   akt get secure.akt bank.password
+   akt extract secure.akt contract.doc
+   akt extract secure.akt -- backup | tar xzf -
+```
+
+## Documents
+
+* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
+
+"""
+name = "akt"
+version = "1.3.3"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/keystoreada_tools.gpr"]
+tags = ["security", "storage", "nosql"]
+website = "https://gitlab.com/stcarrez/ada-keystore"
+executables = ["akt"]
+
+[[actions]]
+type = "post-fetch"
+command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.3.3\"",
+  "tools/akt-configs.gpb",
+  "tools/akt-configs.ads"
+]
+
+[[depends-on]]
+utilada = "^2.5.0"
+keystoreada = "^1.3.3"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+MANPATH.prepend = "${CRATE_ROOT}/man"
+
+[origin]
+commit = "e0e9d5ef2c92c74d06b3ada5ed162ad3400a9f5c"
+url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
+
@@ -0,0 +1,19 @@
+name = "asfml"
+description = "Ada binding to SFML, the Simple and Fast Multimedia Library"
+version = "2.5.3"
+
+authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "custom-zlib-acknowledgement"
+website = "https://mgrojo.github.io/ASFML/"
+tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
+
+[[depends-on]]
+libcsfml = "^2.5"
+
+[origin]
+commit = "34bc68295a8e03fb7141277f542cf0bdad2e971c"
+url = "git+https://github.com/mgrojo/ASFML.git"
+
@@ -0,0 +1,21 @@
+name = "automate"
+description = "Ada finite-state machine generator"
+version = "2.2.2"
+tags = ["automaton", "generator"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/Automate"
+
+licenses = "CECILL-2.1"
+
+executables = ["genauto"]
+
+[gpr-set-externals.'case(os)']
+macos   = { GENAUTO_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
+
+[origin]
+commit = "5ce97f6cc06d5a370b9aaf40c996f868f7d73e61"
+url = "git+https://github.com/Blady-Com/Automate.git"
+
@@ -14,12 +14,14 @@ tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
 [[actions]]
 type = "post-fetch"
 command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
-           "LAL=false", "XMLADA=false", "prefix=install_dir"]
+           "LAL=false", "XMLADA=false", "prefix=install_dir",
+           "PRJ_BUILD=Release"]

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

 [gpr-externals]
 LIBRARY_TYPE = ["static", "relocatable"]
@@ -33,9 +35,11 @@ PRJ_LAL="Disabled"
 [gpr-set-externals."case(os)".linux]
 PRJ_TARGET = "UNIX"
 TARGET = "x86_64-linux-gnu"
+SOCKET = "openssl"

 [gpr-set-externals."case(os)".macos]
 PRJ_TARGET = "Darwin"
+SOCKET = "openssl"

 [gpr-set-externals."case(os)".windows]
 PRJ_TARGET = "Windows_NT"
@@ -0,0 +1,15 @@
+name = "cbsg"
+description = "Corporate Bullshit Generator library"
+version = "0.0.1"
+
+authors = ["Gautier de Montmollin"]
+maintainers = ["Frédéric Praca <frederic.praca@free.fr>"]
+maintainers-logins = ["FredPraca"]
+tags = [ "text", "console"]
+licenses = "Apache-2.0"
+website = "http://cbsg.sf.net/"
+
+[origin]
+commit = "afef1379f890ad1a367526779b469d7cd5e35874"
+url = "git+https://github.com/FredPraca/cbsg.git"
+
@@ -0,0 +1,34 @@
+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"
+
@@ -0,0 +1,20 @@
+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"
+
@@ -0,0 +1,23 @@
+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"
+
@@ -0,0 +1,75 @@
+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"
+
@@ -0,0 +1,46 @@
+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"
+
@@ -0,0 +1,24 @@
+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"
@@ -0,0 +1,39 @@
+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"
+
@@ -0,0 +1,32 @@
+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"
+
@@ -0,0 +1,27 @@
+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"
+
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,22 @@
+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"
+
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,27 @@
+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"]
@@ -0,0 +1,27 @@
+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"]
@@ -27,6 +27,7 @@ GNATCOLL_OS = "windows"

 [gpr-set-externals]
 GNATCOLL_VERSION = "22.0.0"
+GNATCOLL_BUILD_MODE = "PROD"

 [[depends-on]]
 libgpr = "~22.0.0"
@@ -0,0 +1,33 @@
+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"
+
@@ -0,0 +1,26 @@
+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"]
@@ -0,0 +1,27 @@
+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"
+
@@ -0,0 +1,28 @@
+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"
+
@@ -12,7 +12,11 @@ tags = ["gtk", "gui"]
 # Add msys in the OS list in config.sub
 [[actions]]
 type = "post-fetch"
-command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
+command = ["sh", "-c", "sed 's/| -mingw32\\*/| -mingw32\\* | -msys\\*/g' config.sub > config.sub.0 && mv -f config.sub.0 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"
@@ -39,6 +43,10 @@ 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"]
@@ -0,0 +1,16 @@
+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"]
@@ -0,0 +1,23 @@
+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"
+
@@ -0,0 +1,60 @@
+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"
+
@@ -9,4 +9,4 @@ kind = "system"
   [external.origin."case(distribution)"]
   "debian|ubuntu" = ["libcsfml-dev"]
   "msys2"         = ["mingw-w64-x86_64-csfml"]
-   "arch"          = ["csfml"]
+   "arch|fedora"   = ["csfml"]
@@ -8,4 +8,10 @@ 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\\.]+)"
@@ -9,3 +9,8 @@ kind = "system"
 [external.origin."case(distribution)"]
 "..." = []
 "debian|ubuntu" = ["libgnutls28-dev"]
+
+[[external]]
+kind = "version-output"
+version-command = [ "pkg-config", "--modversion", "gnutls" ]
+version-regexp = "([\\d\\.]+)"
@@ -10,3 +10,8 @@ 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\\.]+)"
@@ -0,0 +1,16 @@
+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
+
@@ -0,0 +1,14 @@
+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"]
@@ -0,0 +1,24 @@
+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"
+
@@ -0,0 +1,24 @@
+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"
+
@@ -0,0 +1,26 @@
+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"
+
@@ -0,0 +1,37 @@
+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"
+
@@ -9,8 +9,8 @@ project-files = ["lvgl_ada_examples.gpr"]
 tags = ["gui", "lvgl"]

 [[depends-on]]
-lvgl_ada = "^0.1.0"
-lvgl_ada_simulator = "^0.1.0"
+lvgl_ada = "~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"
@@ -8,8 +8,8 @@ project-files = ["lvgl_ada_simulator.gpr"]
 tags = ["gui", "lvgl"]

 [[depends-on]]
-lvgl_ada = "^0.1.0"
-sdlada = "^2.3.1"
+lvgl_ada = "~0.1.0"
+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"
@@ -8,8 +8,8 @@ project-files = ["lvgl_ada_simulator.gpr"]
 tags = ["gui", "lvgl"]

 [[depends-on]]
-lvgl_ada = "^0.1.0"
-sdlada = "^2.3.1"
+lvgl_ada = "~0.1.0"
+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"
@@ -0,0 +1,26 @@
+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"
+
@@ -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"
@@ -11,8 +11,9 @@ 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"
-hal = "^0.1.0"
+cortex_m = "~0.2.0"
+hal = "~0.1.0"
+gnat_arm_elf = "^11.2"

 [origin]
 commit = "0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc"
@@ -0,0 +1,47 @@
+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"
+
@@ -0,0 +1,49 @@
+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"
+
@@ -0,0 +1,22 @@
+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"
+
@@ -0,0 +1,43 @@
+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"
+
@@ -10,3 +10,8 @@ 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\\.]+)"
@@ -7,5 +7,5 @@ maintainers-logins = ["Fabien-Chouteau"]
 [[external]]
 kind = "system"
 [external.origin."case(distribution)"]
-"debian|ubuntu" = ["postgresql"]
+"debian|ubuntu|arch" = ["postgresql"]
 msys2 = ["mingw-w64-x86_64-postgresql"]
@@ -0,0 +1,18 @@
+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"
+
@@ -0,0 +1,31 @@
+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"
+
@@ -0,0 +1,19 @@
+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"
+
@@ -0,0 +1,19 @@
+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"
+
@@ -0,0 +1,55 @@
+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"
+
@@ -0,0 +1,44 @@
+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"
+
@@ -0,0 +1,43 @@
+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"
+
@@ -0,0 +1,41 @@
+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"
+
@@ -0,0 +1,38 @@
+description = "Web Servlet Library following JSR 154, JSR 315 (AWS)"
+tags = ["web", "servlet", "http", "json"]
+name = "servletada_aws"
+version = "1.6.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/aws/servletada_aws.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). 
+
+This library integrates the Ada Servlet in the Ada Web Server.
+
+"""
+
+[[depends-on]]
+servletada = "^1.6.0"
+utilada_aws = "^2.5.0"
+
+[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"
+
@@ -0,0 +1,37 @@
+description = "Web Servlet Library following JSR 154, JSR 315 (Testing framework)"
+tags = ["web", "servlet", "http", "json", "rest", "testing"]
+name = "servletada_unit"
+version = "1.6.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/unit/servletada_unit.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)
+
+This library provides helper operations for unit testing a servlet implemented on top of
+Ada Servlet.
+
+"""
+
+[[depends-on]]
+servletada = "^1.6.0"
+utilada = "^2.5.0"
+utilada_unit = "^2.5.0"
+
+[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"
+
@@ -0,0 +1,15 @@
+name = "simh_tapes"
+description = "Library to handle SimH Standard magnetic tape image files"
+version = "0.1.1"
+
+authors = ["Stephen Merrony"]
+maintainers = ["Stephen Merrony <merrony@gmail.com>"]
+maintainers-logins = ["SMerrony"]
+licenses = "AGPL-3.0-or-later"
+website = "https://github.com/SMerrony/simh_tapes"
+tags = ["legacy", "magtape", "magnetic", "tape", "emulation", "simulation"]
+
+[origin]
+commit = "a126825a15e7bd3b5d698f3a85902c746031f606"
+url = "git+https://github.com/SMerrony/simh_tapes.git"
+
@@ -10,7 +10,7 @@ maintainers-logins = ["mosteo"]
 project-files = ["components.gpr", "components-connections_server.gpr", "components-connections_server-elv_max_cube.gpr", "components-connections_server-http_server.gpr", "components-connections_server-http_server-sqlite_browser.gpr", "components-connections_server-modbus.gpr", "components-connections_server-mqtt.gpr", "components-connections_server-secure.gpr", "components-connections_server-smtp.gpr", "components-gnutls.gpr", "components-ntp.gpr", "components-odbc.gpr", "components-sqlite.gpr", "strings_edit.gpr", "tables.gpr"]

 [[depends-on]]
-gnat = "/=2021 & <11"
+gnat = "<2020 & (<11 | >2000)"
 libgnutls = "^3.5.8"
 unixODBC = "^2.3"

@@ -0,0 +1,36 @@
+description = "Simple Components - A collection of support packages"
+name = "simple_components"
+version = "4.62.0"
+website = "http://www.dmitry-kazakov.de/ada/components.htm"
+authors = ["Dmitry A. Kazakov"]
+licenses = "GPL-2.0-only WITH GCC-exception-2.0"
+maintainers = ["alejandro@mosteo.com", "blady.net@orange.fr"]
+maintainers-logins = ["mosteo", "Blady-Com"]
+project-files = ["components.gpr", "components-connections_server.gpr", "components-connections_server-elv_max_cube.gpr", "components-connections_server-http_server.gpr", "components-connections_server-http_server-sqlite_browser.gpr", "components-connections_server-modbus.gpr", "components-connections_server-mqtt.gpr", "components-connections_server-secure.gpr", "components-connections_server-smtp.gpr", "components-gnutls.gpr", "components-ntp.gpr", "components-odbc.gpr", "components-sqlite.gpr", "strings_edit.gpr", "tables.gpr"]
+
+[[depends-on]]
+gnat = ">=2021 | (>=12 & <2000)"
+libgnutls = "^3.5.8"
+unixODBC = "^2.3"
+
+[gpr-externals]
+Atomic_Access = ["Pragma-atomic", "GCC-built-ins", "GCC-long-offsets"]
+Development = ["Debug", "Release"]
+Legacy = ["Ada95", "Ada2005", "Ada2012"]
+Tasking = ["Multiple", "Single"]
+Traced_Objects = ["Off", "On"]
+[gpr-set-externals."case(os)".linux]
+odbc = "unixODBC"
+
+[gpr-set-externals."case(os)".windows]
+odbc = "ODBC32"
+[gpr-set-externals."case(word-size)".bits-32]
+arch = "i686"
+
+[gpr-set-externals."case(word-size)".bits-64]
+arch = "x86_64"
+
+[origin]
+commit = "a5c16c1daf04a47fb288b2465e98602f44ac5b1c"
+url = "git+https://github.com/alire-project/dak_simple_components.git"
+
@@ -2,7 +2,7 @@ name = "spawn"
 description = "A simple library to spawn processes and communicate with them."
 long-description = "This is Glib indepentent implementation of a spawn processes interface."
 version = "1.0.0"
-website = "https://github.com/reznikmm/spawn"
+website = "https://github.com/AdaCore/spawn"
 authors = ["AdaCore", "Max Reznik"]
 licenses = "GPL-3.0-only WITH GCC-exception-3.1"
 maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -19,5 +19,5 @@ windows = { OS = "Windows_NT" }  # to see all enumeration values, one per row.
 macos   = { OS = "osx" }

 [origin]
-url = "https://github.com/reznikmm/spawn/files/5311743/spawn-1.0.0.tar.gz"
+url = "https://github.com/AdaCore/spawn/releases/download/1.0.0/spawn-1.0.0.tar.gz"
 hashes = ["sha512:a3d12d2df209f006922883ffcd1b69cff87995970b5e60a1aee69251bd01094364a7f8fe546284d21d0979a34ee3e95b92a94e31de55a0a3d9acf1e7aa133066"]
@@ -2,7 +2,7 @@ name = "spawn"
 description = "A simple library to spawn processes and communicate with them."
 long-description = "This is Glib indepentent implementation of a spawn processes interface."
 version = "22.0.0"
-website = "https://github.com/reznikmm/spawn"
+website = "https://github.com/AdaCore/spawn"
 authors = ["AdaCore", "Max Reznik"]
 licenses = "GPL-3.0-only WITH GCC-exception-3.1"
 maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -2,7 +2,7 @@ name = "spawn_glib"
 description = "A simple library to spawn processes and communicate with them."
 long-description = "This is Glib integrated implementation of a spawn processes interface."
 version = "1.0.0"
-website = "https://github.com/reznikmm/spawn"
+website = "https://github.com/AdaCore/spawn"
 authors = ["AdaCore", "Max Reznik"]
 licenses = "GPL-3.0-only WITH GCC-exception-3.1"
 maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -22,5 +22,5 @@ windows = { OS = "Windows_NT" }  # to see all enumeration values, one per row.
 macos   = { OS = "osx" }

 [origin]
-url = "https://github.com/reznikmm/spawn/files/5311744/spawn_glib-1.0.0.tar.gz"
+url = "https://github.com/AdaCore/spawn/releases/download/1.0.0/spawn_glib-1.0.0.tar.gz"
 hashes = ["sha512:44f2752986dcfdea4634731e0bcb972dec129d89b57e55c9e785b47cd3ae3adc04cf70334294dbcb9dd0c54cfe2896695d9b9090b8f7d6165eaf04a0b3baaaa6"]
@@ -0,0 +1,18 @@
+name = "spoon"
+description = "Use posix_spawn() to spawn processes without forking"
+version = "1.0.0"
+website = "https://github.com/onox/spoon"
+licenses = "Apache-2.0"
+tags = ["posix", "spawn", "process"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[available.'case(os)']
+'linux|macos' = true
+'...' = false
+
+[origin]
+commit = "9986379e296d4b9cdb3943d159be97320368e20c"
+url = "git+https://github.com/onox/spoon.git"
@@ -23,6 +23,7 @@ TP_XMLADA = ["Installed", "Disabled"]

 [gpr-set-externals]
 TP_XMLADA = "Installed"
+PRJ_BUILD = "Release"

 [environment]
 ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check
@@ -6,7 +6,7 @@ authors = ["Jeremy Grosser"]
 maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
 maintainers-logins = ["JeremyGrosser"]
 licenses = "MIT"
-website = ["https://github.com/JeremyGrosser/tiny_text"]
+website = "https://github.com/JeremyGrosser/tiny_text"
 tags = ["font", "hal", "bitmap", "text"]

 [[depends-on]]  # This line was added by `alr with`
@@ -0,0 +1,30 @@
+name = "tlsada"
+description = "Bindings for libtls"
+version = "2.4.2"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/tlsada"
+tags = ["tls", "ssl"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[[depends-on]]
+libtls = "^3.5"
+
+[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:ba066138194a8de874114fcb5871136ba8442f6f72484c1cd5540ce71383ef4d",
+"sha512:1ac4355ee73b7d91baabec3f13d63dcb8c80e2f48c6fc89efe0517420ecd4c6bae9670fd9e3d6fd067f3ac3997df5e3e5080e3084623e6af83f3f32b1d97e0d7",
+]
+url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.4.2.tar.gz"
+
@@ -0,0 +1,30 @@
+name = "tlsada"
+description = "Bindings for libtls"
+version = "2.5.0"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/tlsada"
+tags = ["tls", "ssl"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[[depends-on]]
+libtls = "^3.5"
+
+[gpr-externals]
+TLSADA_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+TLSADA_COMPILE_CHECKS = ["enabled", "disabled"]
+TLSADA_RUNTIME_CHECKS = ["enabled", "disabled"]
+TLSADA_STYLE_CHECKS = ["enabled", "disabled"]
+TLSADA_CONTRACTS = ["enabled", "disabled"]
+TLSADA_BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:68e2993d7286f7cebd0ee96ef56a74b8ce4787a23635698ea430e90646a632c2",
+"sha512:f3f726fad5f9851b5eb0f7453fa735d6c578b5e55b05c50bc7efb49b0d8d717c422e3a8a988547faab949a2956c0a04b0b709acc1d3b2812929163977cba54f2",
+]
+url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.5.0.tar.gz"
+
@@ -0,0 +1,30 @@
+name = "tlsada"
+description = "Bindings for libtls"
+version = "2.5.1"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/tlsada"
+tags = ["tls", "ssl"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[[depends-on]]
+libtls = "^3.5"
+
+[gpr-externals]
+TLSADA_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+TLSADA_COMPILE_CHECKS = ["enabled", "disabled"]
+TLSADA_RUNTIME_CHECKS = ["enabled", "disabled"]
+TLSADA_STYLE_CHECKS = ["enabled", "disabled"]
+TLSADA_CONTRACTS = ["enabled", "disabled"]
+TLSADA_BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:42adf0188c2ad59815b819e24f4c518ea0cd97c05be6e8e5f3ff6f965e29d5b4",
+"sha512:70ae9d1421009c04a016b7dbdd02a1f9cba5ef6bebdd2334f81ff1ae467fe3e94048084fd98b6f8b3142722ef5ab96e75bac0936f199e959e3e79a1e222c7dea",
+]
+url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.5.1.tar.gz"
+
@@ -8,3 +8,8 @@ maintainers-logins = ["mosteo"]
 [[external]]
 kind = "system"
 origin = ["unixodbc-dev"]
+
+[[external]]
+kind = "version-output"
+version-command = [ "odbc_config", "--version" ]
+version-regexp = "([\\d\\.]+)"
@@ -0,0 +1,27 @@
+name = "uri_mime"
+description = "URI & MIME Type Parsing and Manupulation"
+version = "1.4.0"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/uri-mime-ada"
+tags = ["uri", "url", "mime", "media-type"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[gpr-externals]
+URI_MIME_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+URI_MIME_COMPILE_CHECKS = ["enabled", "disabled"]
+URI_MIME_RUNTIME_CHECKS = ["enabled", "disabled"]
+URI_MIME_STYLE_CHECKS = ["enabled", "disabled"]
+URI_MIME_CONTRACTS = ["enabled", "disabled"]
+URI_MIME_BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:2f7bb73e418dfa6adce3047107dc45ac9c14c811ce8b542c2aec45c6b326292a",
+"sha512:da9eb3832cd149f8ac90440695b3dd2cf47b8675a5f1b4962bf402bf217347d1a00967e397da9da6055144deacba65869d1e01bfdb53afd40b9e6fb1a34bcb73",
+]
+url = "https://git.sr.ht/~nytpu/uri-mime-ada/archive/v1.4.0.tar.gz"
+
@@ -1,5 +1,5 @@
 description = "Utility Library with streams, processes, logs, serialization, encoders"
-long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis Ada05 library contains various utility packages for building\nAda05 applications.  This includes:\n\n* A logging framework close to Java log4j framework,\n* Support for properties\n* A serialization/deserialization framework for XML, JSON, CSV\n* Ada beans framework\n* Encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA, AES-256)\n* A composing stream framework (raw, files, buffers, pipes, sockets)\n* Several concurrency tools (reference counters, counters, pools, fifos, arrays)\n* Process creation and pipes\n* Support for loading shared libraries (on Windows or Unix)\n* HTTP client library on top of CURL or AWS\n\nAda Util also provides a small test utility library on top of\nAhven or AUnit to help in writing unit tests.  Ahven is the default testing\nframework as it provides better reports.\n\n## Documentation\n\n* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/intro/)\n\n"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis Ada05 library contains various utility packages for building\nAda05 applications.  This includes:\n\n* A logging framework close to Java log4j framework,\n* Support for properties\n* A serialization/deserialization framework for XML, JSON, CSV\n* Ada beans framework\n* Encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA, AES-256)\n* A composing stream framework (raw, files, buffers, pipes, sockets)\n* Several concurrency tools (reference counters, counters, pools, fifos, arrays)\n* Process creation and pipes\n* Support for loading shared libraries (on Windows or Unix)\n* HTTP client library on top of CURL or AWS\n\nAda Util also provides a small test utility library on top of\nAhven or AUnit to help in writing unit tests.  Ahven is the default testing\nframework as it provides better reports.\n\n## Documentation\n\n* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)\n\n"
 name = "utilada"
 version = "2.1.0"
 authors = ["Stephane.Carrez@gmail.com"]
@@ -14,6 +14,9 @@ BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
 UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
 UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]

+[[depends-on]]
+gnat = "<11 | (>=2000 & <2021)"
+
 [gpr-set-externals]
 BUILD = "distrib"
 UTIL_LIBRARY_TYPE = "static"
@@ -0,0 +1,38 @@
+description = "Utility Library with streams, processes, logs, serialization, encoders"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis Ada05 library contains various utility packages for building\nAda05 applications.  This includes:\n\n* A logging framework close to Java log4j framework,\n* Support for properties\n* A serialization/deserialization framework for XML, JSON, CSV\n* Ada beans framework\n* Encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA, AES-256)\n* A composing stream framework (raw, files, buffers, pipes, sockets)\n* Several concurrency tools (reference counters, counters, pools, fifos, arrays)\n* Process creation and pipes\n* Support for loading shared libraries (on Windows or Unix)\n* HTTP client library on top of CURL or AWS\n\nAda Util also provides a small test utility library on top of\nAhven or AUnit to help in writing unit tests.  Ahven is the default testing\nframework as it provides better reports.\n\n## Documentation\n\n* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)\n\n"
+name = "utilada"
+version = "2.5.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/utilada_conf.gpr", "utilada_core.gpr", "utilada_base.gpr", "utilada_sys.gpr"]
+tags = ["logging", "processes", "streams", "json", "beans", "encoders", "decoders"]
+website = "https://gitlab.com/stcarrez/ada-util"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
+
+[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
+UTIL_OS = "linux32"
+
+[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
+UTIL_OS = "linux64"
+
+[gpr-set-externals."case(os)".macos]
+UTIL_OS = "macos64"
+[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
+UTIL_OS = "win32"
+
+[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
+UTIL_OS = "win64"
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
+url = "git+https://gitlab.com/stcarrez/ada-util.git"
+
@@ -0,0 +1,31 @@
+description = "Utility Library REST support on top of AWS"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\n\nThis small library provides an HTTP backend on top of AWS.\nIt is can be used by the `Util.Http` package.\n\nAn alternate HTTP backend is provided by CURL with utilada_curl.\n\n"
+name = "utilada_aws"
+version = "2.5.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/aws/utilada_aws.gpr"]
+tags = ["web", "http"]
+website = "https://gitlab.com/stcarrez/ada-util"
+
+[[depends-on]]
+utilada = "^2.5.0"
+aws = "~21.0"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+UTIL_AWS_IMPL = ["1", "2", "3"]
+
+[gpr-set-externals]
+UTIL_AWS_IMPL = "2"
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
+url = "git+https://gitlab.com/stcarrez/ada-util.git"
+
@@ -0,0 +1,27 @@
+description = "Utility Library REST support on top of CURL"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\n\nThis small library provides an HTTP backend on top of CURL.\nIt is can be used by the `Util.Http` package.\n\nAn alternate HTTP backend is provided by AWS with utilada_aws.\n\n"
+name = "utilada_curl"
+version = "2.5.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = ["utilada_curl.gpr"]
+tags = ["web", "http", "rest"]
+website = "https://gitlab.com/stcarrez/ada-util"
+
+[[depends-on]]
+utilada = "^2.5.0"
+curl = "*"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
+url = "git+https://gitlab.com/stcarrez/ada-util.git"
+
@@ -0,0 +1,27 @@
+description = "Utility Library streams with LZMA support"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\n\nThis small library provides LZMA streams.\n\n"
+name = "utilada_lzma"
+version = "2.5.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/lzma/utilada_lzma.gpr"]
+tags = ["lzma", "streams"]
+website = "https://gitlab.com/stcarrez/ada-util"
+
+[[depends-on]]
+lzmada = "^1.1.2"
+utilada = "^2.5.0"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
+url = "git+https://gitlab.com/stcarrez/ada-util.git"
+
@@ -0,0 +1,26 @@
+description = "Utility Library testing framework with Ahven"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis library provides a testing framework on top of Ahven.\nIt provides various testing helper operations to help in\nwriting unit tests.\n\n"
+name = "utilada_unit"
+version = "2.5.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/unit/utilada_unit.gpr"]
+tags = ["testing"]
+website = "https://gitlab.com/stcarrez/ada-util"
+
+[[depends-on]]
+utilada = "^2.5.0"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
+url = "git+https://gitlab.com/stcarrez/ada-util.git"
+
@@ -0,0 +1,27 @@
+description = "Utility Library serialization with XML/Ada"
+long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis library provides a serialization framework on top of XML/Ada for\nAda Utility Library.\n\n"
+name = "utilada_xml"
+version = "2.5.0"
+authors = ["Stephane.Carrez@gmail.com"]
+licenses = "Apache-2.0"
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/xml/utilada_xml.gpr"]
+tags = ["xml", "serialization"]
+website = "https://gitlab.com/stcarrez/ada-util"
+
+[[depends-on]]
+utilada = "^2.5.0"
+xmlada = "any"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
+url = "git+https://gitlab.com/stcarrez/ada-util.git"
+
@@ -0,0 +1,21 @@
+name = "uxstrings"
+description = "Unicode Extended Strings utilities"
+version = "0.3.0+alpha-20220727"
+tags = ["unicode", "dynamic", "string"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/UXStrings"
+
+licenses = "CECILL-2.1"
+
+project-files = ["lib_uxstrings1.gpr"]
+
+[[depends-on]]
+gnat = ">=2021 | (>=11.2 & <2000)"
+
+[origin]
+commit = "7f963eb39f1f35ec9a36487a2c064e8eab4abec6"
+url = "git+https://github.com/Blady-Com/UXStrings.git"
+
@@ -0,0 +1,22 @@
+name = "uxstrings"
+description = "Unicode Extended Strings utilities"
+version = "0.4.0+alpha-20220803"
+tags = ["unicode", "dynamic", "string"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/UXStrings"
+
+licenses = "CECILL-2.1"
+
+project-files = ["lib_uxstrings1.gpr"]
+
+[[depends-on]]
+gnat = ">=2021 | (>=12 & <2000)"
+simple_components = "^4.62.0"
+
+[origin]
+commit = "44d56c604ade12623e2033979f1ef3f1bfda0b96"
+url = "git+https://github.com/Blady-Com/UXStrings.git"
+
@@ -0,0 +1,44 @@
+description = "Wiki Engine with parser and renderer for several wiki syntaxes"
+tags = ["wiki-engine", "markdown", "mediawiki", "dotclear", "html", "parser", "renderer"]
+name = "wikiada"
+version = "1.4.0"
+licenses = "Apache-2.0"
+authors = ["Stephane.Carrez@gmail.com"]
+maintainers = ["Stephane.Carrez@gmail.com"]
+maintainers-logins = ["stcarrez"]
+project-files = [".alire/wikiada.gpr"]
+website = "https://gitlab.com/stcarrez/ada-wiki"
+long-description = """
+
+[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Wiki.svg)](https://jenkins.vacs.fr/job/Ada-Wiki/)
+[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Wiki.svg)](https://jenkins.vacs.fr/job/Ada-Wiki/)
+[![codecov](https://codecov.io/gh/stcarrez/ada-wiki/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-wiki)
+
+Ada Wiki is a small library that provides and focuses only on the Wiki engine.
+
+The library allows to:
+
+* Parse a wiki text such as Mediawiki, Creole, PhpBB, Dotclear and Google Code
+* Parse HTML content in embedded wiki text,
+* Filter out the wiki, HTML or text through customizable filters,
+* Render the wiki text in HTML, text or another wiki format
+
+The Ada Wiki library is used by [Ada Web Application](https://github.com/stcarrez/ada-awa)
+for the implementation of the blog and wiki online plugins.
+
+"""
+
+[[depends-on]]
+utilada = "^2.5.0"
+
+[gpr-externals]
+BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
+WIKI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "d6ced3e8b5e4ffd575a122664a0d593dcf2d1ff8"
+url = "git+https://gitlab.com/stcarrez/ada-wiki.git"
+
@@ -0,0 +1,24 @@
+name = "wordle"
+description = "Wordle for the terminal"
+version = "0.1.1"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+executables = ["wordle"]
+
+licenses = "MIT"
+tags = ["wordle", "console", "terminal", "game"]
+
+[[depends-on]]
+aaa       = "~0.2.6"
+ansiada   = "^1.0.0"
+wordlelib = "~0.1.0"
+wordlist  = "~0.1.2"
+
+
+[origin]
+commit = "e2a960d82bce0914d3ed7ac5e4b0a6cd13d41b21"
+url = "git+https://github.com/mosteo/wordle_ada.git"
+
@@ -0,0 +1,18 @@
+name = "wordlelib"
+description = "Library to track progress in a game of Wordle"
+version = "0.1.0"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+licenses = "MIT"
+tags = ["wordle", "game", "console", "terminal"]
+
+[[depends-on]]
+aaa = "~0.2.5"
+
+[origin]
+commit = "5f907b3b1c98112eaaec9be55296625f4443d316"
+url = "git+https://github.com/mosteo/wordlelib_ada.git"
+
@@ -0,0 +1,25 @@
+name = "wordlist"
+description = "An English word list"
+version = "0.1.3"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+licenses = "MIT"
+tags = ["wordlist", "english"]
+
+[[depends-on]]
+aaa       = "~0.2.5"
+ada_toml  = "~0.3.0"
+gnat      = ">=11 & <2000"
+resources = "~0.1.0"
+
+[configuration.variables]
+Logging = { type = "Boolean", default = false }
+Wordset = { type = "Enum", values = ["small", "large", "wordle"], default = "large" }
+
+[origin]
+commit = "fad16afcc384075bd0fda36d98b95d78778e46c7"
+url = "git+https://github.com/mosteo/wordlist_ada.git"
+
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Alejandro R Mosteo	893ec65679	fix: improper syntax that will be rejected post-2.1 (#1417 ) (#1446 ) * fix: improper syntax that will be rejected post-2.1 (#1417) We had a missing check in index loading logic that should have rejected an unexpected array. * Don't fail fast	2025-03-20 18:55:40 +01:00
Blady-Com	97ab1425bf	gtkada 21.0.0: macOS support (#545 ) * Add macOS support to GTKAda 21.0.0. * Fix sed syntax for Linux. * To be compatible between macOS and Linux, we should avoid sed -i and use tmp files instead. * Disable problematic platforms Co-authored-by: GHA <actions@github.com>	2022-09-27 18:04:28 +02:00
Stephane Carrez	19b9c9f156	libmariadb external (#619 )	2022-08-23 10:51:14 +02:00
Jeremy Grosser	482c219a9a	rp2040_hal, pico_bsp, pico_examples 2.0.0 (#618 )	2022-08-22 18:46:20 +02:00
Stephane Carrez	365ece5cc0	openapi 0.6.0, openapi_server 0.6.0 (#616 )	2022-08-22 11:05:43 +02:00
Simon Wright	96ae9d9262	ews 1.11.0 (#615 ) * Adding EWS 1.11.0. * Fixed CI build error.	2022-08-19 19:20:50 +02:00
Stephane Carrez	5e094050a2	serverfaces 1.5.0, serverfaces_unit 1.5.0 (#614 )	2022-08-18 12:55:46 +02:00
Stephane Carrez	9ed78577e7	servletada 1.6.0, servletada_aws 1.6.0, servletada_unit 1.6.0 (#612 ) I'll submit the servletada_ews crate when Simon publishes the ews crate	2022-08-18 11:17:26 +02:00
nytpu	f4102f2005	tlsada 2.5.1, uri_mime 1.4.0 (#608 ) * tlsada 2.5.0 * uri_mime 1.4.0 * tlsada 2.5.1	2022-08-18 11:05:51 +02:00
Blady-Com	58f1131b7e	gnoga 1.6.2, gnoga 2.1.2 (#607 )	2022-08-18 11:02:05 +02:00
Stephane Carrez	5a220c088a	akt 1.3.3, keystoreada 1.3.3 (#599 )	2022-08-17 13:57:10 +02:00
Fabien Chouteau	cc8691353a	littlefs 0.2.2, littlefs 0.3.1 (#606 )	2022-08-17 13:53:29 +02:00
Fabien Chouteau	9d63de674e	cortex_m 0.5.0 (#603 )	2022-08-17 12:30:52 +02:00
Manuel	8ccdd4b51c	New release: ASFML v2.5.3. & Add external origin for libcsfml on Fedora (#605 )	2022-08-11 08:14:42 +02:00
Blady-Com	9e79b59fd3	Upgrade UXStrings to version 0.4.0. (#602 ) Add Simple Components dependency.	2022-08-09 09:06:56 +02:00
Stephane Carrez	e128d84876	Add new crate for the Ada Wiki Engine 1.4.0 library (#600 )	2022-08-09 09:06:03 +02:00
Stephane Carrez	97a59de737	Add crate for the new Ada Database Objects 2.3.0 library (#598 )	2022-08-09 09:02:06 +02:00
Stephane Carrez	8947ddad6b	Add crate for the new LZMA support in Ada Utility Library 2.5.0 (#597 ) * Add crate for the new LZMA support in Ada Utility Library 2.5.0 * Fix the crate (wrong commit)	2022-08-09 09:01:20 +02:00
Stephane Carrez	bdc02b248f	Add crate for the new Ada Security 1.4.1 library (#596 ) * Add crate for the new Ada Security 1.4.1 library * Fix commit	2022-08-09 09:00:40 +02:00
Alejandro R Mosteo	28f3aa912e	rsfile 1.0.1 (#592 )	2022-08-09 08:59:54 +02:00
Blady-Com	92885992a5	simple_components 4.62 (#601 )	2022-08-04 12:48:16 +02:00
Stephane Carrez	8d195be94f	elada 1.8.5 (#595 )	2022-08-04 12:20:54 +02:00
Stephane Carrez	bd299010ee	utilada, _aws, _curl, _unit, _xml 2.5.0 (#594 ) * Add crate for the new Ada Utility 2.5.0 library * Remove setting the BUILD and UTIL_LIBRARY_TYPE since default values exists in GPR	2022-08-03 18:22:54 +02:00
Stephane Carrez	88151621ea	lzmada 1.1.2 (#593 )	2022-08-03 11:10:34 +02:00
Jesper Quorning	17c1f5d147	utilada 2.1.0: fix compiler constraint (#591 ) * Fix compiler constraint * Sure to include all CE 2020	2022-08-02 11:23:32 +02:00
Jesper Quorning	32115b37ec	utilada 2.1.0: Constraints on compiler (#590 ) * Add compiler constraints * Fix readthedocs url	2022-07-31 11:22:20 +02:00
Paul Jarrett	4b10e465ca	dir_iterators 0.0.4 (#589 )	2022-07-31 11:19:06 +02:00
onox	2abe5955de	libopus external (#588 )	2022-07-31 11:15:18 +02:00
Stephen Merrony	9934b08c4a	simh_tapes 0.1.1: remove executable (#587 ) The executable is in a nested crate	2022-07-31 11:13:12 +02:00
onox	c0cefb39a1	libgmp external: add Arch package (#586 )	2022-07-31 10:56:24 +02:00
Alejandro R Mosteo	8322df8d70	rxada 0.1.1 (#585 ) Co-authored-by: GHA <actions@github.com>	2022-07-29 16:27:47 +02:00
onox	c5f9c524e8	spoon 1.0.0 (#580 )	2022-07-29 13:00:39 +02:00
Fabien Chouteau	639941bf3c	lvgl_ada_examples 0.1.0 narrower dependencies (#579 ) * Update lvgl_ada_examples-0.1.0.toml Fix dependencies * Update lvgl_ada_simulator-0.1.1.toml * Update lvgl_ada_simulator-0.1.0.toml * Update lvgl_ada_simulator-0.1.1.toml * Update lvgl_ada_simulator-0.1.0.toml	2022-07-29 10:24:34 +02:00
Frédéric Praca	f9b2878076	cbsg 0.0.1 (#584 )	2022-07-28 18:11:53 +02:00
Stephen Merrony	1005eefb35	dg_loada 1.4.3 (#576 ) Add Data General Dump_II file restore utility. * Library for SimH Standard magnetic tape images Simh_tape is an Ada package for handling magnetic tape images in the [standard format](http://simh.trailing-edge.com/docs/simh_magtape.pdf) used by [SimH](http://simh.trailing-edge.com/) and many other computer simulators and emulators. * Remove build-switches * Fix alire.toml * Delete simh_tapes-0.1.1-dev.toml * Add Data General Dump_II file restore utility. * Restrict to non-Windows OSes Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>	2022-07-28 13:12:01 +02:00
Frédéric Praca	84428d59c7	postgresql external: add Arch support (#583 )	2022-07-28 11:03:06 +02:00
Blady-Com	ce0a741956	uxstrings support for gnat > 11 (#582 )	2022-07-28 10:41:07 +02:00
Fabien Chouteau	4ded60916f	gnat, gnatprove 12.1.1 (#550 ) * gnatprove-12.1.1 * Update gnatprove-12.1.1.toml * Update gnatprove-12.1.1.toml * GNAT and GNATprove 12.1.1 * Update gnat_riscv64_elf-12.1.1.toml * Update gnat_native-12.1.1.toml * GNAT FSF 12.1.2 * Update gnat_native-12.1.2.toml	2022-07-27 11:28:24 +02:00
Fabien Chouteau	291704c6c3	aws 21.0.0: enable openssl on Linux/macOS and release builds (#573 )	2022-07-25 17:11:52 +02:00
Blady-Com	4cceb704dc	macOS support for gmp via external command (#577 ) Tested with MacPorts (gmp).	2022-07-25 10:06:13 +02:00
nytpu	058c9d073d	getopt 2.0.0 (#574 )	2022-07-23 12:00:10 +02:00
Fabien Chouteau	1e8637173e	xmlada 21.0.0: fix post-fetch configure (#572 ) * xmlada-21.0.0: fix post-fetch configure Fix configure * xmlada-22.0.0: fix post-fetch configure	2022-07-22 18:43:36 +02:00
Alejandro R Mosteo	23ba528593	Separate check scripts to their own repository (#567 ) * Remove scripts * Update workflows to use checks repo * Add explanation about naming of base branch This only concerns private tests with PRs created against a base branch in another non-official repo. * Fix checkout paths * Move TESTING to a less confusing location	2022-07-21 12:25:39 +02:00
nytpu	41589135c3	lmdb_ada 1.1.0 (#569 ) * lmdb_ada 1.0.1 * lmdb_ada 1.0.1 -> 1.1.0	2022-07-20 17:51:28 +02:00
Alejandro R Mosteo	5fe1ac673c	wordle 0.1.1, wordlelib 0.1.0 (#561 ) * wordlelib 0.1.0 * wordle 0.1.1 * Fix metadata names * Enable -d (that should be already working but...) * Remove problematic metadata * Remove script modification Co-authored-by: GHA <actions@github.com>	2022-07-20 14:26:13 +02:00
Maxim Reznik	d91257541f	Spawn repo was moved to AdaCode account. (#571 ) I have created an old release there and uploaded files under it.	2022-07-20 09:59:29 +02:00
Fabien Chouteau	7b7c753344	gnatcoll 22.0.0: set build mode to PROD (#570 )	2022-07-19 10:37:01 +02:00
Blady-Com	c4b895b760	More macOS support for simple_components (#565 )	2022-07-18 13:19:58 +02:00
Stephen Merrony	bee92953b8	Library for SimH Standard magnetic tape images (#568 ) * Library for SimH Standard magnetic tape images Simh_tape is an Ada package for handling magnetic tape images in the [standard format](http://simh.trailing-edge.com/docs/simh_magtape.pdf) used by [SimH](http://simh.trailing-edge.com/) and many other computer simulators and emulators. * Remove build-switches * Fix alire.toml * Delete simh_tapes-0.1.1-dev.toml Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>	2022-07-14 17:29:59 +02:00
Maxim Reznik	3dc3a3bf81	Fix templates_parser to work with GCC 12 (#563 ) Force `PRJ_BUILD` to `Release` to avoid `-gnatwe` and compilation issue: ``` templates_parser.adb:2093:55: warning: pragma Unreferenced given for "Next_Last" [enabled by default] ```	2022-07-05 09:24:56 +02:00
Blady-Com	128741301c	Add automaton generator to Alire. (#566 )	2022-07-04 10:43:17 +02:00
onox	6d242cc550	evdev 2.0.1 (#564 )	2022-07-01 10:00:30 +02:00
Alejandro R Mosteo	fab9b9953e	Ensure aliases work within non-interactive shell (#562 ) Co-authored-by: GHA <actions@github.com>	2022-06-24 13:51:58 +02:00
Alejandro R Mosteo	63d9347fc2	wordlist 0.1.3 (#560 ) * wordlist 0.1.3 * Fix gnat dependency Co-authored-by: GHA <actions@github.com>	2022-06-23 19:21:27 +02:00
Fabien Chouteau	1452ad5f47	nrf5x_hal 0.1.0: fix dependencies (#551 ) * nrf5x-hal-0.1.0: fix dependencies `~` was intended here and required since `cortex_m=0.4.0` is breaking the builds. * Update microbit_examples-0.1.0.toml * Update nrf5x_hal-0.1.0.toml	2022-06-23 11:36:12 +02:00
Alejandro R Mosteo	f32a75e445	Update docker images used in test workflow (#558 ) Remove Community Edition tests, switch centOS to the rolling stream release with alr-provided FSF GNAT, add Fedora that was lying unused. Co-authored-by: GHA <actions@github.com>	2022-06-23 11:34:25 +02:00
Alejandro R Mosteo	69e6ae18f7	Fix detection of compiler crates in test script (#556 ) * Be a bit more clever detecting a compiler dependency * Work around premature closing of pipe Co-authored-by: GHA <actions@github.com>	2022-06-23 11:33:40 +02:00
Fabien Chouteau	452ab8f14d	Fix xmlada 21 on Windows (#559 )	2022-06-23 11:21:53 +02:00
Alejandro R Mosteo	27bff3341a	Disable git check in testing script (#557 ) * Disable git checks for dir ownership * Document the vulnerabilities requiring the change Co-authored-by: GHA <actions@github.com>	2022-06-23 11:20:53 +02:00
nytpu	ab2fca430f	tlsada 2.4.2 (#548 )	2022-06-21 19:05:37 +02:00
Simon Wright	245294cf39	gnat_math_extensions 1.1.0 (#547 ) * gnat_math_extensions 1.1.0 - first Alire release (the project started in 2010).	2022-06-21 17:49:01 +02:00
Alejandro R Mosteo	81259d3622	iterators 0.2.0 (#549 )	2022-06-20 13:47:13 +02:00
Gautier de Montmollin	a7df70abef	Create hac-0.11.0.toml (#555 ) * Create hac-0.11.0.toml * Update hac-0.11.0.toml Shortened description (<= 72 characters)	2022-06-20 10:27:38 +02:00
Maxim Reznik	d8afd1e41a	Annex E: garlic and gnatdist (#553 )	2022-06-20 10:24:03 +02:00
pjljvandelaar	d99d85c4d3	dependency_graph_extractor, rewriters 22.0.0 (#546 ) * Dependency Graph Extractor 22.0.0 * Rewriters 22.0.0 First release	2022-06-12 12:07:57 +02:00
Fabien Chouteau	af208985b2	littlefs-0.2.0 (#544 )	2022-06-11 10:47:26 +02:00