Add jupyter_kernel (#169 )

2020-10-14 13:23:46 +02:00
340 changed files with 495 additions and 4213 deletions
@@ -19,7 +19,6 @@ jobs:
          - ubuntu-latest
          - windows-latest
        tag:
-          - arch-rolling
          - centos-latest-community-latest
          - community-current          
          - debian-stable          
@@ -28,8 +27,6 @@ jobs:
        exclude: # inclusions don't allow to add arrays of values to a scenario
          - os: ubuntu-latest
            tag: ""
-          - os: macos-latest
-            tag: arch-rolling
          - os: macos-latest
            tag: centos-latest-community-latest
          - os: macos-latest
@@ -38,8 +35,6 @@ jobs:
            tag: debian-stable
          - os: macos-latest
            tag: ubuntu-lts
-          - os: windows-latest
-            tag: arch-rolling
          - os: windows-latest
            tag: centos-latest-community-latest
          - os: windows-latest
@@ -61,25 +56,18 @@ jobs:

    - name: Set up GNAT toolchain (FSF)
      if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: ada-actions/toolchain@dev
      with:
        distrib: fsf # faster install?

    - name: Set up GNAT toolchain (Community)
      if: matrix.os != 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: ada-actions/toolchain@dev
      with:
        distrib: community

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

    - name: Test crate (Linux)
      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -87,11 +75,10 @@ jobs:
      with:
        image: alire/gnat:${{matrix.tag}}
        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
+      run: ./alire/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,69 +0,0 @@
-name: Toolchain
-# Build the submitted crate with a native toolchain from Alire
-
-on:
-  pull_request:
-    paths:
-      - 'index/**.toml'
-
-jobs:
-
-  build:
-    name: ${{ matrix.os }}
-
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      matrix:
-        os: 
-          - macos-latest
-          - ubuntu-latest
-          - windows-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 detectors (in both scripts/gh-build-crate.sh and
-        # 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.
-
-    - name: Set up GNAT toolchain (FSF)
-      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: fsf # faster install?
-
-    - name: Set up GNAT toolchain (Community)
-      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: community
-
-    # 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
-
-    # 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
-
-    - 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
-
-    - name: Test crate
-      run: scripts/gh-build-crate.sh
-      shell: bash
@@ -5,32 +5,11 @@ jobs:
    runs-on: ubuntu-latest    
    steps:
    - uses: actions/checkout@master
-
    - uses: alire-project/check-author@master
      with:
        repo-token: "${{ secrets.GITHUB_TOKEN }}"
-
-    - name: Set up stable `alr`
-      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@latest-stable
-
-    - name: Set up GNAT for devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: fsf
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@latest-devel
-
+    - uses: alire-project/setup-alire@dev
    - run: alr index --list
-
    - run: alr index --add=. --name=local_index
-
-    # Check index contents for unknown config variables
-    - run: alr index --check
-
    - run: alr index --update-all 
-
-    - run: alr search --crates
+    - run: alr list
@@ -1,10 +1,61 @@
-Thanks for your interest in the Alire project. Please find more information at
-one of these sources:
+Thanks for your interest in the Alire project. Here are some pointers for effective contributions.

- Main repository (development version): https://github.com/alire-project/alire
- Website (stable release information): https://alire.ada.dev
- Live discussion: https://gitter.im/ada-lang/Alire
+# Contributing crates

-Concretely, the documentation about submission of releases is found at 
+The process for submitting a new crate or release is currently manual, although automated support through the `alr publish` command is in the roadmap.
+The sequence of steps to take is described after some introductory concepts;
+you can also ask for help in the [gitter channel](https://gitter.im/ada-lang/Alire) of the project.

- https://alire.ada.dev/docs/#publishing-your-projects-in-alire
+## General concepts
+
+The community index is a collection of [TOML](https://github.com/toml-lang/toml)
+files stored in the [alire-index](https://github.com/alire-project/alire-index) repository,
+under the [index](https://github.com/alire-project/alire-index/blob/master/index) directory.
+Each file is named after the crate it contains.
+A crate contains the description of a project, with other metadata,
+and the list of available releases (identified by their
+[semantic version](https://semver.org/)).
+
+The complete specification of such TOML files is available in this [document](https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.md).
+
+## New crates and releases
+
+Contributing a new crate is achieved through a pull-request against the index repository,
+in which the TOML file for the crate must be provided. Similarly, a new release is published by
+submitting a pull-request with the necessary modifications to the crate file.
+
+### Index branches
+
+The community index is supported through two kinds of branches:
+
+- `stable-x.x.x` branches are used by stable versions of `alr`.
+- `devel-x.x.x` branches are used to introduce breaking changes in the index format, during the development of `alr`.
+
+Your `alr` version knows which branch to use, so you do not need to manually select one. However, when submitting crates/releases as pull requests, you must decide to which branch they will be added: selecting the latest stable branch results in the release becoming immediately available to the latest stable `alr`. Conversely, using the latest development branch will make the releases available for testing by unstable clients, and will become generally available with the next stable release of `alr`.
+
+Note that, as of this writing (Dec 2019), only development branches exist, until the first stable release of `alr` is made.
+
+## Checks on contributions
+
+Each crate is "owned" by a list of maintainers, provided with the `maintainers-logins` property of the crate file. After the initial submission, which will be manually approved (see the [POLICY](https://github.com/alire-project/alire-index/blob/master/POLICY.md) for details), the maintainers of a crate are the only people allowed to submit new releases or metadata modifications to the corresponding crate file.
+
+# Detailed steps
+
+These steps describe how to submit a new crate. They are essentially the same for submitting a new release (in the latter case, the existing crate file must be edited instead of created).
+
+
+1. Prepare a source archive (zip, tar) with the release sources and project files.
+    1. This archive **must not** contain the `alire` directory generated by `alr` in working directories. The `alire` directory is designed to be put in your VCS ignore list.
+    1. The archive **must** contain a single directory (name not important) containing, in turn, the sources. This is the kind of archives automatically generated by GitHub, GitLab, Sourceforge... or through `git archive`.
+1. Compute an integrity hash for the archive with `alr publish --hash <URL>`
+    1. The URL can be remote or local (`file://`), although using the final online file is recommended.
+    1. The final online file should be immutable. Note that online autogenerated archives can be found currently in the index, but should be avoided whenever possible (because of lack of immutability guarantees, see [this conversation](https://github.community/t5/How-to-use-Git-and-GitHub/Ensuring-identical-tarballs-from-releases/m-p/34196/highlight/true#M8997)). In the future, `alr publish` will offer support to generate and upload such files more conveniently.
+1. Fill the crate file providing all the necessary information (`[general]` section), dependencies (`depends-on`) and possibly excluded platforms (`available`). See, for example, the [hello world](https://github.com/alire-project/alire-index/blob/master/index/he/hello.toml) crate, or the [empty skeleton](https://github.com/alire-project/alire-index/blob/master/templates/skeleton.toml) template.
+1. Place the crate file in the appropriate directory of your locally checked out index repository, and create a new pull request. The detailed substeps are the usual for submitting contributions in GitHub:
+    1. Fork the community index to your GitHub account.
+    1. Clone your fork locally and make the changes locally.
+    1. Commit and push the changes to your fork.
+    1. Create the pull request from your fork against the community repository through the GitHub web interface (or the [`hub`](https://github.com/github/hub) tool).
+        1. The base branch you select for the pull request will determine where your changes will become available; see the section on index branches for details.
+
+Once the pull request is verified and merged, the new crate or release will become available for normal use. The open source Ada ecosystem needs all the help it can get, so happy contributing!
@@ -1,13 +1,23 @@
-# Alire Community Index
+# Alire Catalog

 [![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Alire)

-This repository hosts the official community-maintained index to be used with the `alr` tool. 
+This repository hosts the official community-maintained index of Ada projects
+to be used with the `alr` tool. Please visit
+https://github.com/alire-project/alire to download `alr`.

-Please visit https://github.com/alire-project/alire to download `alr`.
+## Contributing crates to the index

-Please open a pull request to submit a new release (read
-further [here](https://alire.ada.dev/docs/#publishing-your-projects-in-alire)
-about it). 
+Please check the information in the [CONTRIBUTING.md](CONTRIBUTING.md) file.

-To report an issue, open it at https://github.com/alire-project/alire/issues
+## TODO
+
+Here are sources of projects that might be interesting to add to this index:
+
+* [awesome-ada](https://github.com/ohenley/awesome-ada) (Top notch!)
+* [GitHub projects, sorted by star
+  count](https://github.com/search?o=desc&l=Ada&q=ada&s=stars&type=Repositories)
+* [AdaIC's Free Tools and
+  Libraries](http://www.adaic.org/ada-resources/tools-libraries/)
+* [Libraries in the Ada Programming
+   WikiBook](https://en.wikibooks.org/wiki/Ada_Programming/Libraries)
@@ -2,7 +2,7 @@ description = "Alex's Ada Assortment (of miscellaneous utilities)"
 name = "aaa"
 version = "0.1.0"
 authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
+licenses = ["LGPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]

@@ -1,26 +0,0 @@
-name = "aaa"
-version = "0.2.1"
-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 vectors.
- Simple subprocess spawning.
-"""
-
-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 = "103f0d1954aa1181542baa939bae44ca98bff05f"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -1,27 +0,0 @@
-name = "aaa"
-version = "0.2.3"
-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 vectors.
- 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 = "12201a008c07e6ef0e4f21d327c941bed97d7166"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
 maintainers-logins = [
    "NicolaiRuckel", "medsec"
 ]
-licenses = "GPL-3.0-only"
+licenses = ["GPL 3.0"]
 project-files = ["ada_fuse.gpr"]

 [gpr-externals]
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
 maintainers-logins = [
    "NicolaiRuckel", "medsec"
 ]
-licenses = "GPL-3.0-only"
+licenses = ["GPL 3.0"]
 project-files = ["ada_fuse.gpr"]

 [gpr-externals]
@@ -1,17 +0,0 @@
-name = "ada_lua"
-description = "An Ada binding for lua"
-version = "0.1.0"
-authors = ["Nicolas Roche <roche@adacore.com>"]
-maintainers = ["Nicolas Roche <roche@adacore.com>"]
-maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
-website = "https://github.com/adacore/ada-lua"
-licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
-tags = ["lua", "binding", "script"]
- 
-[[depends-on]]
-liblua = "~5.3"
-
-[origin]
-commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
-url = "git+https://github.com/AdaCore/ada-lua.git"
-
@@ -3,7 +3,7 @@ name = "ada_pretty"
 version = "1.0.0"
 website = "https://github.com/reznikmm/ada-pretty/"
 authors = ["Maxim Reznik"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
 maintainers-logins = ["reznikmm"]
 project-files = ["gnat/ada_pretty.gpr"]
@@ -1,8 +1,8 @@
-description = "TOML parser for Ada"
+description = "TOML parser for Ada "
 name = "ada_toml"
 version = "0.1.0"
 authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 maintainers = ["pmderodat@kawie.fr"]
 maintainers-logins = ["pmderodat"]
 project-files = ["ada_toml.gpr"]
@@ -1,19 +0,0 @@
-description = "TOML parser for Ada"
-name = "ada_toml"
-version = "0.2.0"
-authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-licenses = "BSD-3-Clause"
-maintainers = ["pmderodat@kawie.fr"]
-maintainers-logins = ["pmderodat"]
-project-files = ["ada_toml.gpr"]
-
-[gpr-externals]
-ADA_TOML_BUILD_MODE = ["dev", "prod"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[gpr-set-externals]
-ADA_TOML_BUILD_MODE = "prod"
-
-[origin]
-url = "https://github.com/pmderodat/ada-toml/archive/v0.2.tar.gz"
-hashes = ["sha512:f07de4871e633e1be0fd757daa5996dd8ea2d56eae44bbf27358518b58b6cd47274c9d1686fe669da4c464baf5122c707f9990cfdef7fa8c0b9504558e85dbcb"]
@@ -1,110 +0,0 @@
-description = "TOML parser for Ada"
-name = "ada_toml"
-version = "0.3.0"
-authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-licenses = "BSD-3-Clause"
-maintainers = ["pmderodat@kawie.fr"]
-maintainers-logins = ["pmderodat"]
-project-files = ["ada_toml.gpr"]
-long-description = """
-ada-toml: TOML parser for Ada
-=============================
-
-`ada-toml` is a pure Ada library for parsing and creating
-[TOML](https://github.com/toml-lang/toml#toml) documents. It conforms to the
-[version 1.0.0](https://toml.io/en/v1.0.0) of the format standard.
-
-
-Quick tutorial
--------------
-
-All basic types and subprograms are in the `TOML` package. All "nodes" in a
-TOML documents are materialized using the `TOML.TOML_Value` type. Since TOML
-values make up a tree, this type has reference semantics. This means that
-modifying a TOML node does not modify the corresponding `TOML_Value` value
-itself, but rather the TOML value that is referenced.
-
-Parsing a TOML file is as easy as using the `TOML.File_IO.Load_File` function:
-
-```ada
-declare
-   Result : constant TOML.Read_Result :=
-      TOML.File_IO.Load_File ("config.toml");
-begin
-   if Result.Success then
-      Ada.Text_IO.Put_Line ("config.toml loaded with success!");
-   else
-      Ada.Text_IO.Put_Line ("error while loading config.toml:");
-      Ada.Text_IO.Put_Line
-         (Ada.Strings.Unbounded.To_String (Result.Message));
-   end if;
-end;
-```
-
-Each TOML value has kind, defining which data it contains (a boolean, an
-integer, a string, a table, ...). To each kind, one or several primitives are
-associated to let one process the underlying data:
-
-```ada
-case Result.Kind is
-   when TOML.TOML_Boolean =>
-      Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Boolean'Image);
-
-   when TOML.TOML_Integer =>
-      Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Integer'Image);
-
-   when TOML.TOML_String =>
-      Ada.Text_IO.Put_Line ("Boolean: " & Result.As_String);
-
-   when TOML.TOML_Array =>
-      Ada.Text_IO.Put_Line ("Array of " & Result.Length & " elements");
-
-   when others =>
-      null;
-end case;
-```
-
-There are also primitives to build TOML values:
-
-```ada
-declare
-   Bool : constant TOML.TOML_Value := TOML.Create_Boolean (False);
-   Int  : constant TOML.TOML_Value := TOML.Create_Integer (10);
-   Str  : constant TOML.TOML_Value := TOML.Create_String ("Hello, world");
-
-   Table : constant TOML.TOML_Value := TOML.Create_Table;
-begin
-   Table.Set ("bool_field", Bool);
-   Table.Set ("int_field", Int);
-   Table.Set ("str_field", Str);
-end;
-```
-
-And finally one can turn a tree of TOML nodes back in text form:
-
-```ada
-Ada.Text_IO.Put_Line ("TOML document:");
-Ada.Text_IO.Put_Line (Table.Dump_As_String);
-```
-
-
-Contributing
------------
-
-The development of `ada-toml` happens on
-[GitHub](https://github.com/pmderodat/ada-toml).  Everyone is welcome to
-contribute to this project: please read our [contribution
-rules](https://github.com/pmderodat/ada-toml/tree/master/CONTRIBUTING.rst) if
-you consider doing so.
-"""
-
-[gpr-externals]
-ADA_TOML_BUILD_MODE = ["dev", "prod"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[gpr-set-externals]
-ADA_TOML_BUILD_MODE = "prod"
-
-[origin]
-url = "https://github.com/pmderodat/ada-toml/archive/v0.3.tar.gz"
-hashes = ["sha512:862d230bf28c393243b01425b259a2fd5d1cf33d3da521eea5f5533691efb46cd3fa335941bcd768b5da635896737b5ee51cbd593d84df58785db6d4c836afd2"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
 name = "ada_voxel_space_demo"
 version = "1.0.0"
 executables = ["main"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["ada_voxel_space_demo.gpr"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
 name = "ada_voxel_space_demo"
 version = "1.0.1"
 executables = ["main"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["ada_voxel_space_demo.gpr"]
@@ -1,18 +0,0 @@
-name = "adabots"
-description = "Learn Ada by programming Minecraft robots"
-version = "1.0.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`
-
-[origin]
-commit = "159c2547f3a059d83a183ca70b75fee572f7fbaf"
-url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-
@@ -1,19 +0,0 @@
-name = "adabots"
-description = "Learn Ada by programming Minecraft robots"
-version = "1.0.1"
-
-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`
-
-[origin]
-commit = "a31a416c1f09e59ab1d1ab0b132aca225c66be48"
-url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-
@@ -3,7 +3,7 @@ name = "adayaml"
 version = "0.2.0"
 website = "https://ada.yaml.io/"
 authors = ["Felix Krause"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 project-files = ["yaml.gpr", "yaml-utils.gpr"]
@@ -4,7 +4,7 @@ version = "0.3.0"
 website = "https://ada.yaml.io/"
 authors = ["Felix Krause"]
 executables = ["yaml-server"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 project-files = ["yaml.gpr", "yaml-utils.gpr", "yaml-annotation_processor.gpr", "yaml-server.gpr"]
@@ -13,7 +13,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.

 name = "adl_middleware"
 version = "0.1.0"
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 authors=["AdaCore"]
 website="https://github.com/AdaCore/Ada_Drivers_Library/"
 maintainers = ["chouteau@adacore.com"]
@@ -1,7 +1,7 @@
 description = "Ada Database Objects (Core library)"
 name = "ado"
 version = "2.0.0"
-licenses = "Apache-2.0"
+licenses = ["Apache 2.0"]
 maintainers = ["Stephane.Carrez@gmail.com"]
 maintainers-logins = ["stcarrez"]
 project-files = [".alire/ado.gpr"]
@@ -1,7 +1,7 @@
 description = "Ada Database Objects (PostgreSQL)"
 name = "ado_postgresql"
 version = "2.0.0"
-licenses = "Apache-2.0"
+licenses = ["Apache 2.0"]
 maintainers = ["Stephane.Carrez@gmail.com"]
 maintainers-logins = ["stcarrez"]
 project-files = [".alire/postgresql/ado_postgresql.gpr"]
@@ -1,7 +1,7 @@
 description = "Ada Database Objects (SQLite)"
 name = "ado_sqlite"
 version = "2.0.0"
-licenses = "Apache-2.0"
+licenses = ["Apache 2.0"]
 maintainers = ["Stephane.Carrez@gmail.com"]
 maintainers-logins = ["stcarrez"]
 project-files = [".alire/sqlite/ado_sqlite.gpr"]
@@ -2,7 +2,7 @@ description = "Ada General Purpose Library with a robotics flavor"
 name = "agpl"
 version = "1.0.0"
 authors = ["alejandro@mosteo.com"]
-licenses = "LGPL-3.0-only"
+licenses = ["LGPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]

@@ -1,74 +0,0 @@
-description = "Ada Industrial Control Widgets Library"
-long-description = """
-This crate provides a library for designing high-quality industrial control
-widgets for Ada applications. The software is based on
-[GtkAda](https://docs.adacore.com/live/wave/gtkada/html/gtkada_rm/index.html),
-Ada bindings to [Gtk+](https://www.gtk.org/), and
-[cairo](https://www.cairographics.org/manual/index.html).
-
-The key features of the library are:
-
-* Widgets composed of transparent layers drawn by cairo
-* Fully scalable graphics
-* Support of time controlled refresh policy for real-time and heavy-duty applications
-* Caching graphical operations
-* Stream I/O support for serialization and deserialization
-* Ready-to-use gauge, meter, oscilloscope widgets
-* Editor widget for WYSIWYG design of complex dashboards
-
-For further information, visit the
-[AICWL website](http://www.dmitry-kazakov.de/ada/aicwl.htm).
-
-Maintainer's note:
-
-This Alire crate is packaged in a rather minimalistic way to keep dependencies
-on external libraries at a minimum. The crate's definition covers the core
-functionality of AICWL, though, so it should be sufficient for most needs.
-
-For example, the original distribution has references to
-[Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) which are
-not strictly necessary for the core functionality of the library.
-"""
-name = "aicwl"
-version = "3.24.1"
-authors = ["Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>"]
-website = "http://www.dmitry-kazakov.de/ada/aicwl.htm"
-
-# GMGPLaccording to website (http://www.dmitry-kazakov.de/ada/aicwl.htm)
-# LGPL according to sourceforge (https://sf.net/projects/aicwl)
-licenses = "GPL-2.0-or-later WITH GCC-exception-2.0" 
-
-maintainers = ["Vinzent \"Jellix\" Saranen <vinzent@heisenbug.eu>"]
-maintainers-logins = ["Jellix"]
-project-files = ["sources/aicwl.gpr",       # The library itself
-                 "sources/aicwl-editor.gpr" # UI editor component
-                 # Examples and tests omitted here
-                 ]
-
-tags = ["widgets", "gauge", "graphics", "ui", "gtk"]
-
-[gpr-externals]
-Legacy      = ["Ada95", "Ada2005", "Ada2012"] # defaults to "Ada2012"
-Development = ["Debug", "Release", "Profile"] # defaults to "Debug"
-
-# Target_OS   = ["Windows", "Windows_NT", "Linux", "UNIX", "OSX", "FreeBSD", "auto"]
-# arch        = ["x86_64", "i686", "armhf", "aarch64", "auto"]
-#
-# Note: Arch and Target_OS are determined automatically from Project'Target, so
-#       no need to have them set explicitely.
-#
-# Object_Dir  = [".", "nested"]
-#
-# Note: Object_Dir works as follows: If it's ".", it will remain so, if it's
-#       "nested", Object_Dir will become roughly obj/{OS}/{arch}/{Development},
-#       e.g. "obj/linux/x86_64/debug", all other cases result in Object_Dir
-#       being unchanged.
-#       Hence we should leave it as is (the default is "."), trusting Alire to
-#       set an appropriate one.
-
-[[depends-on]]
-gtkada = ">=17"
-
-[origin]
-commit = "73939c9ed0be13a994728d1c362b945e5d131f19"
-url = "git+https://github.com/HeisenbugLtd/aicwl.git"
@@ -2,7 +2,7 @@ description = "Generator of JUnit-compatible XML reports"
 name = "ajunitgen"
 version = "1.0.0"
 authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
+licenses = ["LGPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]

@@ -3,7 +3,7 @@ version = "1.0.1"
 description = "Generator of JUnit-compatible XML reports"

 authors = [ "Alejandro R. Mosteo", ]
-licenses = "LGPL-3.0-only"
+licenses = [ "LGPL 3.0", ]
 maintainers = [ "alejandro@mosteo.com", ]
 maintainers-logins = [ "mosteo", ]

@@ -3,7 +3,7 @@ name = "anagram"
 version = "1.0.0"
 website = "https://github.com/reznikmm/anagram"
 authors = ["Maxim Reznik"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
 maintainers-logins = ["reznikmm"]
 project-files = ["gnat/anagram.gpr"]
@@ -3,7 +3,7 @@ long-description = "# ANSI-Ada\n\n[![Alire indexed](https://img.shields.io/badge
 name = "ansiada"
 version = "0.1.0"
 executables = ["ansi-demo"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 project-files = ["ansi.gpr"]
@@ -2,7 +2,7 @@ description = "Standalone, portable package for producing dynamically PDF docume
 name = "apdf"
 version = "5.0.0"
 authors = ["Gautier de Montmollin"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
 project-files = ["pdf_out_gnat.gpr"]
@@ -1,81 +0,0 @@
-description = "Advanced Resource Embedder"
-name = "are"
-version = "1.1.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"
-long-description = """
-
-[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Resource-Embedder.svg)](http://jenkins.vacs.fr/job/Bionic-Resource-Embedder/)
-[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Resource-Embedder.svg)](http://jenkins.vacs.fr/job/Bionic-Resource-Embedder/)
-[![codecov](https://codecov.io/gh/stcarrez/resource-embedder/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/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 = false
-'...' = 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"
-
-[origin]
-commit = "cf491d2c73c90daace4e39dbc221a4b4990a349f"
-url = "git+https://github.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.0"
-
-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 = "17e54f663a163ef68359dea1326ad5b8379d8f02"
-url = "git+https://github.com/mgrojo/ASFML.git"
-
@@ -1,19 +0,0 @@
-name = "asfml"
-description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
-version = "2.5.1"
-
-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 = "52a013554bcfb6150e0d6391871356c1443a6b93"
-url = "git+https://github.com/mgrojo/ASFML.git"
-
@@ -3,7 +3,7 @@ name = "asis"
 version = "2017.0.0"
 website = "https://www.adacore.com/download/more"
 authors = ["AdaCore"]
-licenses = "GPL-3.0-only"
+licenses = ["GPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 project-files = ["asis.gpr"]
@@ -3,7 +3,7 @@ name = "asis"
 version = "2018.0.0"
 website = "https://www.adacore.com/download/more"
 authors = ["AdaCore"]
-licenses = "GPL-3.0-only"
+licenses = ["GPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 project-files = ["asis.gpr"]
@@ -3,7 +3,7 @@ name = "asis"
 version = "2019.0.0"
 website = "https://www.adacore.com/download/more"
 authors = ["AdaCore"]
-licenses = "GPL-3.0-only"
+licenses = ["GPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 project-files = ["asis.gpr"]
@@ -1,15 +0,0 @@
-name = "atomic"
-description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
-version = "0.1.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"]
-
-[origin]
-commit = "1951459d24343b55dc814d257447756a18b149cd"
-url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-
@@ -1,15 +0,0 @@
-name = "atomic"
-description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
-version = "0.2.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"]
-
-[origin]
-commit = "e5c679bd6e2a11ea4bc37ad56e4b33907bd11ce2"
-url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-
@@ -1,15 +0,0 @@
-name = "atomic"
-description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
-version = "0.3.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"]
-
-[origin]
-commit = "0371353e27dcad8f4c0d53bea0c319636bc2b49e"
-url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-
@@ -1,17 +0,0 @@
-description = "Ada unit test framework"
-name = "aunit"
-version = "21.0.0"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["lib/gnat/aunit.gpr"]
-tags=["unit", "test", "unit-test"]
-
-[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/v21.0.0.zip"
-hashes=['sha512:d6561681375167650aa357b9263a9c810093be8fc4d3fabfd1811dffa81d2b84b7065812bd4ba5a86988b1dc30549e9d72a06c64c5c91646929b96cbec5d4fe8']
@@ -1,45 +0,0 @@
-description = "Ada Web Server"
-website = "https://github.com/adacore/aws"
-name = "aws"
-version = "21.0.0"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["install_dir/share/gpr/aws.gpr"]
-tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
-
-# Since the AWS project doesn't build alone with just gprbuild we build and
-# install with the Makefile from post-fetch action.
-[[actions]]
-type = "post-fetch"
-command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
-           "LAL=false", "XMLADA=false", "prefix=install_dir"]
-
-[[depends-on]]
-make = "*"
-xmlada = "~21.0.0"
-gnat = ">=9"
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "relocatable"]
-PRJ_BUILD = ["Debug", "Release"]
-PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
-PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
-
-[gpr-set-externals]
-PRJ_LAL="Disabled"
-
-[gpr-set-externals."case(os)".linux]
-PRJ_TARGET = "UNIX"
-TARGET = "x86_64-linux-gnu"
-
-[gpr-set-externals."case(os)".macos]
-PRJ_TARGET = "Darwin"
-
-[gpr-set-externals."case(os)".windows]
-PRJ_TARGET = "Windows_NT"
-
-[origin]
-url= "https://github.com/AdaCore/aws/releases/download/v21.0.0/aws-21.0.0.zip"
-hashes=["sha512:57fddf8f59e39a08822ae2d0640ade3e3e3e9a7c76c06007c7df5a07e3b59cc7c9be001bfaeb10d64db924f343688f6a72deba175315d4d02d913c307070a635"]
@@ -0,0 +1,17 @@
+description = "Ada Web Server"
+name = "aws"
+licenses = []
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+hint = "Available through GNAT CE bundles"
+kind = "hint"
+[external.available."case(toolchain)"]
+system = false
+
+[[external]]
+kind = "system"
+origin = ["libaws3.3.2.2-dev"]
+[external.available."case(toolchain)"]
+user = false
@@ -1,7 +1,7 @@
 description = "XMPP client library in Ada"
 name = "axmpp"
 version = "1.0.0"
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 authors = ["Alexander Basov", "Vadim Godunko"]
 website = "https://github.com/coopht/axmpp"
 maintainers = ["Alexander Basov <coopht@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
@@ -2,7 +2,7 @@ description = "Generate various types of bar codes on different output formats"
 name = "bar_codes"
 version = "2.0.0"
 authors = ["Gautier de Montmollin"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
 project-files = ["bar_codes_gnat.gpr"]
@@ -1,7 +1,7 @@
 description = "Collection of formally verified building blocks"
 name = "basalt"
 version = "0.1.0"
-licenses = "AGPL-3.0-only"
+licenses = ["AGPL 3.0"]
 maintainers = ["kliemann@componolit.com"]
 maintainers-logins = ["jklmnn"]

@@ -1,7 +1,7 @@
 description = "Collection of formally verified building blocks"
 name = "basalt"
 version = "0.2.0"
-licenses = "AGPL-3.0-only"
+licenses = ["AGPL 3.0"]
 maintainers = ["kliemann@componolit.com"]
 maintainers-logins = ["jklmnn"]

@@ -1,22 +0,0 @@
-name = "bbqueue"
-description = "DMA friendly lock-free BipBuffer"
-version = "0.1.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 = "*"
-gnat = ">=10"
-
-[origin]
-commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
-url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
-
@@ -1,22 +0,0 @@
-name = "bbqueue"
-description = "DMA friendly lock-free BipBuffer"
-version = "0.2.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.3"
-gnat = ">=10"
-
-[origin]
-commit = "48694afc6b4e088a33592e1e19243fdd1bb38ad7"
-url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
-
@@ -1,15 +0,0 @@
-name = "blake2s"
-description = "SPARK83 implementation of the BLAKE2s hash function"
-version = "0.1.0"
-
-authors = ["Lev Kujawski"]
-maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
-maintainers-logins = ["lkujaw"]
-licenses = "MIT-0"
-website = "https://github.com/lkujaw/blake2s"
-tags = ["spark", "hash", "blake2", "blake2s"]
-
-[origin]
-commit = "822db20dbfd078f05d2d2048bf6af24c65fc37fc"
-url = "git+https://github.com/lkujaw/blake2s.git"
-
@@ -1,15 +0,0 @@
-name = "blake2s"
-description = "SPARK83 implementation of the BLAKE2s hash function"
-version = "0.1.1"
-
-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 = "dfd349378dca21ca354a6f6858ab9d623c7a949e"
-url = "git+https://github.com/lkujaw/blake2s.git"
-
@@ -2,7 +2,7 @@ description = "Convenience subprograms to interact with C strings"
 name = "c_strings"
 version = "1.0.0"
 authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
+licenses = ["LGPL 3.0"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]

@@ -1,24 +0,0 @@
-name = "canberra_ada"
-description = "Ada 2012 bindings for libcanberra"
-version = "2.0.0"
-website = "https://github.com/onox/canberra-ada"
-licenses = "Apache-2.0"
-tags = ["canberra", "audio", "sound"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[[depends-on]]
-libcanberra = "~0.30.0"
-
-[origin]
-hashes = [
-"sha512:3de867fe19d8547c2598de8b063137f1fcde27787cfe2e8a1e59103d83f187efea4a6a269f69cb14e2eb3f8c7b182fb6a896e6ece77dd97b1dea659203a9ff5e",
-]
-url = "https://github.com/onox/canberra-ada/releases/download/v2.0.0/canberra_ada-2.0.0.tgz"
-
@@ -1,21 +0,0 @@
-name = "canberra_ada"
-description = "Ada 2012 bindings for libcanberra"
-version = "2.0.1"
-website = "https://github.com/onox/canberra-ada"
-licenses = "Apache-2.0"
-tags = ["canberra", "audio", "sound"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[[depends-on]]
-libcanberra = "~0.30.0"
-
-[origin]
-commit = "d70ce23f945535f68be6af4b3fb73d58f57b1d4c"
-url = "git+https://github.com/onox/canberra-ada.git"
@@ -1,31 +0,0 @@
-name = "clic"
-description = "Command Line Interface Components"
-version = "0.1.0"
-
-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 = "ac734659560ffa98346c4ddc97d8966471d70374"
-url = "git+https://github.com/alire-project/clic.git"
-
@@ -1,14 +0,0 @@
-name = "cmd_ada"
-description = "Command based text UI, inspired by Python cmd module"
-version = "0.0.1"
-
-authors = ["Henrik Härkönen"]
-maintainers = ["Henrik Härkönen <heharkon@iki.fi>"]
-maintainers-logins = ["heharkon"]
-tags = ["ui", "command-line"]
-licenses = "Apache-2.0"
-
-[origin]
-commit = "fe3d4ab5dfcdad4f682dddbe0d8d8d6a1d4a838a"
-url = "git+https://github.com/heharkon/ada_cmd.git"
-
@@ -2,7 +2,7 @@ description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
 long-description = "# cortex-m\nAda drivers for the peripherals of ARM Cortex-M micro-controllers (NVIC,\nSysTick, etc.)\n\nThis crate is a snapshot of the `Cortex-M` support in [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).\nAny bug report, issue, contribution must be adressed to the [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/) repo.\n"
 name = "cortex_m"
 version = "0.1.0"
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 maintainers = ["chouteau@adacore.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
@@ -14,7 +14,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.

 name = "cortex_m"
 version = "0.2.0"
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 authors=["AdaCore"]
 website="https://github.com/AdaCore/Ada_Drivers_Library/"
 maintainers = ["chouteau@adacore.com"]
@@ -1,33 +0,0 @@
-description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
-long-description = '''# cortex-m
-
-Ada drivers for the peripherals of ARM Cortex-M micro-controllers
-(NVIC,\nSysTick, etc.)
-
-This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "cortex_m"
-version = "0.3.0"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
-tags = ["embedded", "arm", "nostd"]
-
-auto-gpr-with=false # User has to select only one project file
-
-[[depends-on]]
-hal = "^0.1.0"
-
-[origin]
-commit = "2ed1d3d3324385f9f2183cfb9f562bb215d7a509"
-url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-
@@ -1,15 +0,0 @@
-name = "curl"
-description = "Command-line tool for transferring data with URL syntax"
-
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"..." = ["curl"]
-
-[[external]]
-kind = "version-output"
-version-command = ["curl", "--version"]
-version-regexp  = '^curl ([\d\.?]+).*'
@@ -1,17 +0,0 @@
-name = "dcf"
-description = "Ada 2012 library for document container files, a Zip-based format"
-long-description = "An Ada 2012 library for document container files, a Zip-based archive format standardized in ISO/IEC 21320-1:2015"
-version = "2.0.2"
-website = "https://github.com/onox/dcf-ada"
-licenses = "MIT"
-tags = ["zip", "document", "container"]
-
-authors = ["onox", "Gautier de Montmollin"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[origin]
-hashes = [
-"sha512:9ba2652fb7ac8b2768a8c3f9b56a0f643572411f56c29b1bed3f426042750657d3edfe5fc203176f9a3a6ef1e4c82a6b883c102f5f810209afdccb303d48258f",
-]
-url = "https://github.com/onox/dcf-ada/releases/download/v2.0.2/dcf-2.0.2.tgz"
@@ -1,15 +0,0 @@
-name = "dir_iterators"
-description = "Ways of moving around directory trees"
-version = "0.0.1"
-website = "https://github.com/pyjarrett/dir_iterators"
-authors = ["Paul Jarrett"]
-licenses = "Apache-2.0"
-
-maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
-maintainers-logins = ["pyjarrett"]
-tags = ["dir", "files", "walk"]
-
-[origin]
-commit = "2e1fcc63ab6a31437096d352d5fe88f3702c1a77"
-url = "git+https://github.com/pyjarrett/dir_iterators.git"
-
@@ -1,15 +0,0 @@
-name = "dir_iterators"
-description = "Ways of moving around directory trees"
-version = "0.0.2"
-website = "https://github.com/pyjarrett/dir_iterators"
-authors = ["Paul Jarrett"]
-licenses = "Apache-2.0"
-
-maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
-maintainers-logins = ["pyjarrett"]
-tags = ["dir", "files", "walk"]
-
-[origin]
-commit = "614fd41664c1661f28d474823fcad82753efecdb"
-url = "git+https://github.com/pyjarrett/dir_iterators.git"
-
@@ -1,74 +0,0 @@
-name = "dir_iterators"
-description = "Ways of moving around directory trees"
-version = "0.0.3"
-website = "https://github.com/pyjarrett/dir_iterators"
-authors = ["Paul Jarrett"]
-licenses = "Apache-2.0"
-
-maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
-maintainers-logins = ["pyjarrett"]
-tags = ["dir", "files", "walk"]
-
-long-description = '''
-[![Build Status](https://github.com/pyjarrett/dir_iterators/actions/workflows/build.yml/badge.svg)](https://github.com/pyjarrett/dir_iterators/actions)
-[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/dir_iterators.json)](https://alire.ada.dev/crates/dir_iterators.html)
-
-## Iterator-based directory walks
-
-Provides convenient ways to walk directories based on Ada 2012 user-defined
-iterators.
-
-Inspired by [walkdir for Rust](https://github.com/BurntSushi/walkdir).
-
-
-## Walking a directory tree recursively
-
-```ada
-with Ada.Directories;
-with Ada.Text_IO;
-with Dir_Iterators.Recursive;
-
-- ...
-
-Dir_Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk
-    := Dir_Iterators.Recursive.Walk (Dir);
-
-for Dir_Entry of Dir_Walk loop
-    Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
-end loop;
-```
-
-## Walking a directory tree recursively with a filter
-
-Use a filter to prune directories and files from the walk.
-
-```ada
-with Ada.Directories;
-with Ada.Text_IO;
-with Dir_Iterators.Recursive;
-
-package AD renames Ada.Directories;
-
-- ...
-
-    procedure Foo (Include_Dot_Files : Boolean; Dir_Root : String) is
-        function Filter (E : Ada.Directories.Directory_Entry_Type) return Boolean is
-            Name : constant String := Ada.Directories.Simple_Name(E);
-        begin
-            return Include_Dot_Files
-                or else (not (Name'Length > 1 and then Name(1) = '.'));
-        end Filter;
-
-        Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk :=
-            Dir_Iterators.Recursive.Walk (Dir_Root, Filter'Access);
-    begin
-        for Dir_Entry of Walk loop
-            Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
-        end loop;
-    end Foo;
-```
-'''
-[origin]
-commit = "9a345982c4680cea101a4295da1ead5610526a3d"
-url = "git+https://github.com/pyjarrett/dir_iterators.git"
-
@@ -1,15 +0,0 @@
-name = "dotenv"
-description = "Loads environment variables from .env for Ada projects."
-version = "1.0.0"
-
-authors = ["Heziode"]
-maintainers = ["Heziode <heziode@protonmail.com>"]
-maintainers-logins = ["Heziode"]
-licenses = "BSD-2-Clause"
-website = "https://github.com/Heziode/ada-dotenv"
-tags = ["dotenv", "env", "environment", "variables", "config", "settings"]
-
-[origin]
-commit = "a19c7797b88954d90e3b11bc003eca0d262f3a39"
-url = "git+https://github.com/Heziode/ada-dotenv.git"
-
@@ -1,14 +1,14 @@
 description = "Apollo 11 lunar lander simulator"
 name = "eagle_lander"
 version = "1.2.0"
-licenses = "GPL-3.0-only"
+licenses = ["GPL 3.0"]
 maintainers = ["fabien.choutea@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["eagle_lander.gpr"]
 tags = ["simulator", "game", "gtk"]

 [[depends-on]]
-gtkada = "^21"
+gtkada = "^17"

 [origin]
 url = "https://github.com/Fabien-Chouteau/eagle-lander/releases/download/v1.2/eagle_lander-1.2.zip"
@@ -1,7 +1,7 @@
 description = "Expression Language Library (JSR245)"
 name = "elada"
 version = "1.7.0"
-licenses = "Apache-2.0"
+licenses = ["Apache 2.0"]
 maintainers = ["Stephane.Carrez@gmail.com"]
 maintainers-logins = ["stcarrez"]
 project-files = [".alire/elada.gpr"]
@@ -13,7 +13,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.

 name = "embedded_components"
 version = "0.1.0"
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 authors=["AdaCore"]
 website="https://github.com/AdaCore/Ada_Drivers_Library/"
 maintainers = ["chouteau@adacore.com"]
@@ -1,17 +0,0 @@
-name = "emojis"
-description = "A library to replace names between colons with emojis"
-version = "1.0.0"
-website = "https://github.com/onox/emojis"
-licenses = "Apache-2.0"
-tags = ["emoji", "string", "text", "unicode"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[configuration]
-disabled = true
-
-[origin]
-commit = "e9d5c4ef79b45a8be73c6e98dceb70c291d1fbed"
-url = "git+https://github.com/onox/emojis.git"
@@ -1,21 +0,0 @@
-name = "evdev"
-description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
-version = "1.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"]
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[origin]
-commit = "bf4d256dbf3c178da1c766bb0f76ab5dd188334f"
-url = "git+https://github.com/onox/evdev-ada.git"
@@ -1,21 +0,0 @@
-name = "evdev"
-description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
-version = "1.0.1"
-website = "https://github.com/onox/evdev-ada"
-licenses = "Apache-2.0"
-tags = ["evdev", "force-feedback"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-project-files = ["evdev.gpr", "evdev_info.gpr"]
-executables = ["evdev-ada"]
-
-[available.'case(os)']
-linux = true
-'...' = false
-
-[origin]
-commit = "6653da99332ef99215ef3fbafe0eb42b6267e4ec"
-url = "git+https://github.com/onox/evdev-ada.git"
@@ -2,7 +2,7 @@ description = "Produce Excel spreadsheets"
 name = "excel_writer"
 version = "17.0.1"
 authors = ["Gautier de Montmollin"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo", "zertovitch"]
 project-files = ["excel_out_gnat.gpr"]
@@ -1,20 +0,0 @@
-name = "felix"
-description = "X/Open Native Language System (NLS) for Ada"
-version = "0.1.0"
-
-authors = ["Lev Kujawski"]
-maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
-maintainers-logins = ["lkujaw"]
-licenses = "MIT-0"
-website = "https://github.com/lkujaw/felix"
-tags = ["ada1995", "i18n", "nls",
-        "localization", "localisation", "l10n"]
-
-# The underlying interface is dependent upon the Unix C library.
-[available.'case(os)']
-'windows' = false
-
-[origin]
-commit = "6b030f1b7fa20684ff06a146f3b48e43bd8bdfd3"
-url = "git+https://github.com/lkujaw/felix.git"
-
@@ -1,27 +0,0 @@
-name = "felix"
-description = "X/Open Native Language System (NLS) for Ada"
-version = "0.2.0"
-
-authors = ["Lev Kujawski"]
-maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
-maintainers-logins = ["lkujaw"]
-licenses = "MIT-0"
-website = "https://github.com/lkujaw/felix"
-tags = ["ada1995", "i18n", "nls",
-        "localization", "localisation", "l10n"]
-
-[[depends-on]]
-[depends-on.'case(os)'.windows]
-msys2_runtime = ">=3.0"
-
-[gpr-set-externals.'case(os)']
-'windows' = { SYSTEM_API = "WIN32" }
-'...'     = { SYSTEM_API = "POSIX" }
-
-[environment.'case(distribution)']
-'msys2' = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/" }
-
-[origin]
-commit = "7409bde64df3467f6d8b6aceb96eba2aac920014"
-url = "git+https://github.com/lkujaw/felix.git"
-
@@ -1,11 +0,0 @@
-description = "POSIX.5 Ada interface to operating system services"
-name = "florist"
-
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-[[external]]
-kind = "system"
-   [external.origin."case(distribution)"]
-   "debian" = ["libflorist2018-dev"]
-   "ubuntu" = ["libflorist2019-dev"]
@@ -1,25 +0,0 @@
-name = "freetypeada"
-description = "Thick binding to the FreeType library"
-version = "0.1.0"
-project-files = ["freetype.gpr"]
-
-authors = ["Felix Krause"]
-maintainers = ["Felix Krause <contact@flyx.org>"]
-maintainers-logins = ["flyx"]
-
-licenses = "MIT"
-website = "https://github.com/flyx/FreeTypeAda"
-tags = ["fonts", "rendering"]
-
-[[depends-on]]
-[depends-on."case(os)"."linux|windows"]
-libfreetype = "^2"
-
-[gpr-set-externals."case(os)"]
-"linux|macos" = { FreeType_Linker_Param = "-lfreetype" }
-"windows" = { FreeType_Linker_Param = "-lfreetype-6" }
-
-[origin]
-commit = "4fd90f573dc83a9b23e462520a60eb6a8dd92878"
-url = "git+https://github.com/flyx/FreeTypeAda.git"
-
@@ -5,7 +5,7 @@ name = "geste"
 version = "1.0.0"
 website = "https://github.com/Fabien-Chouteau/GESTE"
 authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["geste.gpr"]
@@ -5,7 +5,7 @@ name = "geste"
 version = "1.1.0"
 website = "https://github.com/Fabien-Chouteau/GESTE"
 authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["geste.gpr"]
@@ -3,7 +3,7 @@ name = "geste_examples"
 version = "1.0.0"
 website = "https://github.com/Fabien-Chouteau/GESTE-examples"
 authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["platformer/platformer.gpr", "RPG/RPG.gpr", "racing/racing.gpr"]
@@ -3,7 +3,7 @@ name = "geste_examples"
 version = "1.0.1"
 website = "https://github.com/Fabien-Chouteau/GESTE-examples"
 authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-licenses = "BSD-3-Clause"
+licenses = ["BSD 3-Clauses"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["Fabien-Chouteau"]
 project-files = ["platformer/platformer.gpr", "RPG/RPG.gpr", "racing/racing.gpr"]
@@ -1,26 +0,0 @@
-name = "get_password"
-description = "Read a string without echo, in password-like style"
-version = "1.0.0-rc"
-long-description = "This is a small Ada library that provides a procedure Get_Password that reads a string from the terminal replacing each character with a *. The input can be terminated both by the user pressing end-of-line or when the buffer is filled.  Currently it works only on POSIX-based system.  This version was checked with Spark" 
-licenses = "MIT"
-website = "https://gitlab.com/my-ada-library/get_password"
-
-authors = ["Riccardo Bernardini"]
-maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
-maintainers-logins = ["fintatarta"]
-tags = ["password", "echo", "textio"]
-
-[gpr-set-externals.'case(os)']
-linux   = { OS_FOR_GPR = "posix" }
-windows = { OS_FOR_GPR = "windows" }
-macos   = { OS_FOR_GPR = "posix" }
-
-[available.'case(os)']
-linux   = true
-windows = false
-macos   = false
-
-[origin]
-commit = "0999eb5b4890649c73fc0327ef7514de4fb73df7"
-url = "git+https://gitlab.com/my-ada-library/get_password.git"
-
@@ -2,7 +2,7 @@ description = "Decoding a broad variety of image formats"
 name = "gid"
 version = "9.0.0"
 authors = ["Gautier de Montmollin"]
-licenses = "MIT"
+licenses = ["MIT"]
 maintainers = ["fabien.chouteau@gmail.com"]
 maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
 project-files = ["gid.gpr"]
@@ -1,6 +1,6 @@
 description = "OpenGL Utility Toolkit"
 name = "glut"
-
+licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]

@@ -0,0 +1,10 @@
+description = "GNAT is a compiler for the Ada programming language"
+name = "gnat"
+licenses = []
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+kind = "version-output"
+version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
+version-command = ["gnat", "--version"]
@@ -1,27 +0,0 @@
-name = "gnat_arm_elf"
-version = "10.3.1"
-provides = ["gnat=10.3.1"]
-description = "The GNAT Ada compiler - ARM cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-linux64-10.3.0-1.tar.gz"
-hashes = ["sha256:8f71f65acc2eb45adc335318f7c9b33bfe77121fb17b404e252da969de6621a2"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-darwin-10.3.0-1.tar.gz"
-hashes = ["sha256:2e090fa57235829873f8b3154a80ed890dd11c3d7c7f9a6b1cbb9921cce674f2"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-windows64-10.3.0-1.tar.gz"
-hashes = ["sha256:7562c6f8beb9732fad32be692abf93e9aa54d39837f8232edeb593ba2cfc29fe"]
@@ -1,27 +0,0 @@
-name = "gnat_arm_elf"
-version = "11.2.1"
-provides = ["gnat=11.2.1"]
-description = "The GNAT Ada compiler - ARM cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-linux64-11.2.0-1.tar.gz"
-hashes = ["sha256:68f7c5d3e009c156d6c3d274c5da9fd369b1e85743c9bdfe4548e2c376efcebd"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-darwin-11.2.0-1.tar.gz"
-hashes = ["sha256:9343d45fe3eaa5d7d1cfcf03166c64303adb5524fa03634bb1cada61787a2226"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-windows64-11.2.0-1.tar.gz"
-hashes = ["sha256:b2d3b1d266b5e13e97809462a6169d690591e81a1b1885e9501f4e1a99c34421"]
@@ -1,17 +0,0 @@
-description = "GNAT is a compiler for the Ada programming language"
-name = "gnat_external"
-
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-[[external]]
-kind = "version-output"
-version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
-version-command = ["gnat", "--version"]
-provides = "gnat"
-
-# We do not want to have system external definitions because in typical systems
-# like Debian/Ubuntu only one version at a time can be installed. Hence using
-# different versions in different crates/configurations would imply messing the
-# users' system. Let them manually configure the compiler they want when they
-# do not want one of the pre-packaged Alire versions.
@@ -1,28 +0,0 @@
-name = "gnat_native"
-version = "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
-
-provides = ["gnat=10.3.1"]
-
-[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-1/gnat-x86_64-windows64-10.3.0-1.tar.gz"
-hashes = ["sha256:6d85b367c642195308440f5b8bdc10b529e2014d58c4ada06e9c8a1f86bf5342"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-darwin-10.3.0-1.tar.gz"
-hashes = ["sha256:20b3092f830adda081737e2d66322da8d4ad2bb9f5aa985bd18312d04fc61458"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-linux-10.3.0-1.tar.gz"
-hashes = ["sha256:8b7c5dcd858ba01bbb66053bcc2899a7015ef426b0f90d47b5b142b90886a6a2"]
@@ -1,28 +0,0 @@
-name = "gnat_native"
-version = "11.2.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
-
-provides = ["gnat=11.2.1"]
-
-[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-1/gnat-x86_64-windows64-11.2.0-1.tar.gz"
-hashes = ["sha256:3ed9e2d781e395dcc74544f691fbc15176f853a20d926b7409356c58a89e44ed"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-darwin-11.2.0-1.tar.gz"
-hashes = ["sha256:25e76394ceeadda9a3a689e80e0e22492fc76a3b3d53a54bf90b8b1bdcbc3c7d"]
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-linux-11.2.0-1.tar.gz"
-hashes = ["sha256:216754299ee9d79a4a1935c29800308007fb1304bfd4833980e0b4a67b2924bb"]
@@ -1,27 +0,0 @@
-name = "gnat_riscv64_elf"
-version = "10.3.1"
-provides = ["gnat=10.3.1"]
-description = "The GNAT Ada compiler - RISC-V cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-linux64-10.3.0-1.tar.gz"
-hashes = ["sha256:209ee8df59c3f84412f9cb5121a2df4db45daedce47fbd19f7318461b1a4c00a"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-darwin-10.3.0-1.tar.gz"
-hashes = ["sha256:a64d12884ab5a6892e0263ed136dd73f1917fc21a80c127b9495059dd3c1c70d"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-windows64-10.3.0-1.tar.gz"
-hashes = ["sha256:f20c48b6097529361ab540fa17728292dc304749745e0222e6f17eb710337a22"]
@@ -1,27 +0,0 @@
-name = "gnat_riscv64_elf"
-version = "11.2.1"
-provides = ["gnat=11.2.1"]
-description = "The GNAT Ada compiler - RISC-V cross-compiler"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
-
-auto-gpr-with = false
-
-[configuration]
-disabled = true
-
-[environment]
-PATH.prepend = "${CRATE_ROOT}/bin"
-
-[origin."case(os)".linux."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-linux64-11.2.0-1.tar.gz"
-hashes = ["sha256:71151d7902b127f5f68d206f6134d1c18d203f8269e11970cab28e0ff5ff801e"]
-
-[origin."case(os)".macos."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-darwin-11.2.0-1.tar.gz"
-hashes = ["sha256:359f6d99dc55b01432dc8fa8190ba8bfe7f2e6a78b458cca45fa41bbcd04a9c7"]
-
-[origin."case(os)".windows."case(word-size)".bits-64]
-url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-windows64-11.2.0-1.tar.gz"
-hashes = ["sha256:a04a8bd99ac1ec576aba2a69b6608fd78d805c737de59c30f570bd5dd5a82a97"]
@@ -0,0 +1,34 @@
+description = "GNAT Components Collection - Core packages"
+name = "gnatcoll"
+version = "2018.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
+
+[[depends-on]]
+gnat = "^2018"
+
+[gpr-externals]
+BUILD = ["DEBUG", "PROD"]
+GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+LIBRARY_TYPE = "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"
+
+[origin]
+url = "https://community.download.adacore.com/v1/213105933eb2deb4d08f6b5beab518ad6c70fbac?filename="
+archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
+hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"]
@@ -0,0 +1,34 @@
+description = "GNAT Components Collection - Core packages"
+name = "gnatcoll"
+version = "2019.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["gnatcoll.gpr"]
+
+[[depends-on]]
+gnat = "^2019"
+
+[gpr-externals]
+BUILD = ["DEBUG", "PROD"]
+GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+LIBRARY_TYPE = "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"
+
+[origin]
+url = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename="
+archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz"
+hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"]
@@ -1,34 +0,0 @@
-name = "gnatcoll"
-version = "21.0.0"
-description = "GNAT Components Collection - Core packages"
-website = "https://github.com/adacore/gnatcoll-core"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only 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"]
-
-[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 = "21.0.0"
-
-[[depends-on]]
-libgpr = "~21.0.0"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0/gnatcoll-core-21.0.0.zip"
-hashes=['sha512:6c0439a39495070c58af1eecd04b450d3f7fae8dfca21ce2200035893467c07b04ec037aeef84b5b1499fe683b9cadeb5425e7373b9d6204d1ed1deb5616d291']
@@ -0,0 +1,11 @@
+description = "GNAT Components Collection - Core packages"
+name = "gnatcoll"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libgnatcoll16.1.0-dev", "libgnatcoll17-dev", "libgnatcoll18-dev"]
@@ -0,0 +1,28 @@
+description = "GNAT Components Collection - Bindings to GMP"
+name = "gnatcoll_gmp"
+version = "2019.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["gmp/gnatcoll_gmp.gpr"]
+
+[[depends-on]]
+gnat = ">=9.0"
+gnatcoll = "^2019"
+libgmp = "^6.1"
+
+[gpr-externals]
+GNATCOLL_VERSION = ""
+BUILD = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+GNATCOLL_VERSION = "2019"
+LIBRARY_TYPE = "static-pic"
+
+[origin]
+url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
+archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
+hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -1,22 +0,0 @@
-name = "gnatcoll_gmp"
-version = "21.0.0"
-description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only 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"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libgmp = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,38 @@
+description = "GNAT Components Collection - Bindings to libiconv"
+name = "gnatcoll_iconv"
+version = "2019.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["iconv/gnatcoll_iconv.gpr"]
+
+[[depends-on]]
+gnat = ">=9.0"
+gnatcoll = "^2019"
+
+[gpr-externals]
+GNATCOLL_ICONV_OPT = ""
+GNATCOLL_VERSION = ""
+BUILD = ["DEBUG", "PROD"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+GNATCOLL_ICONV_OPT = ""
+GNATCOLL_VERSION = "2019"
+LIBRARY_TYPE = "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"
+
+[origin]
+url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
+archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
+hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -1,29 +0,0 @@
-name = "gnatcoll_iconv"
-version = "21.0.0"
-description = "GNAT Components Collection - iconv binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["iconv/gnatcoll_iconv.gpr"]
-tags = ["gnatcoll", "bindings", "iconv", "i18n"]
-
-[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 = "~21.0.0"
-[depends-on."case(os)".windows]
-libiconv = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
--- a/Show More
+++ b/Show More