Show GNAT/GPRBUILD versions on default PATH before build

aunit, startup_gen, templates_parser, win32ada 22.0.0 (#394 )
matreshka 20.1.0 build fixes (#395 )
2021-11-04 09:56:43 +01:00 · 2021-11-03 19:48:57 +01:00 · 2021-11-03 14:13:07 +01:00 · 2021-11-03 06:57:53 +01:00 · 2021-11-02 12:16:02 +01:00 · 2021-10-28 17:42:37 +02:00
88 changed files with 2044 additions and 45 deletions
@@ -14,15 +14,15 @@ jobs:

    strategy:
      matrix:
-        os: 
+        os:
          - macos-latest
          - ubuntu-latest
          - windows-latest
        tag:
          - arch-rolling
          - centos-latest-community-latest
-          - community-current          
-          - debian-stable          
+          - community-latest
+          - debian-stable
          - ubuntu-lts
          - ""
        exclude: # inclusions don't allow to add arrays of values to a scenario
@@ -33,7 +33,7 @@ jobs:
          - os: macos-latest
            tag: centos-latest-community-latest
          - os: macos-latest
-            tag: community-current
+            tag: community-latest
          - os: macos-latest
            tag: debian-stable
          - os: macos-latest
@@ -43,7 +43,7 @@ jobs:
          - os: windows-latest
            tag: centos-latest-community-latest
          - os: windows-latest
-            tag: community-current
+            tag: community-latest
          - os: windows-latest
            tag: debian-stable
          - os: windows-latest
@@ -73,13 +73,16 @@ 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
+      with:
+        toolchain: --disable-assistant # We want to use the external ones in this workflow

    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@latest-devel
+      uses: alire-project/setup-alire@v1
      with:
-        toolchain: --disable-assistant # We want to use the external ones
+        toolchain: --disable-assistant # We want to use the external ones in this workflow
+        branch: master

    - name: Test crate (Linux)
      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -89,10 +92,6 @@ jobs:
        command: scripts/gh-build-crate.sh
        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr

-    - name: Set up msys2 (Windows)
-      if: matrix.os == 'windows-latest'
-      run: ./alire_install/bin/alr --non-interactive version
-
    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
      if: matrix.os == 'windows-latest'
      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
@@ -15,7 +15,7 @@ jobs:

    strategy:
      matrix:
-        os: 
+        os:
          - macos-latest
          - ubuntu-latest
          - windows-latest
@@ -31,8 +31,8 @@ jobs:
        # check-author action).

    # For the devel branch we need a compiler available to build alr in
-    # setup-alire. At some point we should integrate this in the
-    # setup-alire@latest-devel action.
+    # setup-alire. We will be able to get rid of this once composite actions
+    # support conditional steps.

    - name: Set up GNAT toolchain (FSF)
      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
@@ -49,16 +49,14 @@ jobs:
    # By default, this sets up the newest indexed native toolchain
    - name: Set up stable `alr`
      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@latest-stable
+      uses: alire-project/setup-alire@v1

    # By default, this sets up the newest indexed native toolchain
    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@latest-devel
-
-    - name: Set up msys2 (Windows)
-      if: matrix.os == 'windows-latest'
-      run: ./alire_install/bin/alr --non-interactive version
+      uses: alire-project/setup-alire@v1
+      with:
+        branch: 'master'

    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
      if: matrix.os == 'windows-latest'
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.4"
+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 = "19e75e3e16c493df35913b8acc486b5d047875bf"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -0,0 +1,18 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.4.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[configuration.variables]
+Backend = {type = "Enum",  values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
+
+[origin]
+commit = "df6d4993568ed5e2fed3d8ed09c0bc69ac295e40"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,18 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.4.1"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[configuration.variables]
+Backend = {type = "Enum",  values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
+
+[origin]
+commit = "14bb7db33dff4b6f1219967a809d0f787cae33cb"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,18 @@
+description = "Basic Ada packages for audio applications"
+long-description = """
+# Audio Base
+This crate contains basic Ada packages for audio applications.
+"""
+name = "audio_base"
+version = "1.0.0"
+website="https://github.com/Ada-Audio/audio_base"
+licenses = "MIT"
+authors=["Gustavo A. Hoffmann"]
+maintainers = ["gusthoff@gusthoff.com"]
+maintainers-logins = ["gusthoff"]
+project-files = ["audio_base.gpr"]
+tags = ["audio", "riff"]
+
+[origin]
+commit = "8646d0adc2be09c57dd16952a329c4342e5ddb3b"
+url = "git+https://github.com/Ada-Audio/audio_base.git"
@@ -0,0 +1,21 @@
+description = "Ada Wavefile Library"
+long-description = """
+# Ada Wavefile Library
+This crate contains Ada packages for wavefile I/O.
+"""
+name = "audio_wavefiles"
+version = "2.0.0"
+website="https://github.com/Ada-Audio/audio_wavefiles"
+licenses = "MIT"
+authors=["Gustavo A. Hoffmann"]
+maintainers = ["gusthoff@gusthoff.com"]
+maintainers-logins = ["gusthoff"]
+project-files = ["audio_wavefiles.gpr"]
+tags = ["audio", "riff", "wavefiles"]
+
+[[depends-on]]
+audio_base = "^1.0"
+
+[origin]
+commit = "8e1162c5b9dc604a835f60be6a78e8f9d3c85052"
+url = "git+https://github.com/Ada-Audio/audio_wavefiles.git"
@@ -0,0 +1,20 @@
+description = "Ada unit test framework"
+name = "aunit"
+version = "22.0.0"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["lib/gnat/aunit.gpr"]
+tags=["unit", "test", "unit-test"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+AUNIT_BUILD_MODE = ["Devel", "Install"]
+AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
+
+[origin]
+url="https://github.com/AdaCore/aunit/archive/v22.0.0/aunit-22.0.0.zip"
+hashes=["sha512:cbd7a80ad1e335d53d3a4834d48c9dd2df153bb1110a787a88003443de3ab2839534910103ce0b3ff98dca83e86e97e2bca48d4182acd2af5705ec723f84b66b"]
@@ -0,0 +1,15 @@
+name = "avltrees"
+description = "Threaded AVL trees library for Ada"
+version = "0.1.0"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "LGPL-3.0-or-later"
+website = "https://github.com/lkujaw/avltrees"
+tags = ["ada1987", "data-structures"]
+
+[origin]
+commit = "81b318c6c9ba2ee500d0acc92a122bb8fe58f5ff"
+url = "git+https://github.com/lkujaw/avltrees.git"
+
@@ -0,0 +1,19 @@
+name = "b2ssum"
+description = "BLAKE2s file hash utility"
+version = "0.1.3"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "MIT-0"
+website = "https://github.com/lkujaw/blake2s"
+tags = ["ada1995", "hash", "blake2", "blake2s"]
+project-files = ["b2ssum.gpr"]
+executables = ["b2ssum"]
+
+[[depends-on]]
+blake2s = "~0.1.3"
+
+[origin]
+commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
+url = "git+https://github.com/lkujaw/blake2s.git"
@@ -0,0 +1,22 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.3.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[[depends-on]]
+atomic = "~0.4"
+gnat = ">=10"
+
+[origin]
+commit = "a47e12a4d59b65de1f68b63bebaa6993dbe78105"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+
@@ -0,0 +1,14 @@
+name = "blake2s"
+description = "SPARK83 implementation of the BLAKE2s hash function"
+version = "0.1.3"
+
+authors = ["Lev Kujawski"]
+maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
+maintainers-logins = ["lkujaw"]
+licenses = "MIT-0"
+website = "https://github.com/lkujaw/blake2s"
+tags = ["ada1987", "spark", "hash", "blake2", "blake2s"]
+
+[origin]
+commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
+url = "git+https://github.com/lkujaw/blake2s.git"
@@ -0,0 +1,30 @@
+name = "clic"
+description = "Command Line Interface Components"
+version = "0.1.1"
+
+authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
+maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["mosteo", "Fabien-Chouteau"]
+licenses = "MIT"
+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
+"""
+
+# TODO: uncomment for alr 1.1.0
+# [configuration]
+# disabled = true # CLIC is an Alire dependency using git submodule, so we can't
+#                 # use the crate configuration here.
+
+[[depends-on]]
+aaa = "~0.2.3"
+simple_logging = "^1.2.0"
+ansiada = "~0.1.0"
+
+[origin]
+commit = "32a93777a3e1796534e07c59966075a3d6f4f503"
+url = "git+https://github.com/alire-project/clic.git"
@@ -0,0 +1,31 @@
+name = "clic"
+description = "Command Line Interface Components"
+version = "0.2.0"
+
+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
+"""
+
+[configuration]
+disabled = true # CLIC is an Alire dependency using git submodule, so we can't
+                # use the crate configuration here.
+
+[[depends-on]]
+aaa = "~0.2.4"
+simple_logging = "^1.2.0"
+ansiada = "~0.1.0"
+ada_toml = "~0.2.0"
+
+[origin]
+commit = "5a1f32326013784113a336a1aded509270dacc76"
+url = "git+https://github.com/alire-project/clic.git"
@@ -0,0 +1,27 @@
+name = "gnat_arm_elf"
+version = "10.3.2"
+provides = ["gnat=10.3.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-10.3.0-2/gnat-arm-elf-linux64-10.3.0-2.tar.gz"
+hashes = ["sha256:ff53fd8aa25f5f7bfbc139ea25244f2d04a9d3513b3de499f06c2d9e0a26ebf0"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-darwin-10.3.0-2.tar.gz"
+hashes = ["sha256:f3daf3dcbef8416a45c2910597608214b44b45a9f75e8f8059f409839eff0e1f"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-windows64-10.3.0-2.tar.gz"
+hashes = ["sha256:add183ea21cae95b3ca12de442d69c418d3f007d972238621f13103f12233967"]
@@ -0,0 +1,27 @@
+name = "gnat_arm_elf"
+version = "11.2.2"
+provides = ["gnat=11.2.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-11.2.0-2/gnat-arm-elf-linux64-11.2.0-2.tar.gz"
+hashes = ["sha256:c3c48e322cf14ff1d145392dc4722d9471dae41c5a3845b093130f5a0e373f07"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-darwin-11.2.0-2.tar.gz"
+hashes = ["sha256:48dbf3535ff6c5ba63eacf16f0603b7797dac23d94db0cde380577ab0f66030e"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-windows64-11.2.0-2.tar.gz"
+hashes = ["sha256:9bb39396ab4b1214a484a3802c9cc800440e6c7d93df325d3416a0306505fd48"]
@@ -1,5 +1,6 @@
 name = "gnat_native"
 version = "10.3.1"
+provides = ["gnat=10.3.1"]
 description = "The GNAT Ada compiler - Native"
 maintainers = ["chouteau@adacore.com"]
 maintainers-logins = ["Fabien-Chouteau"]
@@ -7,8 +8,6 @@ licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"

 auto-gpr-with = false

-provides = ["gnat=10.3.1"]
-
 [configuration]
 disabled = true

@@ -0,0 +1,27 @@
+name = "gnat_native"
+version = "10.3.2"
+provides = ["gnat=10.3.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-10.3.0-2/gnat-x86_64-windows64-10.3.0-2.tar.gz"
+hashes = ["sha256:b187d9541ce60bbf46d979c638351a501450df1597389cb97e7e996f6aa84d09"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-darwin-10.3.0-2.tar.gz"
+hashes = ["sha256:e112fd3fe78aab5825164830f20f0e2a99557cf2645ad3202da0e2798ec108d3"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-linux-10.3.0-2.tar.gz"
+hashes = ["sha256:d7078088b5ff812e828048c5a50417a7c63724c7181a37ff39cd49e25c154fc6"]
@@ -1,5 +1,6 @@
 name = "gnat_native"
 version = "11.2.1"
+provides = ["gnat=11.2.1"]
 description = "The GNAT Ada compiler - Native"
 maintainers = ["chouteau@adacore.com"]
 maintainers-logins = ["Fabien-Chouteau"]
@@ -7,8 +8,6 @@ licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"

 auto-gpr-with = false

-provides = ["gnat=11.2.1"]
-
 [configuration]
 disabled = true

@@ -0,0 +1,27 @@
+name = "gnat_native"
+version = "11.2.2"
+provides = ["gnat=11.2.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-11.2.0-2/gnat-x86_64-windows64-11.2.0-2.tar.gz"
+hashes = ["sha256:b741ebbc9c2559106e453cd3a180cf5a442e956d68c1812c0d21eedf782bd38a"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-darwin-11.2.0-2.tar.gz"
+hashes = ["sha256:207b1d85d34cb39cf317bb142cdf519f5eb2d6a83981ae985e210bcec6e69c1f"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-linux-11.2.0-2.tar.gz"
+hashes = ["sha256:f1b33dee2865ccd237bda784025962f6331c9b3dfc87ec2b1f798f12641df69d"]
@@ -0,0 +1,27 @@
+name = "gnat_riscv64_elf"
+version = "10.3.2"
+provides = ["gnat=10.3.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-10.3.0-2/gnat-riscv64-elf-linux64-10.3.0-2.tar.gz"
+hashes = ["sha256:15ce9c58f2871336d944f20d39b230a92da2e21bc9e60b59e693327ba463a83a"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-darwin-10.3.0-2.tar.gz"
+hashes = ["sha256:02b8746589190112a9aa5798f3c38831c423baac26451240432a357a7324ddc1"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-windows64-10.3.0-2.tar.gz"
+hashes = ["sha256:f7f96169b92c5aacc415aa105e4baf40dbd49a0ba75eed0a97e3586bdf2aa5da"]
@@ -0,0 +1,27 @@
+name = "gnat_riscv64_elf"
+version = "11.2.2"
+provides = ["gnat=11.2.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-11.2.0-2/gnat-riscv64-elf-linux64-11.2.0-2.tar.gz"
+hashes = ["sha256:5d0c03e8df93c716476d423bbdc4c1150a370f769be30c3e6a1d909197cb6b1d"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-darwin-11.2.0-2.tar.gz"
+hashes = ["sha256:b2cba6792286e082194d8759d652c2cf51b5c715a52f90bb8c311b34c4e4e084"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-windows64-11.2.0-2.tar.gz"
+hashes = ["sha256:37b33190b9db1ac9cf6b608b50bc176d314895105ef5f626b0efb6846360c40a"]
@@ -0,0 +1,36 @@
+name = "gnatcoll"
+version = "22.0.0"
+description = "GNAT Components Collection - Core packages"
+website = "https://github.com/adacore/gnatcoll-core"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["gnatcoll.gpr"]
+tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals."case(os)".linux]
+GNATCOLL_OS = "unix"
+[gpr-set-externals."case(os)".macos]
+GNATCOLL_OS = "osx"
+[gpr-set-externals."case(os)".windows]
+GNATCOLL_OS = "windows"
+
+[gpr-set-externals]
+GNATCOLL_VERSION = "22.0.0"
+
+[[depends-on]]
+libgpr = "~22.0.0"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-core/archive/v22.0.0/gnatcoll-core-22.0.0.zip"
+hashes=['sha512:620c2f23bc047b82e659c7282d6306bc9c8b09e7ec428a9e39722802164ca2962628e5d91a33a00921707033d121bd7a179fffd4a439a0b48df21869b35e82d9']
@@ -0,0 +1,25 @@
+name = "gnatcoll_gmp"
+version = "22.0.0"
+description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["gmp/gnatcoll_gmp.gpr"]
+tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+libgmp = "*"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,32 @@
+name = "gnatcoll_iconv"
+version = "22.0.0"
+description = "GNAT Components Collection - iconv binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["iconv/gnatcoll_iconv.gpr"]
+tags = ["gnatcoll", "bindings", "iconv", "i18n"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
+# environement variable as not being set. So we use a harmless linker option to
+# have a non-empty GNATCOLL_ICONV_OPT.
+[gpr-set-externals."case(os)".linux]
+GNATCOLL_ICONV_OPT = "-v"
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+[depends-on."case(os)".windows]
+libiconv = "*"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,25 @@
+name = "gnatcoll_lzma"
+version = "22.0.0"
+description = "GNAT Components Collection - lzma binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["lzma/gnatcoll_lzma.gpr"]
+tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+liblzma = "*"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,25 @@
+name = "gnatcoll_omp"
+version = "22.0.0"
+description = "GNAT Components Collection - OpenMP binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["omp/gnatcoll_omp.gpr"]
+tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+libgomp = "*"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,26 @@
+name = "gnatcoll_postgres"
+version = "22.0.0"
+description = "GNAT Components Collection - postgres"
+website = "https://github.com/adacore/gnatcoll-db"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["postgres/gnatcoll_postgres.gpr"]
+tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+gnatcoll_sql = "~22.0.0"
+postgresql = "*"
+
+[origin]
+url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
+hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,25 @@
+name = "gnatcoll_readline"
+version = "22.0.0"
+description = "GNAT Components Collection - readline binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["readline/gnatcoll_readline.gpr"]
+tags = ["gnatcoll", "bindings", "readline", "cli"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+libreadline = "*"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,24 @@
+name = "gnatcoll_sql"
+version = "22.0.0"
+description = "GNAT Components Collection - sql"
+website = "https://github.com/adacore/gnatcoll-db"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["sql/gnatcoll_sql.gpr"]
+tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+
+[origin]
+url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
+hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,25 @@
+name = "gnatcoll_sqlite"
+version = "22.0.0"
+description = "GNAT Components Collection - sqlite"
+website = "https://github.com/adacore/gnatcoll-db"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["sqlite/gnatcoll_sqlite.gpr"]
+tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+gnatcoll_sql = "~22.0.0"
+
+[origin]
+url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
+hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,28 @@
+name = "gnatcoll_syslog"
+version = "22.0.0"
+description = "GNAT Components Collection - syslog binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["syslog/gnatcoll_syslog.gpr"]
+tags = ["gnatcoll", "bindings", "syslog", "logging"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[available.'case(os)']
+'windows' = false
+'...' = true
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,27 @@
+name = "gnatcoll_xref"
+version = "22.0.0"
+description = "GNAT Components Collection - xref"
+website = "https://github.com/adacore/gnatcoll-db"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["xref/gnatcoll_xref.gpr"]
+tags = ["gnatcoll", "database", "xref", "ali"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+gnatcoll_iconv = "~22.0.0"
+gnatcoll_sql = "~22.0.0"
+gnatcoll_sqlite = "~22.0.0"
+
+[origin]
+url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
+hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,25 @@
+name = "gnatcoll_zlib"
+version = "22.0.0"
+description = "GNAT Components Collection - zlib binding"
+website = "https://github.com/adacore/gnatcoll-bindings"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["zlib/gnatcoll_zlib.gpr"]
+tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+zlib = "*"
+
+[origin]
+url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
+hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -9,6 +9,7 @@ auto-gpr-with = false

 [environment]
 PATH.prepend = "${CRATE_ROOT}/bin"
+GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"

 [origin."case(os)".linux."case(word-size)".bits-64]
 url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
@@ -0,0 +1,24 @@
+name = "gnatcov"
+version = "21.0.2"
+
+description = "The GNAT Ada compiler - ARM cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+
+auto-gpr-with = false
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-linux-21.0-2.tar.gz"
+hashes = ["sha256:7f9c225e36ba277c35ac2fd053190a8a1c36f47cdb3e8b68d74178d7c903dcb3"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-darwin-21.0-2.tar.gz"
+hashes = ["sha256:b02987db79b51f5c815d5550b8688337c7706105cd713179d2a7a5657a78fcaa"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-windows64-21.0-2.tar.gz"
+hashes = ["sha256:154a9bab22cc5656d6d282a0a998c74dd2ebc9a3aff38b9c7a765950db5321d6"]
@@ -0,0 +1,22 @@
+name = "gprbuild"
+version = "21.0.2"
+description = "The GPRBuild Ada/multilanguage build tool"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+
+auto-gpr-with = false
+
+[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/gprbuild-21.0.0-2/gprbuild-x86_64-linux-21.0.0-2.tar.gz"
+hashes = ["sha256:6675f899832a17fdcf4e09ada8844cc519cd5070dca3c9c6b28a7eac6085114e"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-darwin-21.0.0-2.tar.gz"
+hashes = ["sha256:4f77240c83373412c62f55bda8cbf1136b53e9706dabcaab6c400b52cbadeaf3"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-windows64-21.0.0-2.tar.gz"
+hashes = ["sha256:9ac7bb44268e0f8d4dcf1666e9ba1aa3d93309f22bd010d352a17575c25fd5d6"]
@@ -1,4 +1,4 @@
-description = "\"Hello, world!\" demonstration project"
+description = '"Hello, world!" demonstration project'
 name = "hello"
 version = "1.0.1"

@@ -0,0 +1,23 @@
+name = "libgpr"
+version = "22.0.0"
+description = "GNAT Project File Library"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["gpr/gpr.gpr"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GPR_BUILD = ["debug", "production", "coverage", "profiling"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnat = "/=2020" # Does not build with GNAT Community 2020
+xmlada = "~22.0.0"
+
+[origin]
+url="https://github.com/AdaCore/gprbuild/archive/v22.0.0/gprbuild-22.0.0.zip"
+hashes=['sha512:30e39dccd28aa8d0c23dc76704a0ae1f27f181c807587472daadd8693489f3a53dda3c2bfa5c8fc754aa0ceb9e4be063213b46f833d3845ab204276640f40a2d']
@@ -0,0 +1,27 @@
+name = "libsimpleio"
+description = "Linux Simple I/O Library bindings for GNAT Ada"
+version = "1.19965.2"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["libsimpleio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
+"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
+
+[available."case(os)"]
+'linux' = true
+"..." = false
+
+[origin]
+hashes = [
+"sha256:09f3b3a95ae9a6fabd0c28eeee1026507dd1839a2d407d2ed81f16e626ec7ca5",
+"sha512:4f49598114ff7589605d470c0a5d608f9d0e924c2b7af612cba5e79223b608ae3393a87f48f2cf050ff4ef3ca295d7ad96faace02b50b652781129df40e47324",
+]
+url = "http://repo.munts.com/alire/libsimpleio-1.19965.2.tbz2"
+
@@ -0,0 +1,22 @@
+description = "Implementation of OMG's Meta Object Facility (MOF)"
+name = "matreshka_amf"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_amf.gpr"]
+tags = ["uml", "meta", "mof"]
+
+[available.'case(os)']
+windows = false
+'...'   = true
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+matreshka_xml = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "abff6b28bdb8e19de9f9c27c6dd3107d981adb22"
@@ -0,0 +1,18 @@
+description = "Diagram Definition (DD) specification support for AMF"
+name = "matreshka_amf_dd"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_amf_dd.gpr"]
+tags = ["uml", "meta", "diagram"]
+
+[[depends-on]]
+matreshka_amf = "21.0.0"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "d9f26bf491a2bfd76c4396fd8f49459bc230423a"
@@ -0,0 +1,18 @@
+description = "The UML mofext for AMF"
+name = "matreshka_amf_mofext"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_amf_mofext.gpr"]
+tags = ["uml", "meta", "diagram"]
+
+[[depends-on]]
+matreshka_amf_uml = "21.0.0"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "1ae53d45dcee2172c03ed7856a6f194d6deb4f27"
@@ -0,0 +1,18 @@
+description = "The UML OCL for AMF"
+name = "matreshka_amf_ocl"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_amf_ocl.gpr"]
+tags = ["uml", "meta", "diagram", "ocl"]
+
+[[depends-on]]
+matreshka_amf_uml = "21.0.0"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "aedf6e4d7d264c66156294e3cb10938ed17e14c8"
@@ -0,0 +1,18 @@
+description = "Unified Modeling Language support for AMF"
+name = "matreshka_amf_uml"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_amf_uml.gpr"]
+tags = ["uml", "meta", "diagram"]
+
+[[depends-on]]
+matreshka_amf_dd = "21.0.0"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "2d78ddd950f19e9806ff6e81b14b12b35385e7fe"
@@ -0,0 +1,18 @@
+description = "The UML Testing Profile for AMF"
+name = "matreshka_amf_utp"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_amf_utp.gpr"]
+tags = ["uml", "meta", "diagram", "testing"]
+
+[[depends-on]]
+matreshka_amf_uml = "21.0.0"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "ecbb733e1e66e6d9a51501d148a1733e47da2fef"
@@ -0,0 +1,17 @@
+description = "FastCGI implementation (demo)"
+name = "matreshka_fastcgi"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_fastcgi.gpr"]
+tags = ["web", "cgi", "http"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "20fa445356c12b414c5500fddf59d55bf9c08c97"
@@ -11,12 +11,22 @@ tags = ["unicode", "xml", "sax", "json", "encoding", "regexp", "time"]

 [[actions]]
 type = "post-fetch"
-command = ["make", "reconfig"]
+command = ["make", "--always-make", "reconfig"]

 [[depends-on]]
 make = "any"

+# GNAT 11 and GNAT CE 2021 complains:
+# violation of restriction "No_Elaboration_Code"
+
+[depends-on.'case(os)'.'macos']
+gnat = "<11"
+# GNAT CE 2020 miss TLS support, alire GCC 10 should work fine
+
+[depends-on.'case(os)'.'...']
+gnat = "<11|(>=2000 & <2021)"
+
 [origin]
 url = "http://forge.ada-ru.org/matreshka/downloads/matreshka-20.1.tar.gz"
-archive-name = "matreshka-18.1.tar.gz"
+archive-name = "matreshka-20.1.tar.gz"
 hashes = ["sha512:41ddb44a6073cb57c88e25024f6e2db94003e98263ef38feecb752021d6e9213c12303efc2557e1842100aa4f52d3b58323319dcc1394fe21d3514258c19e466"]
@@ -0,0 +1,26 @@
+description = "League - universal string library. Part of Matreshka framework"
+name = "matreshka_league"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["gnat/matreshka_league.gpr"]
+tags = ["unicode", "xml", "sax", "json", "encoding", "regexp", "time"]
+
+[[actions]]
+type = "post-fetch"
+command = ["make", "reconfig"]
+
+[[depends-on]]
+make = "any"
+
+[depends-on.'case(os)'.macos]
+gnat = "<2000"
+# GNAT CE 2020 miss TLS support, alire GCC 11 works fine
+
+[origin]
+url = "http://forge.ada-ru.org/matreshka/downloads/matreshka-21.0.tar.gz"
+archive-name = "matreshka-21.0.tar.gz"
+hashes = ["sha512:0c8f4d478d64e761967b3bcb7aae56fe08c4dd254acfe17a704cf21d2ba9f4b8faed470268c8c6dfa2b6e0dcab64e5fdaae04361657b8d5fa85dd35e6a76e9b2"]
@@ -0,0 +1,17 @@
+description = "Servlet API"
+name = "matreshka_servlet"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_servlet.gpr"]
+tags = ["web", "servlet", "http"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "e6463c55cfc662b3f738175e855fb9bf6cdfd3b8"
@@ -0,0 +1,18 @@
+description = "Framework for work with SOAP 1.2"
+name = "matreshka_soap"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_soap.gpr"]
+tags = ["soap", "rpc", "protocol", "web"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+matreshka_xml = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "f0e001315430e87814c080acade5b26edb747b1e"
@@ -0,0 +1,18 @@
+description = "WS-Security 1.1 implementation for SOAP 1.2"
+name = "matreshka_soap_wsse"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_soap_wsse.gpr"]
+tags = ["soap", "wsse", "web"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+matreshka_soap = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "2a4cb0c0f17201bc8e116706a9db4adc78f7d644"
@@ -0,0 +1,18 @@
+description = "Web-application server. API library"
+name = "matreshka_spikedog_api"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_spikedog_api.gpr"]
+tags = ["web", "servlet"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+matreshka_servlet = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "2b70f85edf6c8ebc980d54c9b0e918ebaa0a4535"
@@ -15,7 +15,9 @@ aws = "any"
 matreshka_league = "20.1.0"
 matreshka_spikedog_core = "20.1.0"

+[gpr-set-externals]
+LIBRARY_TYPE="relocatable"
+
 [origin]
-# NOTE: Use the same dummy archive to build subproject as in 18.1
-url = "https://github.com/reznikmm/matreshka-alire/archive/matreshka_spikedog_awsd-18.1.tar.gz"
-hashes = ["sha512:b31fb7b6c8e936bec6d5ace196f264278a037f73b8c9c5fefa8d87ae0f563f666d64b9fe3f61f637c6c2bf56ee110d45c15d9a1b3a67e5f4d7bc8c932dd7f902"]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "1478b224545c3fa67dc5a8899d3c535d61dc41e6"
@@ -0,0 +1,23 @@
+description = "Web-application server. API library"
+name = "matreshka_spikedog_awsd"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+executables = ["spikedog_awsd"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_spikedog_awsd.gpr"]
+tags = ["web", "servlet"]
+
+[[depends-on]]
+aws = "any"
+matreshka_league = "21.0.0"
+matreshka_spikedog_core = "21.0.0"
+
+[gpr-set-externals]
+LIBRARY_TYPE="relocatable"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "1478b224545c3fa67dc5a8899d3c535d61dc41e6"
@@ -0,0 +1,18 @@
+description = "Web-application server. Implementation library"
+name = "matreshka_spikedog_core"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_spikedog_core.gpr"]
+tags = ["web", "servlet"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+matreshka_spikedog_api = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "8932a8f4aec45d6818176162c5632f7df81ae688"
@@ -0,0 +1,17 @@
+description = "Common SQL Database API"
+name = "matreshka_sql"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_sql.gpr"]
+tags = ["sql", "database", "db"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "64f17b82f6b542fbe1790c7c3f207721969f939b"
@@ -0,0 +1,19 @@
+description = "Firebird SQL binding for Ada"
+name = "matreshka_sql_firebird"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_sql_firebird.gpr"]
+tags = ["sql", "database", "db", "firebird"]
+
+[[depends-on]]
+libfbclient = "any"
+matreshka_league = "21.0.0"
+matreshka_sql = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "3f0d1ed6f8ca07fbe19bcb05ec8018a24d36c815"
@@ -0,0 +1,19 @@
+description = "MySQL binding for Ada"
+name = "matreshka_sql_mysql"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_sql_mysql.gpr"]
+tags = ["sql", "database", "db", "mysql", "mariadb"]
+
+[[depends-on]]
+libmysqlclient = "any"
+matreshka_league = "21.0.0"
+matreshka_sql = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "e880d413a557f324505cf8fdf2857c38a3007b37"
@@ -0,0 +1,19 @@
+description = "Oracle DB binding for Ada"
+name = "matreshka_sql_oracle"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_sql_oracle.gpr"]
+tags = ["sql", "database", "db", "oracle"]
+
+[[depends-on]]
+libclntsh = "any"
+matreshka_league = "21.0.0"
+matreshka_sql = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "642d7f2873eb626a335fe5a5e424f604ccb66726"
@@ -0,0 +1,23 @@
+description = "PostgreSQL binding for Ada"
+name = "matreshka_sql_postgresql"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_sql_postgresql.gpr"]
+tags = ["sql", "database", "db", "postgresql"]
+
+# Configure on msys2 fails to work with pg_config
+[available.'case(os)']
+windows = false
+'...'   = true
+
+[[depends-on]]
+libpq = "any"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "8a4efceaaf37b1a2247ce8d07f44186e4c683afe"
@@ -0,0 +1,18 @@
+description = "SQLite binding for Ada"
+name = "matreshka_sql_sqlite3"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_sql_sqlite3.gpr"]
+tags = ["sql", "database", "db", "sqlite"]
+
+[[depends-on]]
+libsqlite3 = "any"
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "0ae8347db103c231d60bc4b795461aa4e6c73696"
@@ -0,0 +1,17 @@
+description = "Library to manipulate with XML streams and documents"
+name = "matreshka_xml"
+version = "21.0.0"
+website = "https://forge.ada-ru.org/matreshka"
+authors = ["Vadim Godunko"]
+licenses = "BSD-3-Clause"
+maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["godunko", "reznikmm"]
+project-files = ["build_matreshka_xml.gpr"]
+tags = ["xml", "dom", "catalog", "templates", "html5"]
+
+[[depends-on]]
+matreshka_league = "21.0.0"
+
+[origin]
+url = "git+https://github.com/reznikmm/matreshka-alire"
+commit = "fbca8dc8c20531b101403df03352f1dfb70791c6"
@@ -0,0 +1,47 @@
+name = "mcp2221"
+description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
+version = "1.19965.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["mcp2221.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper"]
+
+[available."case(os)"]
+'linux|windows' = true
+"..." = false
+
+# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libhidapi = "*"
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libusb = "~1.0"
+
+# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
+
+[[actions."case(os)".linux]]
+type = "post-fetch"
+command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
+
+# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
+
+[[actions."case(os)".windows]]
+type = "post-fetch"
+command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
+
+[origin]
+hashes = [
+"sha512:a261a03f704bb894fe25058af949a0953934a54694aa1d730144e79f6b6ff213a689f34c9b0d7ce2ac9534ba37a51719b825e5a2b743baa99bc537cdcbabd022",
+]
+url = "http://repo.munts.com/alire/mcp2221-1.19965.1.tbz2"
+
@@ -0,0 +1,48 @@
+name = "mcp2221"
+description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
+version = "1.19965.2"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["mcp2221.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper"]
+
+[available."case(os)"]
+'linux|windows' = true
+"..." = false
+
+# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libhidapi = "*"
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libusb = "~1.0"
+
+# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
+
+[[actions."case(os)".linux]]
+type = "post-fetch"
+command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
+
+# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
+
+[[actions."case(os)".windows]]
+type = "post-fetch"
+command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
+
+[origin]
+hashes = [
+"sha256:31a0154516b1c7674723dfdded996a2cb1074e9df6cab68f1c87042b504b30e7",
+"sha512:5024a3d5862c35deaa1fb12e5c119338c96bf556eb2f62e4ea4d2e6351d04f1b8dd83df48780103699bfef9c88d05789ae7dc630cddf3f6d4fd911cc1f713051",
+]
+url = "http://repo.munts.com/alire/mcp2221-1.19965.2.tbz2"
+
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "0.7.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://github.com/JeremyGrosser/pico_bsp"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "~0.7"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "c9b6fe5b4a55911f7c8dfd7fd316edb464a80a22"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -0,0 +1,34 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "0.7.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://github.com/JeremyGrosser/pico_examples"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.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_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "usb_echo/usb_echo.gpr"]
+
+[[depends-on]]
+pico_bsp = "~0.7"
+
+[origin]
+commit = "99beb5b37107f387944fd5e8da98f5d77b0f44e5"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -0,0 +1,25 @@
+name = "play_2048"
+description = "2048 game: merge tiles with the same number until you add up to 2048"
+version = "1.0.0"
+
+authors = ["Manuel Gomez"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+
+licenses = "GPL-3.0-or-later"
+website = "https://github.com/mgrojo/play_2048/"
+tags = ["game", "puzzle", "cross-platform", "sfml"]
+
+executables = ["play_2048"]
+
+[[depends-on]]  # This line was added by `alr with`
+asfml = "^2.5.0"  # This line was added by `alr with`
+
+
+[[depends-on]]  # This line was added by `alr with`
+ada_toml = "~0.2.0"  # This line was added by `alr with`
+
+[origin]
+commit = "ddfe6faa729006cf78c6ceaa597e0a517a1f5aac"
+url = "git+https://github.com/mgrojo/play_2048.git"
+
@@ -0,0 +1,47 @@
+name = "remoteio"
+description = "Remote I/O Protocol Client Library for GNAT Ada"
+version = "1.19965.1"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["remoteio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper"]
+
+[available."case(os)"]
+'linux|windows' = true
+"..." = false
+
+# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libhidapi = "*"
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libusb = "~1.0"
+
+# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
+
+[[actions."case(os)".linux]]
+type = "post-fetch"
+command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
+
+# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
+
+[[actions."case(os)".windows]]
+type = "post-fetch"
+command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
+
+[origin]
+hashes = [
+"sha512:ed55539821fae447e16b241c957ba30b83a4dc1329364b939e9cd8bceab6b9ded657af3b48eca5dd057343af13bfa1cb8717416759a340d1c2179700c81d6f65",
+]
+url = "http://repo.munts.com/alire/remoteio-1.19965.1.tbz2"
+
@@ -0,0 +1,48 @@
+name = "remoteio"
+description = "Remote I/O Protocol Client Library for GNAT Ada"
+version = "1.19965.2"
+licenses = "BSD-1-Clause"
+website = "https://github.com/pmunts/libsimpleio"
+
+authors = ["Philip Munts"]
+maintainers = ["Philip Munts <phil@munts.net>"]
+maintainers-logins = ["pmunts"]
+
+project-files = ["remoteio.gpr", "programs.gpr"]
+
+tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
+"pwm", "sensor", "serial", "servo", "spi", "stepper"]
+
+[available."case(os)"]
+'linux|windows' = true
+"..." = false
+
+# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libhidapi = "*"
+
+[[depends-on]]
+[depends-on."case(os)"."linux"]
+libusb = "~1.0"
+
+# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
+
+[[actions."case(os)".linux]]
+type = "post-fetch"
+command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
+
+# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
+
+[[actions."case(os)".windows]]
+type = "post-fetch"
+command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
+
+[origin]
+hashes = [
+"sha256:ee567b8483dd9b58973464ced6c678b88ab28bbfec66a84cb8e31555ef0c5ac3",
+"sha512:b08000ffb797a8266f56f87fc8cc39b497c34a3e45840dd41b82cf44caabd5d56fba34572522cdc8b2332744d68fbae59060408fb757d8e2a4c73c090558d3e2",
+]
+url = "http://repo.munts.com/alire/remoteio-1.19965.2.tbz2"
+
@@ -0,0 +1,30 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "0.7.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://github.com/JeremyGrosser/rp2040_hal"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+
+[[depends-on]]
+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 = "d71db1120df80f82e8dfc2285a19806bf15b8635"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,33 @@
+description = "Drivers and HAL for the SAMD51 micro-controller family"
+name = "samd51_hal"
+version = "0.3.0"
+website = "https://github.com/Fabien-Chouteau/samd51-hal"
+licenses = "BSD-3-Clause"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["ATSAMD51G18A.gpr",
+                 "ATSAMD51J18A.gpr",
+                 "ATSAMD51J20A.gpr",
+                 "ATSAMD51N20A.gpr",
+                 "ATSAMD51P20A.gpr",
+                 "ATSAMD51G19A.gpr",
+                 "ATSAMD51J19A.gpr",
+                 "ATSAMD51N19A.gpr",
+                 "ATSAMD51P19A.gpr"]
+tags = ["embedded", "nostd", "atsamd51", "microchip", "atmel", "drivers"]
+
+auto-gpr-with=false # User has to select only one project file
+
+[configuration]
+disabled = true
+
+[[depends-on]]
+cortex_m = "~0.1"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2.2"
+
+[origin]
+commit = "cc5473956b60b8cdceea7069c3e3c4e09e51d078"
+url = "git+https://github.com/Fabien-Chouteau/samd51-hal.git"
+
@@ -0,0 +1,16 @@
+name = "semantic_versioning"
+version = "2.1"
+description = "Semantic Versioning in Ada"
+licenses = "LGPL-3.0-only"
+website = "https://github.com/alire-project/semantic_versioning"
+
+authors = [ "Alejandro R. Mosteo" ]
+maintainers = [ "alejandro@mosteo.com", ]
+maintainers-logins = [ "mosteo", ]
+
+tags = ["semver", "semantic", "versioning"]
+
+[origin]
+commit = "cc69201134c0a8d695b767a1fd1bf4fd8f6f3880"
+url = "git+https://github.com/alire-project/semantic_versioning.git"
+
@@ -0,0 +1,43 @@
+name = "septum"
+description = "An interactive context-based text search tool for large codebases."
+version = "0.0.2"
+website = "https://github.com/pyjarrett/septum"
+
+authors = ["Paul Jarrett"]
+licenses = "Apache-2.0"
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+tags = ["search", "code", "text"]
+
+executables = ["septum"]
+
+[gpr-set-externals.'case(os)']
+windows = { Septum_Platform = "windows" }
+linux = { Septum_Platform = "linux" }
+macos = { Septum_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = false
+
+[[depends-on]]  # Added by alr
+dir_iterators = "~0.0.3"  # Added by alr
+[[depends-on]]  # Added by alr
+progress_indicators = "~0.0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+trendy_terminal = "~0.0.2"  # Added by alr
+# Leaving this here to locally targeting trendy_terminal which is being
+# developed in parallel with this project.
+#[[pins]]  # Added by alr
+# For concurrent local development with trendy terminal
+#trendy_terminal = { path='../trendy_terminal' }   # Added by alr
+# To be used for CI
+#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
+[[depends-on]]  # Added by alr
+atomic = "~0.3.0"  # Added by alr
+
+[origin]
+commit = "4e0babff4149ee3b1581065facb22c6eb7a83a06"
+url = "git+https://github.com/pyjarrett/septum.git"
+
@@ -0,0 +1,43 @@
+name = "septum"
+description = "An interactive context-based text search tool for large codebases."
+version = "0.0.3"
+website = "https://github.com/pyjarrett/septum"
+
+authors = ["Paul Jarrett"]
+licenses = "Apache-2.0"
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+tags = ["search", "code", "text"]
+
+executables = ["septum"]
+
+[gpr-set-externals.'case(os)']
+windows = { Septum_Platform = "windows" }
+linux = { Septum_Platform = "linux" }
+macos = { Septum_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = false
+
+[[depends-on]]  # Added by alr
+dir_iterators = "~0.0.3"  # Added by alr
+[[depends-on]]  # Added by alr
+progress_indicators = "~0.0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+trendy_terminal = "~0.0.2"  # Added by alr
+# Leaving this here to locally targeting trendy_terminal which is being
+# developed in parallel with this project.
+#[[pins]]  # Added by alr
+# For concurrent local development with trendy terminal
+#trendy_terminal = { path='../trendy_terminal' }   # Added by alr
+# To be used for CI
+#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
+[[depends-on]]  # Added by alr
+atomic = "~0.3.0"  # Added by alr
+
+[origin]
+commit = "df63997bf7a12802a6bb203b2d72aa063462e7c2"
+url = "git+https://github.com/pyjarrett/septum.git"
+
@@ -10,6 +10,7 @@ maintainers-logins = ["mosteo"]
 project-files = ["components.gpr", "components-connections_server.gpr", "components-connections_server-elv_max_cube.gpr", "components-connections_server-http_server.gpr", "components-connections_server-http_server-sqlite_browser.gpr", "components-connections_server-modbus.gpr", "components-connections_server-mqtt.gpr", "components-connections_server-secure.gpr", "components-connections_server-smtp.gpr", "components-gnutls.gpr", "components-ntp.gpr", "components-odbc.gpr", "components-sqlite.gpr", "strings_edit.gpr", "tables.gpr"]

 [[depends-on]]
+gnat = "/=2021 & <11"
 libgnutls = "^3.5.8"
 unixODBC = "^2.3"

@@ -31,5 +32,5 @@ arch = "i686"
 arch = "x86_64"

 [origin]
-url = "http://www.dmitry-kazakov.de/ada/components_4_42.tgz"
-hashes = ["sha512:d428a64b7e457d616dd402ac75f8324e7564ed42e667c8efc909079638213426232ea6d856f1080b633d5bb90dda5567073b8e66cbb55462f27ea64ff7360107"]
+url = "git+https://github.com/alire-project/dak_simple_components.git"
+commit = "21c0053074f991b615eae2d678e1d3afc6bf7a2a"
@@ -0,0 +1,35 @@
+name = "spark_unbound"
+description = "Unbound data structures in Ada-Spark"
+version = "0.2.1"
+
+long-description = """
+Spark_Unbound is a take on providing generic unbound data structures in Spark.
+
+In addition to proving general absence of runtime errors, the heap allocation is done in a non-Spark function to catch a possible `Storage_Error`.
+This further increases the security and confident use of this library.
+
+**The following packages are currently available:**
+
+- `Spark_Unbound.Safe_Alloc`: Providing formally proven safe heap allocation functionality
+- `Spark_Unbound.Arrays`: Providing a formally proven alternative to `Ada.Containers.Vector`
+
+**Note:** If you use this library, starring the repository on GitHub helps me a lot to see if it is even useful for someone else.
+"""
+
+authors = ["Manuel Hatzl"]
+maintainers = ["Manuel Hatzl <hatzlmanuel@outlook.com>"]
+maintainers-logins = ["mhatzl"]
+website = "https://github.com/mhatzl/spark_unbound"
+
+licenses = "MIT"
+
+tags = ["spark", "unbound"]
+
+[[depends-on]]
+# Needed for Ada.Numerics.Big_Numbers
+gnat = "(>=9.3.1 & <2000) | >=2021"
+
+[origin]
+commit = "1f8dae0167b56dbbfcc0cbe40c833a95443d2556"
+url = "git+https://github.com/mhatzl/spark_unbound.git"
+
@@ -0,0 +1,29 @@
+name = "sparknacl"
+description = "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library"
+long-description = "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties"
+version = "3.0.0"
+tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
+licenses = "BSD-3-Clause"
+website = "https://github.com/rod-chapman/SPARKNaCl"
+
+authors = ["Rod Chapman"]
+maintainers = ["Rod Chapman <rod@proteancode.com>"]
+maintainers-logins = ["rod-chapman"]
+
+[[depends-on]]
+gnat=">=11.2.1"
+
+[gpr-externals]
+SPARKNACL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+SPARKNACL_COMPILE_CHECKS = ["enabled", "disabled"]
+SPARKNACL_RUNTIME_CHECKS = ["enabled", "disabled"]
+SPARKNACL_STYLE_CHECKS = ["enabled", "disabled"]
+SPARKNACL_CONTRACTS = ["enabled", "disabled"]
+SPARKNACL_RUNTIME_MODE = ["full", "zfp"]
+SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3", "Os"]
+SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_a4"]
+
+[origin]
+commit = "8f2eed89f541f4e3ebf6844586eacaa7b3691ea3"
+url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
+
@@ -0,0 +1,16 @@
+name = "specfun"
+description = "Native Ada library of special functions (e.g., beta, gamma)"
+version = "1.0.0"
+long-description = "This is a small native Ada library that provides few special functions like Beta, Gamma and Beta Incomplete. I wrote this because I needed those functions, therefore at the moment only the functions that I needed are present. This is a pure native Ada library and there is no dependence on external FORTRAN libraries." 
+licenses = "MIT"
+website = "https://gitlab.com/my-ada-library/specfun"
+tags = ["special-fun", "numerics", "beta-function", "gamma-function", "beta-incomplete"]
+
+authors = ["Riccardo Bernardini"]
+maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
+maintainers-logins = ["fintatarta"]
+
+[origin]
+commit = "b702d270ca6e1ffb272aa2faa3fc8626ee4739a0"
+url = "git+https://gitlab.com/my-ada-library/specfun.git"
+
@@ -0,0 +1,23 @@
+name = "startup_gen"
+version = "22.0.0"
+description = "Generates startup files (crt0 and linker script)"
+website = "https://github.com/AdaCore/startup-gen"
+authors = ["AdaCore"]
+executables = ["startup-gen"]
+licenses = "GPL-3.0-or-later"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["startup_gen.gpr"]
+tags = ["embedded", "zfp", "nostd"]
+
+[configuration]
+disabled = true
+
+[[depends-on]]
+gnatcoll = "~22.0.0"
+libgpr = "~22.0.0"
+templates_parser = "~22.0.0"
+
+[origin]
+url="https://github.com/AdaCore/startup-gen/archive/v22.0.0/startup-gen-22.0.0.zip"
+hashes=["sha512:85f5a12201bda7438a505a866a4d1208940da45639344e38a1270fd9e0ebc6f4b7525cec74d3df0cde5453afe796713f94a7ff5b5896b7023adebe24cfefa087"]
@@ -0,0 +1,35 @@
+name = "templates_parser"
+version = "22.0.0"
+description = "Templates Parser: File generation from templates in Ada"
+website = "https://github.com/AdaCore/templates-parser"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["templates_parser.gpr"]
+
+[configuration]
+disabled = true
+
+[[actions]]
+type = "post-fetch"
+command = ["cp", "config/tp_xmlada_installed.gpr", "tp_xmlada.gpr"]
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable"]
+PRJ_BUILD = ["Debug", "Release"]
+TP_TASKING = ["No_Tasking", "Standard_Tasking"]
+TP_XMLADA = ["Installed", "Disabled"]
+
+[gpr-set-externals]
+TP_XMLADA = "Installed"
+
+[environment]
+ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check
+
+[[depends-on]]
+xmlada = "~22.0.0"
+
+[origin]
+url="https://github.com/AdaCore/templates-parser/archive/v21.0.0/templates-parser-21.0.0.zip"
+hashes=['sha512:2b7ce36cf5f985724416c9abc68725bf73c9e8af6389801043dee2f3e9a4a9d2155a86c96f8088dd830af3b8942a3e7dd7373e7003741a4098ca580e6fa507a4']
@@ -0,0 +1,30 @@
+name = "trendy_terminal"
+description = "Terminal options, setup, tab completion and hinting."
+version = "0.0.2"
+website = "https://github.com/pyjarrett/trendy_terminal"
+
+authors = ["Paul Jarrett"]
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+licenses = "Apache-2.0"
+tags = ["terminal", "command-line", "console", "vt100"]
+
+project-files = ["trendy_terminal.gpr"]
+
+[gpr-externals]
+Mode = ["debug", "optimize"]
+
+[gpr-set-externals.'case(os)']
+windows = { Trendy_Terminal_Platform = "windows" }
+linux = { Trendy_Terminal_Platform = "linux" }
+macos = { Trendy_Terminal_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = false
+
+[origin]
+commit = "4ff45b26617eaff8257e203266b7d39abbfa88fb"
+url = "git+https://github.com/pyjarrett/trendy_terminal.git"
+
@@ -0,0 +1,30 @@
+name = "trendy_terminal"
+description = "Terminal options, setup, tab completion and hinting."
+version = "0.0.3"
+website = "https://github.com/pyjarrett/trendy_terminal"
+
+authors = ["Paul Jarrett"]
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+licenses = "Apache-2.0"
+tags = ["terminal", "command-line", "console", "vt100"]
+
+project-files = ["trendy_terminal.gpr"]
+
+[gpr-externals]
+Mode = ["debug", "optimize"]
+
+[gpr-set-externals.'case(os)']
+windows = { Trendy_Terminal_Platform = "windows" }
+linux = { Trendy_Terminal_Platform = "linux" }
+macos = { Trendy_Terminal_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = false
+
+[origin]
+commit = "d4941ef2f5e63f53d075501c52c65aaf5c7963a9"
+url = "git+https://github.com/pyjarrett/trendy_terminal.git"
+
@@ -0,0 +1,19 @@
+name = "usb_embedded"
+description = "An Ada USB stack for embedded devices"
+version = "0.2.0"
+
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/usb_embedded"
+licenses = "BSD-3-Clause"
+tags = ["embedded", "usb", "hid", "midi", "nostd"]
+
+[[depends-on]]
+hal = "~0.1.0"
+bbqueue = "~0.3.0"
+
+[origin]
+commit = "fdf60082ae3d4200418463776549e5d11f74156d"
+url = "git+https://github.com/Fabien-Chouteau/usb_embedded.git"
+
@@ -0,0 +1,28 @@
+name = "win32ada"
+version = "22.0.0"
+description = "Ada API to the Windows library"
+website = "https://github.com/adacore/win32ada"
+authors = ["Intermetrics", "AdaCore"]
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["windows", "api"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+PRJ_TARGET = ["Win32", "Win64"]
+PRJ_BUILD = ["Debug", "Release"]
+
+[available.'case(os)']
+windows = true
+'...'   = false
+
+[gpr-set-externals]
+TARGET = "Win64"
+PRJ_TARGET = "Win64"
+PRJ_BUILD = "Release"
+
+[origin]
+url= "https://github.com/AdaCore/win32ada/archive/v22.0.0/win32ada-22.0.0.zip"
+hashes=['sha512:25bbde23184673d60f5d9c2a73a4515b2a1b0e14efa7eef8a9cab4d33be7500c647eff699afb7943ca07225b5968c3012e26b7e4ae63169fe7d8f80f605cebf4']
@@ -0,0 +1,24 @@
+name = "xia"
+description = "Implements XPath 1.0 in Ada"
+version = "1.4.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 = ["XIA.gpr"]
+
+tags = ["xml"]
+
+[[depends-on]]
+gnat   = ">11.0.0"
+xmlada = "^21.0.0"
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable"]
+
+[origin]
+commit = "b16bb5ce0ba7524f30f7ea9db71ab4007dc17277"
+url = "git+https://github.com/simonjwright/xia.git"
+
@@ -0,0 +1,43 @@
+name = "xmlada"
+version = "22.0.0"
+description = "The XML/Ada toolkit"
+website = "https://github.com/AdaCore/xmlada"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["distrib/xmlada.gpr",
+                 "dom/xmlada_dom.gpr",
+                 "sax/xmlada_sax.gpr",
+                 "input_sources/xmlada_input.gpr",
+                 "schema/xmlada_schema.gpr",
+                 "unicode/xmlada_unicode.gpr"]
+
+[[depends-on]]
+gnat = ">=11"
+
+[configuration]
+disabled = true
+
+# Get up-to-date config.guess
+[[actions]]
+type = "post-fetch"
+command = ["wget", "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD", "-O", "config.guess"]
+
+# Get up-to-date config.sub
+[[actions]]
+type = "post-fetch"
+command = ["wget", "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD", "-O", "config.sub"]
+
+[[actions]]
+type = "post-fetch"
+command = ["sh", "configure"]
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+XMLADA_BUILD_MODE = ["distrib", "Debug", "Production",
+                     "profile", "coverage", "nochecks"]
+
+[origin]
+url="https://github.com/AdaCore/xmlada/archive/v22.0.0/xmlada-22.0.0.zip"
+hashes=['sha512:b322ae27f386dc530784f129af9b2f456302f53752d11829b687f90ae60424b1530a28c0667a186647f3bf416766a4633366af26b8d831a5a7e6c16c355c593b']
@@ -25,10 +25,13 @@ alr version
 # Configure index
 alr index --name local --add ./index

+# Remove community index in case it has been added before
+alr index --del community || true
+
 # Test crate
 for file in $CHANGES; do

-   if [[ $file == index.toml ]]; then 
+   if [[ $file == index.toml ]]; then
      echo Skipping index metadata file: $file
      continue
   fi
@@ -48,6 +51,7 @@ for file in $CHANGES; do

   crate=$(basename $file .toml | cut -f1 -d-)
   version=$(basename $file .toml | cut -f2- -d-)
+   version_noextras=$(echo $version | cut -f1 -d- | cut -f1 -d+)
   milestone="$crate=$version"
   echo Testing crate: $milestone
   # Remember that version can be "external", in which case we do not know the
@@ -89,7 +93,7 @@ for file in $CHANGES; do
      continue
   fi

-   # Update system repositories whenever a detected system package is involved, 
+   # Update system repositories whenever a detected system package is involved,
   # either as dependency or as the crate being tested.
   if grep -iq 'origin: system' <<< $solution; then
      echo UPDATING system repositories...
@@ -126,29 +130,34 @@ for file in $CHANGES; do
      echo FAIL: crate $milestone dependencies cannot be met
      exit 1
   fi
-   
+
   # Actual checks
   echo DEPLOYING CRATE $milestone
-   if $is_binary; then 
+   if $is_binary; then
      echo SKIPPING BUILD for BINARY crate, FETCHING only
-      build_flag=""
-   else
-      build_flag="--build"
+   elif $is_system; then
+      echo SKIPPING BUILD for SYSTEM crate, FETCHING only
   fi

-   alr get -d $build_flag -n $milestone
+   alr -d -n get $milestone

-   if $is_system; then 
+   if $is_system; then
      echo DETECTING INSTALLED PACKAGE via crate $milestone
-      alr show -d --external-detect $milestone
+      alr -d show --external-detect $milestone
   elif $is_binary; then
      echo FETCHED BINARY crate OK
   else
-      cd ${crate}_${version}_*
+      echo FETCHED SOURCE crate OK
+      cd ${crate}_${version_noextras}_*
+      echo GNAT/GPRBUILD DEFAULT VERSIONS
+      gnat --version || true
+      gprbuild --version || true
      echo BUILD ENVIRONMENT
      alr printenv
+      echo BUILDING CRATE
+      alr -d -n build 
      echo LISTING EXECUTABLES of crate $milestone
-      alr run -d --list
+      alr -d run --list
      cd ..
   fi
Author	SHA1	Message	Date
Alejandro R. Mosteo	54ec032e00	Show GNAT/GPRBUILD versions on default PATH before build	2021-11-04 09:56:43 +01:00
Fabien Chouteau	0fc984590b	aunit, startup_gen, templates_parser, win32ada 22.0.0 (#394 )	2021-11-03 19:48:57 +01:00
Maxim Reznik	250e73f016	matreshka 20.1.0 build fixes (#395 ) Force `make reconfig` to ignore `config` directory created by `alr`. Disable GNAT CE 2021 and GCC 11. Disable GNAT CE on Mac OS. Fix building spikedog_awsd executable.	2021-11-03 14:13:07 +01:00
Fabien Chouteau	134fff113b	gnatcoll_{core\|db\|bindings} 22.0.0 (#392 )	2021-11-03 06:57:53 +01:00
Maxim Reznik	8b97c4c6a5	matreshka 21.0.0 (#393 )	2021-11-02 12:16:02 +01:00
Fabien Chouteau	b034f7e015	xmlada and libgpr 22.0.0 (#391 )	2021-10-28 17:42:37 +02:00
Alejandro R Mosteo	1f2c4b51c0	Show environment before building (#389 ) * Show environment before building * Code review fixes	2021-10-27 10:52:08 +02:00
Jeremy Grosser	3c92f41ec6	rp2040_hal, pico_bsp, pico_examples 0.7.0 (#390 )	2021-10-27 10:29:45 +02:00
Fabien Chouteau	598206454b	samd51_hal 0.3.0 (#388 )	2021-10-26 15:57:27 +02:00
Alejandro R Mosteo	767d79df11	semver 2.1.0 (#387 )	2021-10-26 15:50:55 +02:00
Fabien Chouteau	8b88f3379d	usb_embedded 0.2.0 (#386 )	2021-10-26 11:04:12 +02:00
Manuel Hatzl	a41d575486	spark_unbound 0.2.1 (#383 ) * Add spark_unbound to alire index * Fixed package naming as suggested * Fixed gnat dependency	2021-10-25 19:28:56 +02:00
Fabien Chouteau	73b6c15d24	bbqueue 0.3.0 (#385 )	2021-10-25 18:07:17 +02:00
Fabien Chouteau	b5713488ee	atomic 0.4.1 (#384 )	2021-10-25 09:05:30 +02:00
Paul Jarrett	869133fa80	trendy_terminal 0.0.3 (#382 )	2021-10-18 11:09:23 +02:00
Fabien Chouteau	f3aa223b8f	Atomic 0.4.0 (#381 ) * Add files via upload * Update atomic-0.4.0.toml	2021-10-18 10:04:50 +02:00
Jesper Quorning	d539a705ee	simple_components 4.42.0: update origin after unavailable tarball (#380 ) * simple_components=4.42.0: Change download url to sourceforge.net (#879) * Move to github mirror * Fix tag of Community docker * Exclude unsupported compilers * Remove community index that may interfere * Disable gnat 11 Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>	2021-10-15 12:27:12 +02:00
Fabien Chouteau	3ee44941ee	gnatcov: add missing GPR_PROJECT_PATH for instrumentation run-time (#378 )	2021-10-07 09:15:51 +02:00
Manuel	fae04af671	play_2048 1.0 (#368 )	2021-10-07 07:24:26 +02:00
Paul Jarrett	aeba4a3507	Add septum 0.0.3 (#379 )	2021-10-07 07:00:38 +02:00
Fabien Chouteau	8c7f5921dd	clic 0.2.0 (#377 )	2021-10-04 12:45:08 +02:00
Fabien Chouteau	2b717eabc0	GNAT 11.2.2, GPRbuild 21.0.2, GNATcov 21.0.2 (#376 ) * GNAT 11.2.2 The Linux versions are built on ubuntu 18 instead of 20 for the .1 releases. * GPRbuild 21.0.1 The Linux versions are built on ubuntu 18 instead of 20 for the .1 releases. * GNATcov 21.0.1 The Linux versions are built on ubuntu 18 instead of 20 for the .1 releases.	2021-09-30 17:16:55 +02:00
Riccardo Bernardini	4773e34e52	specfun 1.0 (#374 ) * Added toml for specfun * addled index entry for specfun	2021-09-30 17:06:16 +02:00
Fabien Chouteau	77eed57181	GNAT 10.3.2 (#375 ) The Linux versions are built on ubuntu 18 instead of 20 for the .1 releases.	2021-09-29 18:06:38 +02:00
Simon Wright	d9ff0d5fd9	xia 1.4.0 (#373 ) * xia 1.4.0, my first crate * Updated "licenses" to include RTLE. * Moved xia-1.4.0.toml.	2021-09-27 22:11:58 +02:00
Alejandro R Mosteo	c9f35fb0c0	Fix folder entering for versions with -pre or -build (#372 ) * Fix folder change for versions with -pre or -build * Touch the hello crate	2021-09-27 17:49:09 +02:00
Paul Jarrett	e2d878099a	septum 0.0.2 (#371 ) * Add septum * Add files via upload * Delete septum-0.0.1-beta3.toml	2021-09-27 15:57:03 +02:00
Paul Jarrett	dc1e8804f0	trendy_terminal 0.0.2 (#370 )	2021-09-27 09:06:49 +02:00
Lev Kujawski	b23492d900	avltrees 0.1.0 (#369 )	2021-09-27 09:04:48 +02:00
pmunts	33c13ec560	libsimpleio, mcp2221, remoteio 1.19965.2 (#367 ) libsimpleio release 1.19965.2 mcp2221 release 1.19965.2 remoteio release 1.19965.2	2021-09-27 08:56:19 +02:00
pmunts	32f1d69289	mcp2221 release 1.19965.1 remoteio release 1.19965.1 * mcp2221 release 1.19965.1 * remoteio release 1.19965.1	2021-09-21 15:00:18 +02:00
Alejandro R Mosteo	627f5b4f2f	aaa 0.2.4 (#366 )	2021-09-21 13:34:36 +02:00
Lev Kujawski	8c434139e4	blake2s, b2ssum 0.1.3 (#361 )	2021-09-21 11:41:34 +02:00
Alejandro R Mosteo	712789a75c	Switch to setup-alire@v1 (#363 ) * Switch to setup-alire@v1 * Code review	2021-09-20 15:47:15 +02:00
Roderick Chapman	aff0a2827d	sparknacl 3.0.0 (#360 ) * Add files via upload * Add files via upload	2021-09-20 11:46:12 +02:00
Gustavo A. Hoffmann	d1c641f7b2	audio_wavefiles 2.0.0 (#358 )	2021-09-20 11:34:56 +02:00
Alejandro R. Mosteo	d918e18e56	Merge stable-1.0 into devel-1.1	2021-09-16 16:30:30 +02:00
Fabien Chouteau	889ce5b21e	Create clic-0.1.1.toml (#357 )	2021-09-16 15:43:42 +02:00
Gustavo A. Hoffmann	26d9147abf	audio_base 1.0.0 (#355 ) * audio_base 1.0.0 * Converting license to SPDX string	2021-09-16 11:05:38 +02:00
Alejandro R Mosteo	ffd49df662	Backport improvements to build script (#350 ) In the stable branch we are still testing the newest release, while sometimes we get fixes to older release manifests.	2021-09-14 09:59:47 +02:00