Check that direct dependencies exist

Use alr test instead of alr build
This way, test actions will get executed when they are appropriate instead of a plain build.
2021-09-16 16:40:27 +02:00 · 2021-09-16 16:40:16 +02:00
219 changed files with 83 additions and 5408 deletions
@@ -13,17 +13,16 @@ jobs:
    runs-on: ${{ matrix.os }}

    strategy:
-      fail-fast: false
      matrix:
-        os:
+        os: 
          - macos-latest
          - ubuntu-latest
          - windows-latest
        tag:
          - arch-rolling
          - centos-latest-community-latest
-          - community-latest
-          - debian-stable
+          - community-current          
+          - debian-stable          
          - ubuntu-lts
          - ""
        exclude: # inclusions don't allow to add arrays of values to a scenario
@@ -34,7 +33,7 @@ jobs:
          - os: macos-latest
            tag: centos-latest-community-latest
          - os: macos-latest
-            tag: community-latest
+            tag: community-current
          - os: macos-latest
            tag: debian-stable
          - os: macos-latest
@@ -44,7 +43,7 @@ jobs:
          - os: windows-latest
            tag: centos-latest-community-latest
          - os: windows-latest
-            tag: community-latest
+            tag: community-current
          - os: windows-latest
            tag: debian-stable
          - os: windows-latest
@@ -60,13 +59,9 @@ jobs:
        # changed files detectors (in both scripts/gh-build-crate.sh and
        # check-author action).

-    - name: Update system repositories
-      if: matrix.os == 'ubuntu-latest'
-      run: sudo apt update
-
    - name: Set up GNAT toolchain (FSF)
      if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2021
+      uses: ada-actions/toolchain@ce2020
      with:
        distrib: fsf # faster install?

@@ -78,16 +73,13 @@ jobs:

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

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

    - name: Test crate (Linux)
      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -97,6 +89,10 @@ 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
@@ -14,9 +14,8 @@ jobs:
    runs-on: ${{ matrix.os }}

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

    # 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.
+    # setup-alire. At some point we should integrate this in the
+    # setup-alire@latest-devel action.

    - name: Set up GNAT toolchain (FSF)
      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
@@ -50,14 +49,16 @@ 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@v1
+      uses: alire-project/setup-alire@latest-stable

    # 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@v1
-      with:
-        branch: 'master'
+      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

    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
      if: matrix.os == 'windows-latest'
@@ -1,46 +0,0 @@
-# Show differences between the submitted manifest and the previous
-# release of the same crate, to enable easier catching of problems
-
-name: Diff release
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  diff:
-
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Check out alire-index
-      uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-        # Needed to be able to diff and obtain changed files. Furthermore, we
-        # need the full history or else grafted partial branches confuse the
-        # changed files detector
-
-#    - name: Set up GNAT toolchain (FSF)
-#      uses: ada-actions/toolchain@ce2020
-#      with:
-#        distrib: fsf # faster install?
-
-    - name: Set up stable `alr`
-      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
-      with:
-        toolchain: --disable-assistant # We don't need the compiler
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
-      with:
-        toolchain: --disable-assistant # We don't need the compiler
-        branch: master
-
-    - name: Diff releases
-      run: 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@v1
+      uses: alire-project/setup-alire@latest-stable

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

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

    - run: alr index --list

