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
139 changed files with 3230 additions and 318 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,10 +29,12 @@ jobs:
        # need the full history or else grafted partial branches confuse the
        # changed files detector

-#    - name: Set up GNAT toolchain (FSF)
-#      uses: ada-actions/toolchain@ce2020
-#      with:
-#        distrib: fsf # faster install?
+    - 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-')
@@ -34,6 +42,18 @@ jobs:
      with:
        toolchain: --disable-assistant # We don't need the compiler

+    - name: Set up GNAT toolchain (FSF)
+      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: fsf # faster install?
+
+    - name: Set up GNAT toolchain (Community)
+      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
+      uses: ada-actions/toolchain@ce2020
+      with:
+        distrib: community
+
    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
      uses: alire-project/setup-alire@v1
@@ -42,5 +62,5 @@ jobs:
        branch: master

    - name: Diff releases
-      run: scripts/diff-release.sh || true # No deal breaker if failed
-      shell: bash
+      run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
+      shell: bash
@@ -12,7 +12,7 @@ jobs:

    - name: Set up stable `alr`
      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@latest-stable
+      uses: alire-project/setup-alire@v1

    - name: Set up GNAT for devel `alr`
      if: contains(github.base_ref, 'devel-')
@@ -22,7 +22,9 @@ jobs:

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

    - run: alr index --list

