Add jupyter_kernel (#169 )

2020-10-14 13:23:46 +02:00
547 changed files with 520 additions and 9657 deletions
@@ -14,36 +14,31 @@ jobs:

    strategy:
      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
          - os: ubuntu-latest
            tag: ""
-          - os: macos-latest
-            tag: arch-rolling
          - 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
            tag: ubuntu-lts
-          - os: windows-latest
-            tag: arch-rolling
          - 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
@@ -59,34 +54,20 @@ 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@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@v1
-      with:
-        toolchain: --disable-assistant # We want to use the external ones in this workflow
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
-      with:
-        toolchain: --disable-assistant # We want to use the external ones in this workflow
-        branch: master
+    - name: Set up `alr`
+      uses: mosteo/setup-alire@exp

    - name: Test crate (Linux)
      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -94,7 +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/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,67 +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. We will be able to get rid of this once composite actions
-    # support conditional steps.
-
-    - name: Set up GNAT toolchain (FSF)
-      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      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@v1
-
-    # By default, this sets up the newest indexed native toolchain
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
-      with:
-        branch: 'master'
-
-    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
-      if: matrix.os == 'windows-latest'
-      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
-
-    - name: Test crate
-      run: scripts/gh-build-crate.sh
-      shell: bash
@@ -1,53 +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 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 GNAT toolchain (FSF)
-      if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: fsf # faster install?
-
-    - name: Set up GNAT toolchain (Community)
-      if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
-      uses: ada-actions/toolchain@ce2020
-      with:
-        distrib: community
-
-    - name: Set up devel `alr`
-      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
-      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
@@ -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,7 +0,0 @@
-# Changes to the index format that require versioning
-
-## 1.2
-
- Build profiles and switches.
- New `subdir` property in git remotes.
- New `host-arch` key for case expressions.
@@ -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"
-
@@ -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"
-
@@ -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,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,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"
-
@@ -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"
-
@@ -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,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,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"]
@@ -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"
-
@@ -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,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,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,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.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"
-
@@ -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"
-
@@ -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,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,18 +0,0 @@
-description = "Basic Ada packages for audio applications"
-long-description = """
-# Audio Base
-This crate contains basic Ada packages for audio applications.
-"""
-name = "audio_base"
-version = "1.0.0"
-website="https://github.com/Ada-Audio/audio_base"
-licenses = "MIT"
-authors=["Gustavo A. Hoffmann"]
-maintainers = ["gusthoff@gusthoff.com"]
-maintainers-logins = ["gusthoff"]
-project-files = ["audio_base.gpr"]
-tags = ["audio", "riff"]
-
-[origin]
-commit = "8646d0adc2be09c57dd16952a329c4342e5ddb3b"
-url = "git+https://github.com/Ada-Audio/audio_base.git"
@@ -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,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,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,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>"]
@@ -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"
@@ -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,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.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,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,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"
-
@@ -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"
-
@@ -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,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.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,30 +0,0 @@
-name = "clic"
-description = "Command Line Interface Components"
-version = "0.1.1"
-
-authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
-maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["mosteo", "Fabien-Chouteau"]
-licenses = "MIT"
-tags = ["cli", "command-line", "user-input", "tty"]
-website = "https://github.com/alire-project/clic"
-long-description = """
-Command Line Interface Components:
- - "git like" subcommand handling
- - TTY color and formatting
- - User input queries
-"""
-
-# TODO: uncomment for alr 1.1.0
-# [configuration]
-# disabled = true # CLIC is an Alire dependency using git submodule, so we can't
-#                 # use the crate configuration here.
-
-[[depends-on]]
-aaa = "~0.2.3"
-simple_logging = "^1.2.0"
-ansiada = "~0.1.0"
-
-[origin]
-commit = "32a93777a3e1796534e07c59966075a3d6f4f503"
-url = "git+https://github.com/alire-project/clic.git"
@@ -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,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,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,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,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"
-
--- a/Show More
+++ b/Show More