@@ -1,27 +0,0 @@
-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"
-
@@ -1,27 +0,0 @@
-name = "aaa"
-version = "0.2.5"
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-
-long-description = """
-Alex's Ada Assortment of Utilities
-
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
-"""
-
-authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["miscellanea", "utility"]
-website = "https://github.com/mosteo/aaa"
-
-[origin]
-commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -1,27 +0,0 @@
-description = "An implementation of the Microsoft's Language Server Protocol for Ada"
-name = "ada_language_server"
-version = "22.0.0"
-website = "https://github.com/AdaCore/ada_language_server"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only"
-maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
-maintainers-logins = ["reznikmm"]
-project-files = ["gnat/lsp_server.gpr"]
-tags = ["lsp", "vscode"]
-
-[gpr-set-externals]
-LIBRARY_TYPE = "static"
-
-[environment]
-ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
-
-[[depends-on]]
-libadalang       = "22.0.0"
-vss              = "22.0.0"
-libadalang_tools = "22.0.0"
-spawn            = "22.0.0"
-
-[origin]
-url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v22.0.0.tar.gz"
-archive-name = "als-22.0.0.tar.gz"
-hashes = ["sha512:ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c"]
@@ -1,22 +0,0 @@
-name = "adabots"
-description = "Learn Ada by programming Minecraft robots"
-version = "1.1.0"
-
-authors = ["Tama McGlinn"]
-maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
-maintainers-logins = ["TamaMcGlinn"]
-
-licenses = "MIT"
-project-files = ["adabots.gpr"]
-tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
-
-[[depends-on]]  # This line was added by `alr with`
-aws = "^21.0.0"  # This line was added by `alr with`
-
-[[depends-on]]  # This line was added by `alr with`
-aaa = "~0.2.3"  # This line was added by `alr with`
-
-[origin]
-commit = "974b587bf8ec5c41eaaeedf9d4d7837685e05910"
-url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-
@@ -1,22 +0,0 @@
-name = "adabots"
-description = "Learn Ada by programming Minecraft robots"
-version = "1.2.0"
-
-authors = ["Tama McGlinn"]
-maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
-maintainers-logins = ["TamaMcGlinn"]
-
-licenses = "MIT"
-project-files = ["adabots.gpr"]
-tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
-
-[[depends-on]]  # This line was added by `alr with`
-aws = "^21.0.0"  # This line was added by `alr with`
-
-[[depends-on]]  # This line was added by `alr with`
-aaa = "~0.2.3"  # This line was added by `alr with`
-
-[origin]
-commit = "f8238a936790440248d7ef34914851fdde3ae5a5"
-url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-
@@ -1,30 +0,0 @@
-description = "Middleware layer of the Ada Drivers Library project"
-long-description = '''# adl_middleware
-
-Middleware layer of the Ada Drivers Library project.
-
-This crate is a snapshot of the `middleware` of [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "adl_middleware"
-version = "0.1.1"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["adl_middleware.gpr"]
-tags = ["embedded", "nostd", "fat", "bitmap"]
-
-[[depends-on]]
-hal = "^0.1.0"
-
-[origin]
-commit = "67cf6a092008a918709d7855ab69e32fe2b6065b"
-url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
-
@@ -1,42 +0,0 @@
-description = "An Ada Lexical Analyzer Generator"
-name = "aflex"
-version = "1.5.2021"
-licenses = "Unlicense"
-authors = ["John Self"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-tags = ["parser", "generator", "grammar"]
-website = "https://github.com/Ada-France/aflex"
-executables = ["aflex"]
-long-description = """
-
-Aflex is a lexical analyzer generating tool similar to the Unix tool lex.
-
-The first implementation was written by John Self of the Arcadia project
-at the University of California, Irvine.  The last version that was released
-appeared to be the aflex 1.4a released in 1994.
-
-Aflex was used and improved by P2Ada, the Pascal to Ada translator.
-This version of Aflex is derived from the P2Ada aflex implementation
-released in August 2010.
-
-This version brings a number of improvements:
-
- Aflex generates the spec and body files as separate files so that
-  there is no need to use gnatchop to split the DFA and IO files.
- Aflex uses the lex file name to generate the package name and
-  it supports child package with the `%unit` directive.
-
-"""
-
-[gpr-externals]
-AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-
-[configuration]
-disabled = true
-
-
-[origin]
-commit = "33198b8fef131732d44279e7dd7fb24535cdb18f"
-url = "git+https://github.com/Ada-France/aflex.git"
-
@@ -1,18 +0,0 @@
-description = "Portable package for producing dynamically PDF documents"
-name = "apdf"
-version = "5.0.3"
-authors = ["Gautier de Montmollin"]
-licenses = "MIT"
-maintainers = ["gdemont@hotmail.com"]
-maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
-project-files = ["pdf_out_gnat_w_gid.gpr"]
-
-[gpr-externals]
-PDF_Build_Mode = ["Debug", "Fast"]
-
-[[depends-on]]
-gid = ">=9.0.0"
-
-[origin]
-url = "https://sourceforge.net/projects/apdf/files/apdf_005_r3.zip"
-hashes = ["sha512:dbe27598986b1744b024803348350e48b9fe14a14b4137796b3bf12fc98e400b45fd16dc3902a5ffbfa407552131bec072c287444889d5984ade6ba6d2d981cf"]
@@ -1,85 +0,0 @@
-description = "Advanced Resource Embedder"
-name = "are"
-version = "1.2.0"
-authors = ["Stephane.Carrez@gmail.com"]
-licenses = "Apache-2.0"
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-project-files = ["are.gpr"]
-tags = ["resource", "embedder", "generator"]
-website = "https://gitlab.com/stcarrez/resource-embedder"
-executables = ["are"]
-long-description = """
-
-[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
-[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
-[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
-[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
-
-The resource embedder allows to embed files in binaries by producing C, Ada or Go source
-files that contain the original files.
-
-To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
-
-```
-are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
-```
-
-Complex resource integrations are best described with and XML and are generated with:
-
-```
-are --lang=Ada -o src --rule=package.xml --name-access .
-```
-
-For Ada, it generates the following package declaration with the `Get_Content` function
-that gives access to the files.  The Ada body contains the content of each embedded file.
-
-```Ada
-package Config is
-  function Get_Content (Name : in String)
-    return access constant String;
-end Config;
-```
-
-"""
-
-[available.'case(os)']
-linux = true
-windows = true
-macos = true
-'...' = false
-
-[[depends-on]]
-xmlada = "~21.0.0"
-
-[gpr-externals]
-BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
-UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
-
-[gpr-set-externals]
-BUILD = "distrib"
-ARE_SWITCH = "NO_CALLBACK"
-
-[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
-UTIL_OS = "linux32"
-
-[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
-UTIL_OS = "linux64"
-
-[gpr-set-externals."case(os)".macos]
-UTIL_OS = "macos64"
-
-[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
-UTIL_OS = "win32"
-
-[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
-UTIL_OS = "win64"
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "16239a8b9653f085a542d7b4838110675d80dc73"
-url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
-
@@ -1,19 +0,0 @@
-name = "asfml"
-description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
-version = "2.5.2"
-
-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 = "b775db19d2c33e6172da96267cafc1a1e7567bb3"
-url = "git+https://github.com/mgrojo/ASFML.git"
-
@@ -1,18 +0,0 @@
-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"
-
@@ -1,18 +0,0 @@
-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"
-
@@ -1,21 +0,0 @@
-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"
@@ -1,20 +0,0 @@
-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"]
@@ -1,15 +0,0 @@
-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"
-
@@ -1,42 +0,0 @@
-description = "An Ada LARL(1) parser generator"
-name = "ayacc"
-version = "1.3.0"
-licenses = "Unlicense"
-authors = ["David Taback", "Deepak Tolani"]
-maintainers = ["Stephane.Carrez@gmail.com"]
-maintainers-logins = ["stcarrez"]
-executables = ["ayacc"]
-tags = ["parser", "generator", "grammar"]
-website = "https://github.com/Ada-France/ayacc"
-long-description = """
-
-Ayacc is an Ada parser generator in the style of yacc(1).
-
-The first implementation was written by David Taback and Deepak Tolani
-at the University of California, Irvine.  The last version that was released
-appeared to be the Ayacc 1.1 released in 1994.
-
-Ayacc was used and improved by P2Ada, the Pascal to Ada translator.
-This version of Ayacc is derived from the P2Ada ayacc implementation
-released in August 2010.
-
-This version brings a number of improvements:
-
- Ayacc now uses more standard options to configure the code generation
- The parser was improved to configure the parser stack size and
-  support Ada child packages.
- The grammar supports the %unit directive to control the Ada child packages.
- Several options provide a better control of the generated code.
-
-"""
-
-[gpr-externals]
-AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "9b8bf854e79f5e769a82f98f54ad638a14eb6dc7"
-url = "git+https://github.com/Ada-France/ayacc.git"
-
@@ -1,19 +0,0 @@
-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"
@@ -1,15 +0,0 @@
-name = "base64"
-description = "Base64 encoding/decoding routines"
-version = "1.0.0"
-website = "https://github.com/AntonMeep/base64"
-licenses = "ISC"
-tags = ["base64"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[origin]
-commit = "d91cd4d298152dc64752e3f14f6ef9baf2e11664"
-url = "git+https://github.com/AntonMeep/base64.git"
-
@@ -1,15 +0,0 @@
-name = "base64"
-description = "Base64 encoding/decoding routines"
-version = "1.0.1"
-website = "https://github.com/AntonMeep/base64"
-licenses = "ISC"
-tags = ["base64"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[origin]
-commit = "41f0c5dfb95d999e0140b9a575ca3c2ae8c26fe1"
-url = "git+https://github.com/AntonMeep/base64.git"
-
@@ -1,33 +0,0 @@
-name = "bb_pico_bsp"
-description = "Ada BSP for the Keyboard Featherwing + RPI PICO"
-version = "0.1.0"
-
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["embedded", "pico", "handheld", "featherwing"]
-website = "https://github.com/Fabien-Chouteau/bb_pico_bsp"
-licenses = "MIT"
-
-[[depends-on]]
-pico_bsp = "^1.0.0"
-embedded_components = "~0.1.0"
-lvgl_ada = "~0.2.0"
-
-[configuration.values]
-lvgl_ada.Pixel_Bit_Depth = "Pix_16bit"
-lvgl_ada.Color_16_SWAP = true
-lvgl_ada.Horizontal_Resolution = 320
-lvgl_ada.Vertical_Resolution = 240
-lvgl_ada.Theme_Live_Update = true
-lvgl_ada.Double_Buffering = true
-lvgl_ada.Density_Per_Inch = 50
-lvgl_ada.Virtual_Display_Buffer_Size = 30720
-
-[gpr-set-externals]
-EMBEDDED_COMPONENTS_COMPILE_CHECKS="disabled"
-
-[origin]
-commit = "76f9999eba98bf8b1088fc18b6e23325fd8adc75"
-url = "git+https://github.com/Fabien-Chouteau/bb_pico_bsp.git"
-
@@ -1,22 +0,0 @@
-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"
-
@@ -1,14 +0,0 @@
-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"
@@ -1,15 +0,0 @@
-name = "brackelib"
-description = "Library which contains various utility packages."
-long-description = "Ada library which contains various utility packages. Currently only a few implementations of abstract data types."
-version = "0.0.2"
-licenses = "CC0-1.0"
-website = "https://github.com/bracke/brackelib"
-tags = ["utility", "adt","stack", "queue"]
-authors = ["Bent Bracke"]
-maintainers = ["Bent Bracke <bent@bracke.dk>"]
-maintainers-logins = ["bracke"]
-
-[origin]
-commit = "e08b60411a7469999cf69419780c76237aaa4d35"
-url = "git+https://github.com/bracke/brackelib.git"
-
@@ -1,16 +0,0 @@
-name = "chests"
-description = "Chests are bounded containers"
-version = "0.1.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-
-licenses = "BSD-3-Clause"
-website = "https://github.com/JeremyGrosser/chests"
-tags = ["containers", "bounded", "nostd", "embedded"]
-
-[origin]
-commit = "45e5b47db75e6f01ca0fab31af7d7c82a7c15e6e"
-url = "git+https://github.com/JeremyGrosser/chests.git"
-
@@ -1,16 +0,0 @@
-name = "chests"
-description = "Chests are bounded containers"
-version = "0.1.1"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-
-licenses = "BSD-3-Clause"
-website = "https://github.com/JeremyGrosser/chests"
-tags = ["containers", "bounded", "nostd", "embedded"]
-
-[origin]
-commit = "9f7aa6f0a7abe88fb7fc2c91a44a42d29effd62c"
-url = "git+https://github.com/JeremyGrosser/chests.git"
-
@@ -1,31 +0,0 @@
-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"
@@ -1,18 +0,0 @@
-name = "dependency_graph_extractor"
-description = "Extract dependency information from Ada projects"
-version = "0.1.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
-tags = ["extract", "dependency", "analysis", "graph", "graphml"]
-
-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"
-
-[origin]
-commit = "71bc61cd13d542edf4732643f208273d435c33a9"
-url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
-
@@ -1,18 +0,0 @@
-name = "edc_client"
-description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
-version = "1.3.3"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "rp2040"]
-website = "https://github.com/hgrodriguez/edc-client"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-
-[origin]
-commit = "cb659e252a0ea7a23f7c6789113d4bfefff295f0"
-url = "git+https://github.com/hgrodriguez/edc-client.git"
-
@@ -1,18 +0,0 @@
-name = "edc_client"
-description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
-version = "1.4.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "rp2040"]
-website = "https://github.com/hgrodriguez/edc_client"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-
-[origin]
-commit = "604711851d356014b653e2f50218ebcfe50f05a0"
-url = "git+https://github.com/hgrodriguez/edc_client.git"
-
@@ -1,20 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "2.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 = "c01692bc92bc536cf35918e4aa2ed8ba7cec7ab3"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-
@@ -1,20 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.0.1"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-[[depends-on]]  # Added by alr
-gnat_arm_elf = "^11.2.3"  # Added by alr
-
-[origin]
-commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-
@@ -1,18 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.2.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-
-[origin]
-commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-
@@ -1,15 +0,0 @@
-name = "endianness"
-description = "Convenience subprograms to convert between Big- and Little-endianness"
-version = "1.0.0"
-website = "https://github.com/AntonMeep/endianness"
-licenses = "ISC"
-tags = ["spark", "endianness", "system"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[origin]
-commit = "0fdb81cde626f68c726eaac5c1211a65e6a06a33"
-url = "git+https://github.com/AntonMeep/endianness.git"
-
@@ -1,19 +0,0 @@
-name = "epoll"
-description = "Linux epoll binding"
-version = "0.1.1"
-licenses = "BSD-3-Clause"
-tags = ["linux", "epoll", "net"]
-website = "https://github.com/JeremyGrosser/epoll-ada"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[origin]
-commit = "5475faed094db88b70de29afe74e204dff87447c"
-url = "git+https://github.com/JeremyGrosser/epoll-ada.git"
-
@@ -1,24 +0,0 @@
-name = "evdev"
-description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
-version = "2.0.0"
-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 = "78c027582c31314663a4b1ddac9d3e12a3639404"
-url = "git+https://github.com/onox/evdev-ada.git"
@@ -1,18 +0,0 @@
-name = "fastpbkdf2_ada"
-description = "Binding and an Ada wrapper to fastpbkdf2"
-version = "1.0.0"
-website = "https://github.com/AntonMeep/fastpbkdf2_ada"
-licenses = "ISC"
-tags = ["pbkdf2", "cryptography"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[[depends-on]]
-openssl = "~1.1.1"
-
-[origin]
-commit = "c46be9fde5330e96e4ae7e52a77ada60b7f89fe6"
-url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
-
@@ -1,18 +0,0 @@
-name = "fastpbkdf2_ada"
-description = "Binding and an Ada wrapper to fastpbkdf2"
-version = "2.0.0"
-website = "https://github.com/AntonMeep/fastpbkdf2_ada"
-licenses = "ISC"
-tags = ["pbkdf2", "cryptography"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[[depends-on]]
-openssl = "~1.1.1"
-
-[origin]
-commit = "ef1c2f3ad47ef550709434f65ff49395f486fd19"
-url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
-
@@ -1,15 +0,0 @@
-description = "Decoding a broad variety of image formats"
-name = "gid"
-version = "10.0.0"
-authors = ["Gautier de Montmollin"]
-licenses = "MIT"
-maintainers = ["fabien.chouteau@gmail.com"]
-maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
-project-files = ["gid.gpr"]
-
-[gpr-externals]
-GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast", "Small", "Smallest", "Profiling"]
-
-[origin]
-url = "https://sourceforge.net/projects/gen-img-dec/files/gid_010.zip"
-hashes = ["sha512:ea4b473fc5020e8cd2248aa02e65a5d9d606994392130d5bd024e93e6c1de402e9a54f59adf0dbfa9c80163f1b61f300e3dce7d7e5544006073646e3c5dc00c3"]
@@ -1,27 +0,0 @@
-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"]
@@ -1,27 +0,0 @@
-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,27 +0,0 @@
-name = "gnat_arm_elf"
-version = "11.2.3"
-provides = ["gnat=11.2.3"]
-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-3/gnat-arm-elf-linux64-11.2.0-3.tar.gz"
-hashes = ["sha256:811265cb750f3e1fd96a3dac48cdd190fe06b3fe7feb5bc4f2a44e97296b13fa"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-darwin-11.2.0-3.tar.gz"
-hashes = ["sha256:ab1035b1649e259cae17bde628a85a4bcaf3f8819adafee0edb76697810b50ee"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-windows64-11.2.0-3.tar.gz"
-hashes = ["sha256:432ce2fbbeb544e85a3b656fa6dcab16a9c7d9187f36e22461039d082d59296e"]
@@ -1,27 +0,0 @@
-name = "gnat_arm_elf"
-version = "11.2.4"
-provides = ["gnat=11.2.4"]
-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-4/gnat-arm-elf-linux64-11.2.0-4.tar.gz"
-hashes = ["sha256:ba16d45c9d4a055e759e79692642cc50b537cd87de99dc6a845c92d8fe7380a3"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-darwin-11.2.0-4.tar.gz"
-hashes = ["sha256:839811c83a395d8c8ef9ffdf5c230089ded61c9dedc5615e0960cb438c6dd0fc"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-windows64-11.2.0-4.tar.gz"
-hashes = ["sha256:65724f2cd3c1174df8dd1499ae13a5eb4367008e61c3ba0d9cc642a78f9818cf"]
@@ -1,27 +0,0 @@
-name = "gnat_avr_elf"
-version = "11.2.4"
-provides = ["gnat=11.2.4"]
-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-11.2.0-4/gnat-avr-elf-linux64-11.2.0-4.tar.gz"
-hashes = ["sha256:aa9d26936210036ae062f74232b17ce46a4a4518411960e223dd9c877869eea9"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-darwin-11.2.0-4.tar.gz"
-hashes = ["sha256:13b466e3cab5c8332d99e7e0054df8b2d9ce6eaf500638fc3ef5cbd5a65790ad"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-windows64-11.2.0-4.tar.gz"
-hashes = ["sha256:c1a028004606fa01032026d91c66acc0215dad281af95095996827e81220145d"]
@@ -1,6 +1,5 @@
 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"]
@@ -8,6 +7,8 @@ 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

@@ -1,27 +0,0 @@
-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,6 +1,5 @@
 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"]
@@ -8,6 +7,8 @@ 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

@@ -1,27 +0,0 @@
-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"]
@@ -1,27 +0,0 @@
-name = "gnat_native"
-version = "11.2.3"
-provides = ["gnat=11.2.3"]
-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-3/gnat-x86_64-windows64-11.2.0-3.tar.gz"
-hashes = ["sha256:9ac3889918afe98b53ae101d290d940998b72d7a0f0a3ade52b3fc6efb5d3d89"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-darwin-11.2.0-3.tar.gz"
-hashes = ["sha256:f008a8a75922f77ec896f881f51359af9c16380db202dfd6ffd48b999e8cb45d"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-linux-11.2.0-3.tar.gz"
-hashes = ["sha256:d255cfb3263d0a0664850b3fb15d16d400bdb386d460d80e763839308ccdf10a"]
@@ -1,27 +0,0 @@
-name = "gnat_native"
-version = "11.2.4"
-provides = ["gnat=11.2.4"]
-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-4/gnat-x86_64-windows64-11.2.0-4.tar.gz"
-hashes = ["sha256:2f9c5d6de6d1c26bb1cee3438dcdf0277d231bfd7129d441b5e7253558da340e"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-darwin-11.2.0-4.tar.gz"
-hashes = ["sha256:9800548db56698e9150252b9382a39953c4a8129d715367c6f787bee48ff1eef"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-linux-11.2.0-4.tar.gz"
-hashes = ["sha256:2f37a10bd215a679b6a4af393b56b2a4fb6ccbedd293a34764e36fea635c58b0"]
@@ -1,27 +0,0 @@
-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"]
@@ -1,27 +0,0 @@
-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"]
@@ -1,27 +0,0 @@
-name = "gnat_riscv64_elf"
-version = "11.2.3"
-provides = ["gnat=11.2.3"]
-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-3/gnat-riscv64-elf-linux64-11.2.0-3.tar.gz"
-hashes = ["sha256:591103c4d3bba69ed86e0f3b99c48eab268bc3a817201d3717e68d1d65db03f6"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-darwin-11.2.0-3.tar.gz"
-hashes = ["sha256:09cc51a67b542d035a31c86be1eade2f6a2a665d00f366cef2d71956d9879bcd"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-windows64-11.2.0-3.tar.gz"
-hashes = ["sha256:3f0c25f24f0a54acd2877e4e76aa4ea7b4c4ffc27d973d5447e0d91a79bf46bf"]
@@ -1,27 +0,0 @@
-name = "gnat_riscv64_elf"
-version = "11.2.4"
-provides = ["gnat=11.2.4"]
-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-4/gnat-riscv64-elf-linux64-11.2.0-4.tar.gz"
-hashes = ["sha256:f4a370b52e490ce7ed1e27be5ea70d1e75cc14f70439fa0f2207ea691c9d95dc"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-darwin-11.2.0-4.tar.gz"
-hashes = ["sha256:69c6306ef68d50eb8c55677e8f2179920a33562b193f7a5c7bb2877b17f3fd7d"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-windows64-11.2.0-4.tar.gz"
-hashes = ["sha256:b21d71cae05dd13309684fc0d6d60d1e440265fe1682ee70789e734037550c27"]
@@ -1,36 +0,0 @@
-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']
@@ -1,25 +0,0 @@
-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']
@@ -1,32 +0,0 @@
-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']
@@ -1,25 +0,0 @@
-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']
@@ -1,25 +0,0 @@
-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']
@@ -1,26 +0,0 @@
-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']
@@ -1,25 +0,0 @@
-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']
@@ -1,24 +0,0 @@
-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']
@@ -1,25 +0,0 @@
-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']
@@ -1,28 +0,0 @@
-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']
@@ -1,27 +0,0 @@
-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']
@@ -1,25 +0,0 @@
-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']
@@ -1,16 +1,14 @@
 name = "gnatcov"
 version = "21.0.1"

-description = "Coverage Analysis Tool"
+description = "The GNAT Ada compiler - ARM cross-compiler"
 maintainers = ["chouteau@adacore.com"]
 maintainers-logins = ["Fabien-Chouteau"]
-tags = ["coverage", "analysis", "test"]

 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"
@@ -1,25 +0,0 @@
-name = "gnatcov"
-version = "21.0.2"
-
-description = "Coverage Analysis Tool"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["coverage", "analysis", "test"]
-
-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"]
@@ -1,28 +0,0 @@
-name = "gnatcov"
-version = "22.0.1"
-
-description = "Coverage Analysis Tool"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["coverage", "analysis", "test"]
-
-auto-gpr-with = false
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
-
-[configuration]
-disabled = true
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-linux-22.0-1.tar.gz"
-hashes = ["sha256:eae687f0fb100524933ae37123a1de5ec26e5fca7fe2355cf2b267c9ccc0989a"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-darwin-22.0-1.tar.gz"
-hashes = ["sha256:a69a9af451dbeaa1ab8c9d8c430ea25ae9e05b7595073c38e1576241f0630371"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-windows64-22.0-1.tar.gz"
-hashes = ["sha256:29e99b2faf507bf5919e7f60fa052694666de9326bd89a06eea18bad590a0448"]
@@ -1,26 +0,0 @@
-name = "gnatprove"
-version = "11.2.3"
-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-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
-hashes = ["sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
-hashes = ["sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
-hashes = ["sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"]
@@ -1,22 +0,0 @@
-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,25 +0,0 @@
-name = "gprbuild"
-version = "22.0.1"
-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"
-
-[configuration]
-disabled = true
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz"
-hashes = ["sha256:24dfc1b54655edd4f85589e7e7dbd0bee24d087f25d5b0f13d3224fe7acf85b8"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-darwin-22.0.0-1.tar.gz"
-hashes = ["sha256:b1220e2b24ce8fdb28344ed9c79c81c1fd2e7e3b05839d35167ceda54050def3"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-windows64-22.0.0-1.tar.gz"
-hashes = ["sha256:c842bbc58b28ad0f1c1f7ba147d59e2c9fc4b8f74355ac734831bc779159b47e"]
@@ -1,27 +0,0 @@
-description = "Hardware Abstraction Layer (HAL)"
-
-long-description = '''# hal
-
-Hardware Abstraction Layer: interfaces definitions to abstract access to common
-hardware devices and protocols
-
-This crate is a snapshot of the `hal` in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "hal"
-version = "0.3.0"
-licenses = "BSD-3-Clause"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["hal.gpr"]
-tags = ["embedded", "hal", "nostd"]
-
-[origin]
-commit = "095ae5140d55ba5bc3905295d1029e79e1f11d43"
-url = "git+https://github.com/Fabien-Chouteau/hal.git"
-
@@ -1,4 +1,4 @@
-description = '"Hello, world!" demonstration project'
+description = "\"Hello, world!\" demonstration project"
 name = "hello"
 version = "1.0.1"