@@ -0,0 +1,7 @@
+# Changes to the index format that require versioning
+
+## 1.2
+
+- Build profiles and switches.
+- New `subdir` property in git remotes.
+- New `host-arch` key for case expressions.
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.5"
+description = "Alex's Ada Assortment (of miscellaneous utilities)"
+
+long-description = """
+Alex's Ada Assortment of Utilities
+
+- Text formatting (paragraphs, tables).
+- Indefinite containers.
+- Enumeration validity/conversions of string images.
+- On-demand stack backtraces.
+- String containers and utilities.
+- Simple subprocess spawning.
+- Write-through minimal cache for objects stored in files
+"""
+
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+tags = ["miscellanea", "utility"]
+website = "https://github.com/mosteo/aaa"
+
+[origin]
+commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.6"
+description = "Alex's Ada Assortment (of miscellaneous utilities)"
+
+long-description = """
+Alex's Ada Assortment of Utilities
+
+- Text formatting (paragraphs, tables).
+- Indefinite containers.
+- Enumeration validity/conversions of string images.
+- On-demand stack backtraces.
+- String containers and utilities.
+- Simple subprocess spawning.
+- Write-through minimal cache for objects stored in files
+"""
+
+authors = ["Alejandro R. Mosteo"]
+licenses = "LGPL-3.0-only"
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+tags = ["miscellanea", "utility"]
+website = "https://github.com/mosteo/aaa"
+
+[origin]
+commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -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,15 @@
+name = "ansiada"
+description = "ANSI escape sequences"
+version = "1.0.0"
+
+licenses = "MIT"
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+tags = ["ansi", "terminal"]
+
+[origin]
+commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
+url = "git+https://github.com/mosteo/ansi-ada.git"
+
@@ -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,28 @@
+name = "clic"
+description = "Command Line Interface Components"
+version = "0.2.1"
+
+authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
+maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["mosteo", "Fabien-Chouteau"]
+licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["cli", "command-line", "user-input", "tty"]
+website = "https://github.com/alire-project/clic"
+long-description = """
+Command Line Interface Components:
+ - "git like" subcommand handling
+ - TTY color and formatting
+ - User input queries
+ - User configuration
+"""
+
+[[depends-on]]
+aaa = "~0.2.4"
+simple_logging = "^1.2.0"
+ansiada = "^1.0"
+ada_toml = "~0.2|~0.3"
+
+[origin]
+commit = "c7aabf94e0946ae3a5b77c29cc45fd28f70e17f6"
+url = "git+https://github.com/alire-project/clic.git"
+
@@ -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.4.0"
+licenses = "BSD-3-Clause"
+authors=["AdaCore"]
+website="https://github.com/AdaCore/Ada_Drivers_Library/"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["embedded", "arm", "nostd"]
+
+[[depends-on]]
+hal = "~0.3"
+gnat_arm_elf = ">=11"
+
+[configuration.variables]
+core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
+
+[origin]
+commit = "7cfb8c9b2f03a5f461c113b6acf3b6245c627cc7"
+url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
+
@@ -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,20 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "3.0.1"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
+website = "https://github.com/hgrodriguez/eeprom_i2c"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+
@@ -0,0 +1,18 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "3.2.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
+website = "https://github.com/hgrodriguez/eeprom_i2c"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+
+[origin]
+commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+
@@ -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 = "1.2.2"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/getopt-ada"
+tags = ["arguments", "options", "flags", "getopt"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[gpr-externals]
+LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+COMPILE_CHECKS = ["enabled", "disabled"]
+RUNTIME_CHECKS = ["enabled", "disabled"]
+STYLE_CHECKS = ["enabled", "disabled"]
+CONTRACTS = ["enabled", "disabled"]
+BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:b5ade9bcda49c1dc74554137fe961e4d4c072d29fcf99a7219ccb4c2827ae84e",
+"sha512:4556349572048135747631aa1c89d657282e745ccde9f7126dfb29e4648d301b778c583f83703ad72e73ca74741e2484b1dcd341d3f4c1ed589a59b71a5ccfdd",
+]
+url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v1.2.2.tar.gz"
+
@@ -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"]
@@ -1 +1 @@
-version = "1.1"
+version = "1.2"
@@ -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,21 @@
+name = "j2ada"
+description = "Almost Java to Ada translator"
+version = "1.4.2"
+tags = ["java", "translator"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/j2ada"
+
+licenses = "CECILL-2.1"
+
+executables = ["j2ada"]
+
+[gpr-set-externals.'case(os)']
+macos   = { J2ADA_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
+
+[origin]
+commit = "79a4663450089d4dc2acdbb4c656624b6f43269a"
+url = "git+https://github.com/Blady-Com/j2ada.git"
+
@@ -0,0 +1,22 @@
+name = "json"
+description = "An Ada 2012 library for parsing JSON"
+version = "5.0.2"
+website = "https://github.com/onox/json-ada"
+licenses = "Apache-2.0"
+tags = ["json"]
+
+executables = ["pretty_print"]
+
+project-files = ["json.gpr", "json_pretty_print.gpr"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[configuration]
+disabled = true
+
+[origin]
+url = "git+https://github.com/onox/json-ada.git"
+commit = "d429d7af880ab9ed38d58ac08c1c9a16e7697752"
+subdir = "json"
@@ -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"
+
@@ -0,0 +1,14 @@
+description = "Basic Linear Algebra Subprograms"
+name = "libblas"
+licenses = "custom-blas-2017"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[external]]
+kind="system"
+[external.origin."case(distribution)"]
+"macos" = []
+"debian|ubuntu" = ["libblas-dev"]
+"msys2" = ["mingw-w64-x86_64-lapack"]
@@ -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,31 @@
+name = "libkeccak"
+description = "SHA-3 and related algorithms"
+version = "3.0.0"
+licenses = "BSD-3-Clause"
+website = "https://github.com/damaki/libkeccak"
+tags = [
+    "spark", "cryptography", "security", "hash", "sha3", "keccak", "gimli",
+    "ascon", "shake", "cshake", "kmac", "tuplehash", "parallelhash",
+    "kangarootwelve"
+]
+
+authors = ["Daniel King"]
+maintainers = ["Daniel King <damaki.gh@gmail.com>"]
+maintainers-logins = ["damaki"]
+
+[[depends-on]]
+gnat = ">=11.0.0"
+
+[gpr-externals]
+LIBKECCAK_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+LIBKECCAK_COMPILE_CHECKS = ["enabled", "disabled"]
+LIBKECCAK_RUNTIME_CHECKS = ["enabled", "disabled"]
+LIBKECCAK_STYLE_CHECKS = ["enabled", "disabled"]
+LIBKECCAK_CONTRACTS = ["enabled", "disabled"]
+LIBKECCAK_BUILD_MODE = ["debug", "optimize"]
+LIBKECCAK_ARCH = ["generic", "x86_64"]
+LIBKECCAK_SIMD = ["none", "SSE2", "AVX2"]
+[origin]
+commit = "f33be1c8120196d90f600b14d669b11d16149bf9"
+url = "git+https://github.com/damaki/libkeccak.git"
+
@@ -0,0 +1,14 @@
+description = "Linear Algebra Package"
+name = "liblapack"
+licenses = "BSD-3-Clause"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[external]]
+kind="system"
+[external.origin."case(distribution)"]
+"macos" = []
+"debian|ubuntu" = ["liblapack-dev"]
+"msys2" = ["mingw-w64-x86_64-lapack"]
@@ -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,15 @@
+name = "libtls"
+description = "A new TLS library"
+website = "https://man.openbsd.org/tls_init.3"
+tags = ["tls", "ssl"]
+licenses = "ISC"
+
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libtls-dev"]
+"arch|centos|fedora" = ["libretls"]
+msys2 = ["mingw-w64-libressl"]
@@ -0,0 +1,35 @@
+name = "linenoise_ada"
+description = "Bindings to the Linenoise line editing library"
+version = "1.1.1"
+licenses = "BSD-2-Clause"
+
+project-files = ["linenoise.gpr"]
+
+website = "https://git.sr.ht/~nytpu/linenoise-ada"
+tags = ["linenoise", "readline", "line-editing"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[available.'case(os)']
+linux   = true
+macos   = true
+windows = false
+'...'   = false
+
+[gpr-externals]
+LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+COMPILE_CHECKS = ["enabled", "disabled"]
+RUNTIME_CHECKS = ["enabled", "disabled"]
+STYLE_CHECKS = ["enabled", "disabled"]
+CONTRACTS = ["enabled", "disabled"]
+BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:09aa2452b34c2714858e06cceeae52f366a79f452fec667d5a78d3252a31b40f",
+"sha512:c098d1281992702d8fd889e73d19feeaa10770f00bdb40ad0cb1627cd6cb48bf8272e8cfe8fc5fb4a0fa64125f9b4d4a04e43012a06ba9dda1ff21695b11cf04",
+]
+url = "https://git.sr.ht/~nytpu/linenoise-ada/archive/v1.1.1.tar.gz"
+
@@ -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"
@@ -0,0 +1,18 @@
+name = "midi"
+description = "Library to encode and decode MIDI messages"
+version = "0.1.0"
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/MIDI"
+tags = ["midi", "embedded", "nostd"]
+
+[[depends-on]]
+hal = "~0.3.0"
+bbqueue = "~0.3.0"
+
+[origin]
+commit = "14c7842aa16ad970ca0eb53f6cbf31cc2b648a72"
+url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
+
@@ -0,0 +1,18 @@
+name = "midi"
+description = "Library to encode and decode MIDI messages"
+version = "0.2.0"
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/MIDI"
+tags = ["midi", "embedded", "nostd"]
+
+[[depends-on]]
+hal = "~0.3.0"
+bbqueue = "~0.3.0"
+gnat = ">=11"
+
+[origin]
+commit = "6a6306df92ca026119ef193d8837ba9ef9eebfd1"
+url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
@@ -0,0 +1,20 @@
+name = "minirest"
+description = "Minimalist Ada REST client library"
+version = "0.2"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+licenses = "MIT"
+tags = ["rest"]
+website = "https://github.com/mosteo/minirest"
+
+[[depends-on]]
+aaa = "~0.2.1|~0.3"
+curl = "*"
+
+[origin]
+commit = "a50d0f7cc1c546b9dd61bc3dd3004e4b953fb9f2"
+url = "git+https://github.com/mosteo/minirest.git"
+
@@ -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 = "1.5.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "^1.5"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "22a7257552168a489f514bc4da65cbc641985b60"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.6.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "^1.6"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "5796813759fdbb37a65f704eea08bdb414296dcc"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -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,39 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.5.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "multicore/multicore.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "uart_interrupt/uart_interrupt.gpr",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.5"
+chests = "~0.1.1"
+
+[origin]
+commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -0,0 +1,39 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.6.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "multicore/multicore.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "uart_interrupt/uart_interrupt.gpr",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.6"
+chests = "~0.1.1"
+
+[origin]
+commit = "0e814acca3e5d8b0890e7086a95f3bef24531267"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -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,24 @@
+name = "rejuvenation"
+description = "Analysis and manipulation of Ada code based on concrete patterns"
+version = "22.0.1"
+licenses = "BSD-3-Clause"
+website = "https://github.com/TNO/Rejuvenation-Ada"
+tags = ["analysis", "manipulation", "transformation"]
+
+authors = ["Pierre van de Laar", "Arjan J. Mooij"]
+maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
+maintainers-logins = ["pjljvandelaar"]
+
+[[depends-on]]
+libadalang = "^22.0.0"          #  remove this dependency when libadalang is 
+                                #  already installed on your system
+                                #  and accessible via your GPR_PROJECT_PATH
+
+# libadalang_tools = "^22.0.0"    #  needs gnatpp from libadalang_tools installed on PATH
+                                  #  Alire is not yet capable to add gnatpp to PATH.
+                                  #  see https://github.com/AdaCore/libadalang-tools/issues/21
+
+[origin]
+commit = "a6990d10a3b81067d7b8dc0407361a38a9b2c3dc"
+url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
+
@@ -0,0 +1,15 @@
+name = "resources"
+description = "Utility library to handle project resources at run-time"
+version = "0.1.0"
+
+licenses = "MIT"
+website = "https://github.com/alire-project/resources"
+tags = ["utils"]
+
+authors = ["Alire Team"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau", "mosteo"]
+
+[origin]
+commit = "a418da627ec3d18f50f60edaee41a2f47f173a0e"
+url = "git+https://github.com/alire-project/resources.git"
@@ -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,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.5.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "fee519d49256de7ffb4ffa7820bd70b809f3a7d4"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.6.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "548c38843e13d5bbd2ea8854b9a333f29edf4d47"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -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"
+
--- 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
Alejandro R Mosteo	bb87191788	aaa 0.2.6 (#541 )	2022-06-10 10:22:59 +02:00
pjljvandelaar	6cae5f79c6	rejuvenation 22.0.1 (#542 )	2022-06-10 09:49:29 +02:00
Alejandro R Mosteo	61823acf95	Fix debug output and x-compiler detection (#540 ) * Enable -d switch in all alr runs * Enable output of bash line being executed * Fix x-compiler detection Co-authored-by: GHA <actions@github.com>	2022-06-09 20:51:03 +02:00
Fabien Chouteau	09f6594b2d	cortex_m 0.4.0 (#538 )	2022-06-09 11:32:00 +02:00
Alejandro R Mosteo	bba08c1366	Build submissions in release mode (#539 ) Co-authored-by: GHA <actions@github.com>	2022-06-09 11:03:33 +02:00
Alejandro R Mosteo	6372f28e6c	clic 0.2.1 (#536 )	2022-06-08 10:20:42 +02:00
Alejandro R Mosteo	c0c9eabf68	Fix testing of monorepo crates (#520 ) * Use get --dirname to enter the retrieved crate * Improve log message about deployment dir Co-authored-by: GHA <actions@github.com>	2022-06-07 18:12:41 +02:00
Alejandro R Mosteo	f3462c9a34	minirest 0.2 (#528 ) * minirest 0.2 * Update commit	2022-06-07 18:03:07 +02:00
Jeremy Grosser	3c5eedcae8	rp2040_hal, pico_bsp, pico_examples 1.6.0 (#534 )	2022-06-07 11:07:42 +02:00
Fabien Chouteau	ec765d3114	midi 0.2.0 (#522 ) * MIDI 0.2.0 * Update midi-0.2.0.toml * Update midi-0.2.0.toml	2022-06-07 10:59:53 +02:00
Fabien Chouteau	e077b78c84	usb_embedded 0.3.0 (#535 )	2022-06-07 10:58:05 +02:00
Blady-Com	bb1ef01832	Add J2Ada translator to Alire. (#532 ) * Add J2Ada translator to Alire. * Suppress offending -gnateA switch for old GNAT version.	2022-06-07 10:40:01 +02:00
Alejandro R Mosteo	a38d7c12c6	uri_ada 2.0 (#531 ) * uri_ada 1.1.0 * Skip 1.1 to 2.0	2022-06-07 10:39:23 +02:00
Alejandro R Mosteo	86437429b1	toml_slicer 0.1.1 (#530 ) * toml_slicer 0.1.1 * Update commit	2022-06-07 10:38:00 +02:00
Alejandro R Mosteo	165688ed7f	ansiada 1.0 (#527 ) * ansiada 0.1.1 * Skip 0.1.1 and go directly to 1.0 * Fix manifest filename	2022-06-07 10:36:42 +02:00
Alejandro R Mosteo	e09241a7f5	stopwatch 0.1 (#529 ) * stopwatch 0.1 * Update commit * Enable config	2022-06-07 10:36:28 +02:00
nytpu	6f47f0cf1b	getopt 1.2.2, libtls external, linenoise_ada 1.1.1, tlsada 2.4.1, uri_mime 1.3.1 (#524 ) * Publish TLSAda v2.3.1 release * Publish Linenoise_Ada v1.0.1 release * Publish URI_MIME v1.3.0 release * Publish Getopt v1.2.1 release * linenoise 1.0.1 -> 1.0.2 * getopt 1.2.1 -> 1.2.2 * linenoise 1.0.2 -> 1.1.0 * tlsada 2.3.1 -> 2.4.0 * Linenoise 1.1.0 -> 1.1.1 * tlsada 2.4.0 -> 2.4.1 * URI_MIME 1.3.0 -> 1.3.1 * Add libtls external definition * libtls: shorten overly-long description * libtls: Remove listing specifying conflicting system packages.	2022-06-06 20:56:47 +02:00
Daniel King	25bc3286fa	libkeccak 3.0.0 (#533 ) * libkeccak 3.0.0 * Remove dependency on gnatprove	2022-06-06 20:11:53 +02:00
Alejandro R. Mosteo	a796bdc2a6	Merge branch 'alire/stable-1.1' into stable-1.2	2022-06-04 13:43:33 +02:00
Holger Rodriguez	0b1fc4ed4d	eeprom_i2c 3.2.0 (#526 ) removed runtime/target dependency in GPR file	2022-05-30 20:50:51 +02:00
Alejandro R Mosteo	4a6fddc7c1	Fix action used to set up alr (#525 )	2022-05-24 20:41:45 +02:00
Simon Wright	5883ec53d0	Correct msys2 externals for libblas, liblapack (#521 ) * index/li/libblas/libblas-external.toml: uncomment the msys2 origin and make it to lapack. The reason is that we require libblas.dll, and this isn't provided by openblas (lapack provides both). Also, add an empty origin for macos. * index/li/liblapack/liblapack-external.toml: uncomment the msys2 origin. Also, add an empty origin for macos.	2022-05-20 11:28:12 +02:00
onox	2c3fbae2a1	json 5.0.2 (#510 )	2022-05-18 16:46:12 +02:00
Alejandro R Mosteo	475e11f53e	Sync 1.1 and 1.2 Sync index versions 1.1 and 1.2	2022-05-17 17:47:39 +02:00
Simon Wright	f1f01383e7	libblas, liblapack external (#517 ) These only support linux; not needed on macOS, and the msys2 libraries can't be installed because of key signing errors. * index/li/libblas/libblas-external.toml * index/li/liblapack/liblapack-external.toml	2022-05-16 19:36:04 +02:00
Holger Rodriguez	85994f8c72	eeprom_i2c 3.0.1 (#516 )	2022-05-16 18:14:14 +02:00
Alejandro R Mosteo	5329cffbd6	aaa 0.2.5 (#515 ) Co-authored-by: GHA <actions@github.com>	2022-05-09 11:13:49 +02:00
Fabien Chouteau	8e1474696c	midi 0.1.0 (#514 )	2022-05-05 14:41:48 +02:00
Fabien Chouteau	347186f252	resources 0.1.0 (#511 )	2022-05-04 14:19:52 +02:00
Fabien Chouteau	35b1629c4b	Update diff-release.yml (#513 )	2022-05-04 11:19:21 +02:00
Jeremy Grosser	383c335a87	rp2040_hal, pico_bsp, pico_examples 1.5.0 (#512 )	2022-05-04 11:07:56 +02:00
GHA	b6cf1c50d8	Bump the index version	2022-04-29 13:18:20 +02:00
GHA	036c8aa12e	CHANGELOG.md: document index versioning wrt changes	2022-04-29 12:17:24 +02:00