@@ -1,19 +0,0 @@
-name = "hmac"
-description = "HMAC implemented in Ada"
-version = "1.0.0"
-website = "https://github.com/AntonMeep/hmac"
-licenses = "ISC"
-tags = ["cryptography", "security", "hmac"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[[depends-on]]
-sha1 = "^1.0.0"
-sha2 = "^1.1.0"
-
-[origin]
-commit = "d88a7b576bb62ad7d5c6375424107f132879b34b"
-url = "git+https://github.com/AntonMeep/hmac.git"
-
@@ -1,19 +0,0 @@
-name = "hmac"
-description = "HMAC implemented in Ada"
-version = "2.0.0"
-website = "https://github.com/AntonMeep/hmac"
-licenses = "ISC"
-tags = ["cryptography", "security", "hmac"]
-
-authors = ["Anton Fediushin"]
-maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
-maintainers-logins = ["AntonMeep"]
-
-[[depends-on]]
-sha1 = "^2.0.0"
-sha2 = "^2.0.0"
-
-[origin]
-commit = "d8046c212cc27744710cfa075462ac4ff766f1c6"
-url = "git+https://github.com/AntonMeep/hmac.git"
-
@@ -1,13 +0,0 @@
-description = "A standalone, portable Ada package for configuration files"
-name = "ini_files"
-version = "10.0.0"
-licenses = "MIT"
-authors = ["Rolf Ebert", "Gautier de Montmollin"]
-website = "https://sourceforge.net/p/ini-files/"
-maintainers = ["rolf.ebert.gcc@gmx.de", "gdemont@hotmail.com"]
-maintainers-logins = ["RREE", "zertovitch"]
-project-files = ["ini_files.gpr"]
-
-[origin]
-url = "https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-10.zip"
-hashes = ["sha512:6f2bab21ce53d8b4448d30c0fc1b0bd4ec070120f6343ff176dbec338530e8d7948e14fd8e991b26f108f60cd7dc44531a537c8ca087c66ffca4d9993de32f60"]
@@ -1,23 +0,0 @@
-name = "itsybitsy_bsp"
-description = "Board support package for Arduino ItsyBitsy"
-version = "0.0.3"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1"  # Added by alr
-[[depends-on]]  # Added by alr
-rp2040_hal = "^1"  # Added by alr
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "233852ed7994c73082aa996fd50ce878cdfae5f9"
-url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
-
@@ -1,20 +0,0 @@
-name = "itsybitsy_bsp"
-description = "Board support package for Arduino ItsyBitsy"
-version = "0.0.4"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
-website = "https://pico-doc.synack.me/"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1"  # Added by alr
-[[depends-on]]  # Added by alr
-rp2040_hal = "^1"  # Added by alr
-
-[origin]
-commit = "7d01d9d21b36f10312c11a5b9d682feee85645de"
-url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
-
@@ -1,20 +0,0 @@
-name = "itsybitsy_rp2040_bsp"
-description = "Board support package for Arduino ItsyBitsy RP2040"
-version = "0.1.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
-website = "https://github.com/hgrodriguez/itsybitsy_rp2040_bsp"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1"  # Added by alr
-[[depends-on]]  # Added by alr
-rp2040_hal = "^1"  # Added by alr
-
-[origin]
-commit = "857ffafeeeb3419cf492e591b6e577394f94db9e"
-url = "git+https://github.com/hgrodriguez/itsybitsy_rp2040_bsp.git"
-
@@ -1,24 +0,0 @@
-name = "json"
-description = "An Ada 2012 library for parsing JSON"
-version = "5.0.1"
-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]
-hashes = [
-"sha256:31d0299f39e7e432d152159fec7381c38616faf67ebbac0025e8e9f27b626114",
-"sha512:1d485dd979c009a38ee5ed9b0544c52ff0c512021b4a37057c96e1c8757ccbf641e76edc75f9cb9e58bc9b422d7cb2b202635897792051800e941d3460e3f50e",
-]
-url = "https://github.com/onox/json-ada/releases/download/v5.0.1/json-5.0.1.tgz"
@@ -1,24 +0,0 @@
-name        = "lace"
-description = "Contains a set of low level re-usable Ada components."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-long-description = "\nContains:\n\n   - lace.Events    : Provides a 'subject/oberver' 'event/response' facility.\n   - lace.Any       : Provides an interface to allow heterogenous containers.\n   - lace.fast_Pool : Provides a generic which allows fast allocation/deallocation.\n   - lace.Text      : Provides a DSA friendly set of text operations.\n\n"
-
-project-files = ["library/lace.gpr"]
-
-[[depends-on]]
-lace_shared = "~0.1"
-
-[origin]
-hashes = [
-"sha256:347e46279842554aea4cf2a2113ced3ec417b371140a4e821f7ccbf52600bd91",
-"sha512:d1f6ad687497403df1efa7112513869273d1670505eab95b274616632a56d4b750c8fb8e7c6b6ff488823ffe3ec1438ec2152695c2dddcbc04468c30d3ed1539",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace-0.1.0.tgz"
-
@@ -1,22 +0,0 @@
-name        = "lace_box2d"
-description = "Provides a thin Ada binding to the 'box2d' C++ project."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/box2d_thin.gpr"]
-
-[[depends-on]]
-lace_c_math = "~0.1"
-
-[origin]
-hashes = [
-"sha256:fecf3d54be600eca17eadd1b49ad5c16bf98f07bf5f21738c106c5d22a8cc863",
-"sha512:4dee47dbb76f612e130c39d0c4dd0c10b281118bc3d87451beab4f8abcde85730dbb02873fddd8a82ac1290a0a8ed3ef0844edba77af33616625532726c029da",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_box2d-0.1.0.tgz"
-
@@ -1,26 +0,0 @@
-name        = "lace_bullet"
-description = "Provides a thin Ada binding to the 'bullet' C++ project."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/bullet_thin.gpr"]
-
-[[depends-on]]
-lace_c_math = "~0.1"
-libbullet   = "*"
-
-[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
-append = "${DISTRIB_ROOT}/mingw64/include/bullet"
-
-[origin]
-hashes = [
-"sha256:2c009b790f92ee15fd63bde07bb3ba0747d3fd0d7465be28c12e22b9b3dc3475",
-"sha512:cec42c7241bca4ca854d5dbe93df5ad4615a4d5b092fc79ac1cac2caf691e6f223e50bf10434d51731e78f051c9a252306dbe2f4e267c61a5af8a7c7d7ea5dd6",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_bullet-0.1.0.tgz"
-
@@ -1,23 +0,0 @@
-name        = "lace_c_math"
-description = "A binding to the C math code used by box2d & bullet bindings."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/c_math_thin.gpr"]
-
-[[depends-on]]
-lace_math = "~0.1"
-lace_swig = "~0.1"
-
-[origin]
-hashes = [
-"sha256:e47df28c1422a9e75c430d0386c6f4ae89f049853e6cc902ec1fb8dfd7fe21be",
-"sha512:5188f8bafe18fd1b04ad2dd5f915d4974c07ff99987aca3b5161970a7c3e6231b4710f32adc4c70fbef015128b0feff7ef138c96b8dd46d346f5cdd0826359ef",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_c_math-0.1.0.tgz"
-
@@ -1,23 +0,0 @@
-name        = "lace_collada"
-description = "A Collada parser."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/collada.gpr"]
-
-[[depends-on]]
-lace_math = "~0.1"
-lace_xml  = "~0.1"
-
-[origin]
-hashes = [
-"sha256:99d5bbb7863743b5f6a31576b80c15325d110d1a12ccfaf024565f77271d6481",
-"sha512:03fcc505057e6d4f299f5da67e9d47ea9abe2481cbd269a07222eb697eba08942a5714eb69573794b533d943696fb83828e9aeced09001eb60ef11286b29499c",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_collada-0.1.0.tgz"
-
@@ -1,24 +0,0 @@
-name        = "lace_gel"
-description = "A 2D/3D game engine library (GEL)."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/gel.gpr"]
-
-[[depends-on]]
-lace_opengl  = "~0.1"
-lace_physics = "~0.1"
-sdlada       = "2.5.4-1"
-
-[origin]
-hashes = [
-"sha256:2c333035042e866b241199160dea3895d21558308eaee523150644e62cae6cfa",
-"sha512:570ae6fe2f8889ac745263f5f5b582ba534b65e9ec40fc167c02e5ba3c0fa7a83ce54c06259f0ec43d6a122f569bf9aec1c79dff7a917732a39f21eaa5f1c1a2",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel-0.1.0.tgz"
-
@@ -1,24 +0,0 @@
-name        = "lace_gel_animation_demo"
-description = "A demo of GEL's human animation."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-executables = ["launch_human_rig_demo"]
-
-project-files = ["human_rig_demo.gpr"]
-
-[[depends-on]]
-lace_gel = "~0.1"
-
-[origin]
-hashes = [
-"sha256:55b7e3bc98923a759ae9745f3e2b8f3fe67009795ff4f2e232bd1d35709b6de1",
-"sha512:57a73b273bfada9e4a442b977741c5cedfff4117d91254496e9df54d16298877e25467f4c6b22458146438697ab4a51d10bd2fbf85b42a9e147043b6fe535851",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel_animation_demo-0.1.0.tgz"
-
@@ -1,24 +0,0 @@
-name        = "lace_gel_full_demo"
-description = "A demo of most of GEL's features."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-executables = ["launch_full_demo"]
-
-project-files = ["full_demo.gpr"]
-
-[[depends-on]]
-lace_gel = "~0.1"
-
-[origin]
-hashes = [
-"sha256:4610c5882117d0c041c95801a3e62220a8ce7be58104ea87493dd7a73541adae",
-"sha512:35462a04b3dea65f352f2459d556d04a918b899261e1c09cd5edea860ff6eafd006886627f61d7c1b1d124bd9ce56010f7d4ffeed2997557454648bcf1f3f8c0",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_gel_full_demo-0.1.0.tgz"
-
@@ -1,24 +0,0 @@
-name        = "lace_math"
-description = "Provides an Ada package family covering pure and applied mathematics."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-long-description = "\nContains:\n\n   - Pure\n      - Arithmetic (covers quantity)\n      - Algebra    (covers structure)\n      - Geometry   (covers space)\n      - Analysis   (covers change)\n\n   - Applied\n      - Statistics\n      - Computational\n\n"
-
-project-files = ["library/math.gpr"]
-
-[[depends-on]]
-lace_shared = "~0.1"
-
-[origin]
-hashes = [
-"sha256:3ab6719722b53ff7b42f01be6bbd46c46a53bc57d308bba060d06ba631a78cbc",
-"sha512:4e49a173f9db9dabac1344f09e3310637b8b2c2b6cecf0f18a946271a5b39169465ab6e1f2bc71e05b27e2a7edc3fd7c6e71bd29088853cb41abbec0686e98d3",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_math-0.1.0.tgz"
-
@@ -1,29 +0,0 @@
-name        = "lace_opengl"
-description = "Provides an openGL engine."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/opengl.gpr"]
-
-[[depends-on]]
-lace_collada = "~0.1"
-libfreetype = "^2"
-
-[depends-on."case(os)"."windows"]
-libmesa = "*"
-
-[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
-append = "${DISTRIB_ROOT}/mingw64/include/freetype2"
-
-[origin]
-hashes = [
-"sha256:672a64157d9d310dad6c7811062f2a2b19d8fcfb28d99c9f1a125a700eba23c2",
-"sha512:57e152f18ba80988d166f61052ada919a2b703bb2c17a10cdf0a7d449fd9083d352c19ce5e2fc60ccd67023425bb5ee2de585da4a3af22ab247cf629b367d260",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_opengl-0.1.0.tgz"
-
@@ -1,24 +0,0 @@
-name        = "lace_physics"
-description = "Provides 2D/3D rigid body dynamics simulation."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/physics.gpr"]
-
-[[depends-on]]
-lace        = "~0.1"
-lace_bullet = "~0.1"
-lace_box2d  = "~0.1"
-
-[origin]
-hashes = [
-"sha256:d1cb6621da314df578ad27c2c4ecfef1685191192f373da30c1acd9ed60fe4c9",
-"sha512:44017b6e684204c65e7393cb5e06963ad21ba4be077dcc0f9c0332d06b1c861cdc2a2d926c23063f6e7ce1f5058b28fa30a04802fca6bd9521b1b5ba11aca511",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_physics-0.1.0.tgz"
-
@@ -1,17 +0,0 @@
-name        = "lace_shared"
-description = "Default settings for GPR files in the Lace project."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-[origin]
-hashes = [
-"sha256:bc8f153419f9d5e558ff92de6e1a1ec7b07cf35fb3e9371b5f9a2b1794009b01",
-"sha512:d121830a9e22923dd4e79ff27eb21be266d7c78605544dab297576ea1922249bbb594363a9ee34b2fe26f75625f54d33315b46ed090a524f90a0dbc46b67a810",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_shared-0.1.0.tgz"
-
@@ -1,19 +0,0 @@
-name        = "lace_swig"
-description = "Provides packages required by bindings produced by the 'swig4ada' tool."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/swig.gpr"]
-
-[origin]
-hashes = [
-"sha256:ddbc016d405eb85410bfd156b16e3bd421754e2ee7f3ca2b73d167ed884ebe22",
-"sha512:2f49c187816cb567136d3612692c2e726d539e9d3c59372905945a5ef07424f0670307271d3c9727eb1298ea84fda56b833ba8196e7aac247e8361e176ce017c",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_swig-0.1.0.tgz"
-
@@ -1,23 +0,0 @@
-name        = "lace_xml"
-description = "Provides simple XML read/write support."
-version     = "0.1.0"
-
-authors            = ["Rod Kay"]
-maintainers        = ["Rod Kay <rodakay5@gmail.com>"]
-maintainers-logins = ["charlie5"]
-
-licenses = "ISC"
-
-project-files = ["library/xml.gpr"]
-
-[[depends-on]]
-lace_shared = "~0.1"
-libexpat    = "*"
-
-[origin]
-hashes = [
-"sha256:b6aa904a368c5e56323203633b139613569ec31f780a66ee9af2e350b6d2de7d",
-"sha512:bbec9447d5acc2831b2626fd13eda605b4e035cf445c8f9b235d4a2aba146b1df1bc1f88a0169f27aa0026050e1d4cbc7949d83bf93ed74259627a6d7f3b8816",
-]
-url = "https://github.com/charlie5/lace-alire/releases/download/v0.1.0/lace_xml-0.1.0.tgz"
-
@@ -1,22 +0,0 @@
-name = "langkit_support"
-description = "Runtime support library for Langkit-generated libraries"
-version = "22.0.0"
-
-authors = ["AdaCore"]
-maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-maintainers-logins = ["pmderodat"]
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-website = "https://github.com/AdaCore/langkit"
-
-[gpr-set-externals."case(toolchain)".system]
-LIBRARY_TYPE = "relocatable"
-
-[origin]
-url = "https://github.com/AdaCore/langkit/releases/download/v22.0.0/langkit_support-22.0.0.tar.gz"
-archive-name = "langkit_support-22.0.0.tar.gz"
-hashes = ["sha512:d43df3a95d87cdbdfbe94dd353fbc7dc746f27e6d71576cfbeca5f3972d37832dd406b5945623da2e93b18133baf6c6bf12d1b7a14fd2e403d2c6f2f41cb6b3b"]
-
-[[depends-on]]
-gnatcoll = "^22"
-[[depends-on]]
-gnatcoll_iconv = "^22"
@@ -1,24 +0,0 @@
-name = "libadalang"
-description = "Ada semantic analysis library"
-version = "22.0.0"
-
-authors = ["AdaCore"]
-maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-maintainers-logins = ["pmderodat"]
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-website = "https://github.com/AdaCore/libadalang"
-tags = ["libadalang", "static-analysis"]
-
-[origin]
-url = "https://github.com/AdaCore/libadalang/releases/download/v22.0.0/libadalang-22.0.0.tar.gz"
-archive-name = "libadalang-22.0.0.tar.gz"
-hashes = ["sha512:5f365aa471ed22cd30f3273ab8aa253cb5f1d6be23dd48eb29e6d776e07729412e75d9820447eb7626dce16fcde4f05cf40811cd7b96722e9c0c5a0315861210"]
-
-[[depends-on]]
-gnatcoll = "^22"
-[[depends-on]]
-gnatcoll_gmp = "^22"
-[[depends-on]]
-gnatcoll_iconv = "^22"
-[[depends-on]]
-langkit_support = "^22"
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Alejandro R. Mosteo	440b95005c	Check that direct dependencies exist	2021-09-16 16:40:27 +02:00
Alejandro R. Mosteo	64013fc279	Use `alr test` instead of `alr build` This way, test actions will get executed when they are appropriate instead of a plain build.	2021-09-16 16:40:16 +02:00