Update GNATCOLL Debian/Ubuntu system packages (#131)

* Update Debian/Ubuntu system packages

* Fixed gnatcoll 2019 dependency on GNAT

Depending on non CE GNAT is faultly because libgpr is not available in that
case.

.github/workflows/build-crate.yml

@@ -0,0 +1,88 @@
+name: Build Crate
+
+on:
+  pull_request:
+    paths:
+      - 'index/**.toml'
+
+jobs:
+
+  build:
+    name: ${{ matrix.os }}::${{ matrix.tag }}
+
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      matrix:
+        os: 
+          - macos-latest
+          - ubuntu-latest
+          - windows-latest
+        tag:
+          - centos-latest-community-latest
+          - 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: centos-latest-community-latest
+          - os: macos-latest
+            tag: community-current
+          - os: macos-latest
+            tag: debian-stable
+          - os: macos-latest
+            tag: ubuntu-lts
+          - os: windows-latest
+            tag: centos-latest-community-latest
+          - os: windows-latest
+            tag: community-current
+          - os: windows-latest
+            tag: debian-stable
+          - os: windows-latest
+            tag: ubuntu-lts
+
+    steps:
+    - name: Check out alire-index
+      uses: actions/checkout@v2
+      with:
+        fetch-depth: 10
+        # Needed to be able to diff and obtain changed files. Changes beyond
+        # that depth are not detected. Should be OK for crate submissions.
+
+    - name: Set up GNAT toolchain (FSF)
+      if: matrix.os == 'ubuntu-latest'
+      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@dev
+      with:
+        distrib: community
+
+    - name: Set up `alr`
+      uses: mosteo/setup-alire@exp
+
+    - name: Test crate (Linux)
+      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
+      uses: mosteo/actions@docker-run/v1
+      with:
+        image: alire/gnat:${{matrix.tag}}
+        command: scripts/gh-build-crate.sh
+
+    - 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'
+      run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
+
+    - name: Test crate (Windows/MacOS)
+      if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
+      run: scripts/gh-build-crate.sh
+      shell: bash

CONTRIBUTING.md

@@ -16,7 +16,7 @@ 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.rst).
+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
 

index/ad/ada_pretty.toml

@@ -0,0 +1,19 @@
+[general]
+description = "Ada Pretty Printer Library"
+tags = ["pretty", "printing", "generator"]
+
+licenses = ["MIT"]
+authors = ["Maxim Reznik"]
+website = "https://github.com/reznikmm/ada-pretty/"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+
+project-files = ["gnat/ada_pretty.gpr"]
+
+    [general.depends-on]
+    matreshka_league = "any"
+
+['1.0.0']
+origin = "https://github.com/reznikmm/ada-pretty/archive/1.0.0.tar.gz"
+origin-hashes= ["sha512:cdcd41f8dc5d0638a6beae2fd212c88ffa42c99a8d397eec8f734d5f0befc5632439e5673140c3f59d2d0cb203ccce0fb4fe9de9ede2cec222a77f5e8577932f"]
+

index/ad/ada_voxel_space_demo.toml

@@ -8,6 +8,12 @@ executables = ["main"]
 
 licenses = ["MIT"]
 
+["1.0.1"]
+origin = "https://github.com/Fabien-Chouteau/ada-voxel-space-demo/releases/download/v1.0.1/ada_voxel_space_demo-1.0.1.zip"
+origin-hashes = ["sha512:69740326ce512b57e15e311e82bbbd500bdbcb434290af598a379fbee8a157f9c6a18321d6b36164aae78687c0012f051bd7fcdb5eebd85ed6b2cec33a0b3917"]
+["1.0.1".depends-on]
+sdlada = "^2.3.1"
+
 ["1.0.0"]
 origin = "https://github.com/Fabien-Chouteau/ada-voxel-space-demo/releases/download/v1.0.0/ada_voxel_space_demo-1.0.0.zip"
 origin-hashes = ["sha512:b7a0cf7cb5c740994bc523a40d7d51838bdbdbf66a4e15e04a90ee42251f13bf42d268b485c84e434808530f7166ba6d5617033e4942695ace448d787b18641c"]

index/an/anagram.toml

@@ -0,0 +1,19 @@
+[general]
+description = "Grammar handling and parser generation Ada library"
+tags = ["grammar", "syntax", "analysis", "bnf", "ebnf", "generator"]
+
+licenses = ["MIT"]
+authors = ["Maxim Reznik"]
+website = "https://github.com/reznikmm/anagram"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+
+project-files = ["gnat/anagram.gpr"]
+
+    [general.depends-on]
+    matreshka_league = "any"
+
+['1.0.0']
+origin = "https://github.com/reznikmm/anagram/archive/1.0.0.tar.gz"
+origin-hashes= ["sha512:49233f56928e21d3deabb58289d0bd481f2244f7bf6efaa792a155ede8b767d8b658fdc9877dc0b84367da14f60474c761d48515c9b07a05d7ad447899e09822"]
+

index/an/ansiada.toml

@@ -0,0 +1,49 @@
+[general]
+description = "Comprehensive ANSI control sequences for terminal output"
+
+long-description = """
+# ANSI-Ada
+
+[![Alire indexed](https://img.shields.io/badge/alire-0.1.0-blue.svg)](https://alire.ada.dev)
+[![MIT licensed](https://img.shields.io/badge/license-MIT-blue.svg)](./LICENSE)
+
+ANSI control sequences for the Ada language.
+
+This library consists of a single pure package for the generation of escape
+sequences that allow to control, in ANSI-enabled TTYs:
+
+* Text color and styles
+* Cursor position
+* Clearing of parts of the terminal
+
+In order to keep the library as simple as possible there is no TTY capability
+detection, so you must either assume ANSI is recognized or use other means of
+detection (e.g., `Interfaces.C_Streams.isatty` as a bare minimum to detect
+redirections).
+
+The library comes with a demo program that can serve to test the appearance and
+capabilities of your terminal.
+"""
+
+licenses = ["MIT"] 
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+executables = ["ansi-demo"]
+project-files = ["ansi.gpr"]
+
+tags = ["console", "terminal", "tty"]
+
+[general.gpr-externals]
+ANSIADA_BUILD_MODE = ["On_Demand", "Static_Lib", "Shared_Lib"]
+
+[general.gpr-set-externals]
+ANSIADA_BUILD_MODE = "On_Demand"
+
+
+############
+# RELEASES #
+############
+
+['0.1']
+origin = "git+https://github.com/mosteo/ansi-ada@27a89150c1f5481a821722601a3b6d4a5368596c"

index/as/asis.toml

@@ -5,34 +5,35 @@ authors = ["AdaCore"]
 website = "https://www.adacore.com/download/more"
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
+project-files = ["asis.gpr"]
+
+    [[general.actions]]
+    type = "post-fetch"
+    command = ["make", "setup-snames"]
 
     [general.depends-on]
     make = "any"
 
+[2019]
+origin = "https://community.download.adacore.com/v1/52c69e7295dc301ce670334f8150193ecbec580d?filename="
+archive-name = "asis-2019-20190517-18AB5-src.tar.gz"
+origin-hashes= ["sha512:3ca32fa2eeee10ef2d0e6eb8ab555c3e31b417bdab6749fdd8bd264efa2c93a388a5731c40705782a3a28f16e0c385af195f69d95020e265b2230ead1c91977f"]
+
+    [2019.depends-on]
+    gnat = "=2019"
+
 [2018]
-origin = "http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8"
+origin = "https://community.download.adacore.com/v1/c338044768412af787c8cff13c0d952ed688df11?filename="
 archive-name = "asis-gpl-2018-20180524-src.tar.gz"
 origin-hashes= ["sha512:e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a"]
-project-files = ["asis.gpr"]
 
-    [[2018.actions]]
-    type = "post-fetch"
-    command = ["make", "setup-snames"]
-
-    [2018.available.'case(compiler)']
-    gnat-community-2018 = true
-    "..." = false
+    [2018.depends-on]
+    gnat = "=2018"
 
 [2017]
-origin = "http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb"
+origin = "https://community.download.adacore.com/v1/369101e6b0d9e777b9bcae821ddb68567138a95f?filename="
 archive-name = "asis-gpl-2017-src.tar.gz"
 origin-hashes = ["sha512:dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f"]
-project-files = ["asis.gpr"]
 
-    [[2017.actions]]
-    type = "post-fetch"
-    command = ["make", "setup-snames"]
-
-    [2017.available.'case(compiler)']
-    gnat-community-2018 = true
-    "..." = false
+    [2017.depends-on]
+    gnat = "=2017"

index/aw/aws.toml

@@ -1,14 +1,15 @@
 [general]
 description = "Ada Web Server"
-long-description = "This is a placeholder for an unsupported crate. Please contact the maintainer if you want to take over packaging and maintenance of this crate."
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 licenses = []
 
-[0]
-origin = "native:libaws"
-# By making it a native package we ensure it does not interfere 
-# with resolution of dependent packages (we will get a hint).
+[[external]]
+kind = "hint"
+hint = "Available through GNAT CE bundles"
+available.'case(toolchain)'.system = false
 
-available = false
-# Marked as unavailable until it's properly packaged
+[[external]]
+kind = "system"
+origin = ["libaws3.3.2.2-dev"]
+available.'case(toolchain)'.user = false

index/ba/basalt.toml

@@ -1,3 +1,7 @@
+["0.2.0"]
+origin = "https://github.com/Componolit/basalt/archive/v0.2.0.tar.gz"
+origin-hashes = ["sha512:ecc31fff5a413913a7d6f3ae67107c465bf39772497f15fd7444affa9a7816c4fd7808806ee9630ad4703f1a11613bed1d802f10435d1a850154342549b7dabc"]
+
 ["0.1.0"]
 origin = "https://github.com/Componolit/basalt/archive/v0.1.0.tar.gz"
 origin-hashes = ["sha512:715cb1b41be4425b90adc5404fd4193d97c74980245ef75b09f5986bbe84310d2c90771273076ff70785b2098a582ceabb51a0380857576c0e6614f05df152de"]

index/gl/glut.toml

@@ -4,6 +4,6 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-['2.8.1-3']
-    ['2.8.1-3'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:freeglut3-dev"
+[[external]]
+kind = "system"
+origin = ["freeglut3-dev"]

index/gn/gnat.toml

@@ -4,11 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-# Until we rework the native package situation, the intention here is to
-# depend on the native compiler, and not in a particular version. Hence,
-# although versions do not match here, we get the intended result.
-
-[0]
-    [0.origin.'case(distribution)']
-    'debian|ubuntu' = "native:gnat"
-    '...' = ""
+[[external]]
+kind = "version-output"
+version-command = [ "gnat", "--version" ]
+version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"

index/gn/gnatcoll.toml

@@ -6,7 +6,7 @@ maintainers = ["derodat@adacore.com"]
 maintainers-logins = ["pmderodat"]
 
 # This crate has a hidden conflict with any other gnatcoll.
-# Declaring conflicts was removed during index transition 
+# Declaring conflicts was removed during index transition
 # and it's still not reinstated.
 
     [general.gpr-externals]
@@ -25,17 +25,17 @@ maintainers-logins = ["pmderodat"]
         windows = { GNATCOLL_OS = "windows" }
 
 [2018]
-origin = "http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99"
+origin = """https://community.download.adacore.com/v1/\
+            213105933eb2deb4d08f6b5beab518ad6c70fbac?filename="""
 archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
 origin-hashes = ["""\
-    sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90\
-    a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac\
+    sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a970\
+    6690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac\
 """]
 project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
 
-    [2018.available.'case(compiler)']
-    'gnat-community-2018' = true
-    '...' = false
+    [2018.depends-on]
+    gnat = "^2018"
 
 [2019]
 origin = """https://community.download.adacore.com/v1/\
@@ -47,9 +47,13 @@ origin-hashes = ["""\
 """]
 project-files = ["gnatcoll.gpr"]
 
-    [2019.available.'case(compiler)']
-    'gnat-fsf-9-0' = true
-    'gnat-fsf-9-1' = true
-    'gnat-fsf-9-2-or-newer' = true
-    'gnat-community-2019' = true
-    '...' = false
+    [2019.depends-on]
+    gnat = "^2019"
+
+[[external]]
+kind = "system"
+origin.'case(distribution)'.'debian|ubuntu' = [
+    "libgnatcoll16.1.0-dev",
+    "libgnatcoll17-dev",
+    "libgnatcoll18-dev"
+]

index/gn/gnatcoll_gmp.toml

@@ -25,14 +25,8 @@ origin-hashes = ["""\
     a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48\
 """]
 
-    [2019.available.'case(compiler)']
-    'gnat-fsf-9-0' = true
-    'gnat-fsf-9-1' = true
-    'gnat-fsf-9-2-or-newer' = true
-    'gnat-community-2019' = true
-    '...' = false
-
     [2019.depends-on]
+    gnat = ">=9.0"
     gnatcoll = "^2019"
     libgmp = "^6.1"
 

index/gn/gnatcoll_iconv.toml

@@ -33,14 +33,8 @@ origin-hashes = ["""\
     a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48\
 """]
 
-    [2019.available.'case(compiler)']
-    'gnat-fsf-9-0' = true
-    'gnat-fsf-9-1' = true
-    'gnat-fsf-9-2-or-newer' = true
-    'gnat-community-2019' = true
-    '...' = false
-
     [2019.depends-on]
+    gnat = ">=9.0"
     gnatcoll = "^2019"
 
     [2019.gpr-set-externals]

index/gt/gtkada.toml

@@ -4,10 +4,12 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-    [general.depends-on]
-    gnat = "any"
+[[external]]
+kind = "system"
 
-[17]
-    [17.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libgtkada16.1.0-dev"
-    '...' = ""
+   [external.available.'case(toolchain)']
+   user = false
+
+   [external.origin.'case(distribution)']
+   debian = ["libgtkada18-dev"]
+   ubuntu = ["libgtkada16.1.0-dev"]

index/index.toml

@@ -1 +1 @@
-version = "0.1"
+version = "0.2"

index/jw/jwt.toml

@@ -0,0 +1,18 @@
+[general]
+description = "JSON Web Token (JWT) implementation in Ada"
+tags = ["web", "token", "jws", "json", "jwt"]
+
+licenses = ["MIT"]
+authors = ["Maxim Reznik"]
+website = "https://github.com/reznikmm/jwt"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+project-files = ["gnat/jwt.gpr"]
+
+    [general.depends-on]
+    matreshka_league = "any"
+
+['1.0.0']
+origin = "https://github.com/reznikmm/jwt/archive/1.0.0.tar.gz"
+origin-hashes= ["sha512:5caac64d0e8d5e2e1480ee44ae214585046e9dee1ce391196891e56a4140d9314ed4551ec0fcd162ec909a5f1ce28867cb265e912d6e50b6659b5655597a3d4e"]
+

index/li/libglfw3.toml

@@ -4,7 +4,6 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-[3]
-    [3.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libglfw3-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+origin = ["libglfw3-dev"]

index/li/libgmp.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["derodat@adacore.com"]
 maintainers-logins = ["pmderodat"]
 
-['6.1.0']
-    ['6.1.0'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libgmp-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+   [external.origin.'case(distribution)']
+   'debian|ubuntu' = ["libgmp-dev"]

index/li/libgnutls.toml

@@ -4,7 +4,8 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-['3.5.8']
-    ['3.5.8'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libgnutls28-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+   [external.origin.'case(distribution)']
+   'debian|ubuntu' = ["libgnutls28-dev"]
+   '...' = []

index/li/libgraph_easy_perl.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-['2.8.1-3']
-    ['2.8.1-3'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libgraph-easy-perl"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["libgraph-easy-perl"]

index/li/libgsl.toml

@@ -4,7 +4,6 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-[0]
-    [0.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libgsl-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+origin = ["libgsl-dev"]

index/li/liblua.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-['5.3']
-    ['5.3'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:liblua5.3-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["liblua5.3-dev"]

index/li/libsdl2.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-[2]
-    [2.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libsdl2-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["libsdl2-dev"]

index/li/libsdl2_image.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-[2]
-    [2.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libsdl2-image-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["libsdl2-image-dev"]

index/li/libsdl2_ttf.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-[2]
-    [2.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libsdl2-ttf-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["libsdl2-ttf-dev"]

index/li/libx11.toml

@@ -4,7 +4,7 @@ licenses = []
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-[2]
-    [2.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libx11-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["libx11-dev"]

index/li/libzmq.toml

@@ -0,0 +1,11 @@
+[general]
+description = "lightweight messaging kernel"
+licenses = []
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+
+[[external]]
+kind = "system"
+   [external.origin.'case(distribution)']
+   'debian|ubuntu' = ["libzmq3-dev"]
+   'msys2' = ["mingw-w64-x86_64-zeromq"]

index/ma/make.toml

@@ -4,8 +4,8 @@ maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 licenses = []
 
-[0]
-origin = "native:make"
-#    [0.origin.'case(distribution)']
-#    'debian|ubuntu' = "native:make"
-#    '...' = ""
+[[external]]
+kind = "system"
+
+   [external.origin.'case(distribution)']
+   '...' = ["make"]

index/nc/ncursesada.toml

@@ -9,17 +9,11 @@ licenses = []
     [general.depends-on]
     gnat = "any"
 
-['6.1.20180127']
-    ['6.1.20180127'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libncursesada6.1.20180127-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+available.'case(toolchain)'.user = false
 
-['6.1']
-    ['6.1'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libncursesada5-dev"
-    '...' = ""
-
-[5]
-    [5.origin.'case(distribution)']
-    'debian|ubuntu' = "native:libncursesada3-dev"
-    '...' = ""
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["libncursesada6.1.20180127-dev",
+                       "libncursesada5-dev",
+                       "libncursesada3-dev"]

index/pl/plplot.toml

@@ -0,0 +1,11 @@
+[general]
+
+description = "A plotting library"
+licenses = ["LGPL 2.1"] 
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+kind = "system"
+origin = ["libplplot-ada-dev"]
+available.'case(toolchain)'.user = false

index/pr/protobuf.toml

@@ -0,0 +1,25 @@
+[general]
+description = "Google Protocol Buffers implementation in Ada"
+tags = ["protocol", "rpc", "generator"]
+
+licenses = ["MIT"]
+authors = ["Maxim Reznik"]
+website = "https://github.com/reznikmm/protobuf"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+
+executables = ["protoc-gen-ada"]
+
+project-files = ["gnat/protoc_gen_ada.gpr"]
+
+    [general.depends-on]
+    ada_pretty = "any"
+    matreshka_league = "any"
+
+    [general.environment.PATH]
+    prepend = "${CRATE_ROOT}/.objs/compiler"
+
+["1.0.0"]
+origin = "https://github.com/reznikmm/protobuf/archive/1.0.0.tar.gz"
+origin-hashes= ["sha512:439627662874582db8787e6a6311f99c61bac6be95d2e66cf6c891ecf5a1f109dc483c3ce1f183727b696ddc9ce38c5b11d0cfa85d3cec36251c62159c35fe93"]
+

index/sa/saatana.toml

@@ -24,8 +24,16 @@ project-files = ["saatana.gpr"]
 tags = ["cryptography", "spark"]
 
 ## A website with further information
-website = "https://github.com/HeisenbugLtd/security"
+website = "https://github.heisenbug.eu/Saatana"
+
+['2.0.2']
+origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
+origin-hashes = ["sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"]
 
 ['2.0.0']
 origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
 origin-hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]
+notes = "This version is deprecated. An error in the proof annotations has been identified which invalidates the proof of absence of runtime errors."
+
+['2.0.2'.depends-on]
+gnat = "^2020"

index/sd/sdlada.toml

@@ -18,13 +18,19 @@ project-files = ["build/gnat/sdlada.gpr"]
         linux = { SDL_PLATFORM = "linux" }
 
     [general.available.'case(os)']
-    linux = true
-    '...' = false
+    linux   = true
+    macos   = true
+    windows = true
+    '...'   = false
 
 [[general.actions.'case(os)'.linux]]
 type = "post-fetch"
 command = ["make", "-C", "build/gnat", "SDL_PLATFORM=linux", "SDL_MODE=release"]
 
+[[general.actions.'case(os)'.macos]]
+type = "post-fetch"
+command = ["make", "-C", "build/gnat", "SDL_PLATFORM=macosx", "SDL_MODE=release"]
+
 [[general.actions.'case(os)'.windows]]
 type = "post-fetch"
 command = ["make", "-C", "build/gnat", "SDL_PLATFORM=windows", "SDL_MODE=release"]

index/si/si_units.toml

@@ -0,0 +1,25 @@
+[general]
+description = "Pretty print physical values in properly scaled metric (SI) units."
+licenses = ["WTFPL"]
+maintainers = ["vinzent@heisenbug.eu"]
+maintainers-logins = ["Jellix"]
+
+project-files = ["si_units_lib.gpr", "si_units.gpr"]
+
+tags=["utilities", "formatting"]
+
+website = "https://github.heisenbug.eu/si_units"
+
+[general.available.'case(distribution)']
+"debian" = false # Compilation hangs on this system (debian-stable)...
+"..." = true
+
+[general.gpr-externals]
+BUILD = ["debug", "release"]
+
+[general.gpr-set-externals]
+BUILD = "release"
+
+['0.1.0']
+origin = "https://github.com/HeisenbugLtd/si_units/archive/v0.1.0.tar.gz"
+origin-hashes = ["sha512:f41afc8d41c391a51e6dcff9d075b474aaf871d3555347921d7173fb5efdad26d4447c686c672b65ab156286755e693e1e56ead89bda1aea09c5428135c0efa3"]

index/so/socketcan.toml

@@ -0,0 +1,14 @@
+[general]
+description = "An Ada language binding to SocketCAN for GNU/Linux systems"
+licenses = ["LGPL 3.0"]
+maintainers = ["glen.m.cornell@gmail.com"]
+maintainers-logins = ["glencornell"]
+project-files = ["src/socketcan.gpr"]
+
+    [general.available.'case(os)']
+    linux   = true
+    '...'   = false
+
+["1.0.0"]
+origin = "https://github.com/glencornell/ada-socketcan/archive/v1.0.0.tar.gz"
+origin-hashes = ["sha512:8c5e2acd867965f9fc45ba8cefedd09eefc02da0a0b705309120dec7339bfc4f21ebff8d098c983207c141bc506ca1236b67762d870732151bd07c197090978d"]

index/sp/spat.toml

@@ -0,0 +1,34 @@
+[general]
+description = "SPAT - SPARK Proof Analysis Tool"
+licenses = ["WTFPL"]
+maintainers = ["vinzent@heisenbug.eu"]
+maintainers-logins = ["Jellix"]
+
+## Long description, can be multi-line using """ """ as delimiters
+long-description = """
+SPAT - SPARK Proof Analysis Tools
+Helper tool to obtain timing information about gnatprove runs (SPARK tools).
+"""
+
+## Executables built (must not include any relative path)
+executables = ["run_spat"]
+
+## Project files made available to clients (with relative path)
+## If only a single project file named as the crate is provided
+## at the root directory, then this property can be omitted.
+project-files = ["spat.gpr"]
+
+## Keywords for classification
+tags = ["spark"]
+
+## A website with further information
+website = "https://github.heisenbug.eu/spat"
+
+['1.0.0']
+origin = "https://github.com/HeisenbugLtd/spat/releases/download/v1.0.0/spat-1.0.0.tar.gz"
+origin-hashes = ["sha512:2750bb27b68346f6585dafcd7b1ccec615200ac96155dd08d05d62505473a2ca5f3fca476c04d4a77a24f6506ada745f3c6a0bcafe4f23f722f3494ba8a1a5c5"]
+
+['1.0.0'.depends-on]
+si_units = "^0.1.0"
+['1.0.0'.depends-on.'case(toolchain)'.system]
+gnatcoll = ">=19 & <2000"

index/te/templates_parser.toml

@@ -28,3 +28,8 @@ origin-hashes = ["sha512:997a4ca50fef45846b125813ae2b5863632fa45120f7fc97fe501fd
 
     ['17.2'.depends-on]
     xmlada = "any"
+
+#[[external]]
+#kind = "system"
+#origin = ["libtemplates-parser11.10.2-dev"]
+# This release corresponds with 17.2 given in source form

index/un/unixodbc.toml

@@ -5,7 +5,6 @@ maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 website = "http://www.unixodbc.org"
 
-['2.3']
-    ['2.3'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:unixodbc-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+origin = ["unixodbc-dev"]

index/we/webdriver.toml

@@ -0,0 +1,20 @@
+[general]
+description = "Web Browser control API"
+tags = ["web", "control", "selenium", "chrome"]
+
+licenses = ["MIT"]
+authors = ["Maxim Reznik"]
+website = "https://github.com/reznikmm/webdriver"
+maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["reznikmm"]
+
+project-files = ["gnat/webdriver.gpr"]
+
+    [general.depends-on]
+    aws = "any"
+    matreshka_league = "any"
+
+['1.0.0']
+origin = "https://github.com/reznikmm/webdriver/archive/1.0.0.tar.gz"
+origin-hashes= ["sha512:dabe468275ff4ba0497ab1efab0882398d14533ef972a2a7a334e169c89348b5d28b162317600b5b9f6762d87cfb98d12e2dea879a843d800d770934f4110d49"]
+

index/ze/zeromq_ada.toml

@@ -0,0 +1,32 @@
+[general]
+description = "An Ada-binding the ØMQ library"
+tags = ["network", "distributed", "messaging", "binding"]
+
+licenses = ["MIT", "GMGPL 2.0"]
+authors = ["Per Sandberg <per.s.sandberg@bahnhof.se>"]
+website = "https://github.com/persan/zeromq-Ada"
+maintainers = ["Per Sandberg <per.s.sandberg@bahnhof.se>", "Maxim Reznik <reznikmm@gmail.com>"]
+maintainers-logins = ["persan", "reznikmm"]
+
+project-files = ["zmq.gpr"]
+
+    [general.depends-on]
+    libzmq = "any"
+
+    [[general.actions]]
+    type = "post-fetch"
+    command = ["cp", "libzmq.gpr.in", "libzmq.gpr"]
+
+    [[general.actions]]
+    type = "post-fetch"
+    command = ["cp", "libsodium.gpr.in", "libsodium.gpr"]
+
+    [general.gpr-externals]
+    LIBRARY_TYPE = ["static", "relocatable"]
+
+    [general.gpr-set-externals]
+    LIBRARY_TYPE = "static"
+
+['4.1.5']
+origin = "https://github.com/persan/zeromq-Ada/archive/4.1.5-20200330.tar.gz"
+origin-hashes= ["sha512:b2a857f77a0d3173b0b57978c2525c99c577512bd80928c8443f8f11a00193c6c0a7301a9c4ee9199338a616c40860917b5194e79f42c90f4bd838cde3ff2222"]

index/zl/zlib.toml

@@ -5,8 +5,7 @@ authors = ["Jean-loup Gailly", "Mark Adler"]
 maintainers = ["alejandro@mosteo.com"]
 maintainers-logins = ["mosteo"]
 
-['1.2']
-
-    ['1.2'.origin.'case(distribution)']
-    'debian|ubuntu' = "native:zlib1g-dev"
-    '...' = ""
+[[external]]
+kind = "system"
+    [external.origin.'case(distribution)']
+    'debian|ubuntu' = ["zlib1g-dev"]

scripts/gh-build-crate.sh

@@ -0,0 +1,126 @@
+#!/bin/bash
+
+trap 'echo "ERROR at line ${LINENO} (code: $?)" >&2' ERR
+trap 'echo "Interrupted" >&2 ; exit 1' INT
+
+set -o errexit
+set -o nounset
+
+# See whats happening
+git log --graph --decorate --pretty=oneline --abbrev-commit --all | head -30
+
+# Detect changes
+CHANGES=$(git diff --name-only HEAD~1)
+
+# Bulk changes for the record
+echo Changed files: $CHANGES
+
+# Import the out-of-docker built alr
+export PATH+=:${PWD}/alire/bin
+
+# Show alr metadata
+alr version
+
+# Configure index
+alr index --name local --add ./index
+
+# Test crate
+for file in $CHANGES; do
+
+   if [[ $file == index.toml ]]; then 
+      echo Skipping index metadata file: $file
+      continue
+   fi
+
+   if [[ $file != *.toml ]]; then
+      echo Skipping non-crate file: $file
+      continue
+   fi
+
+   if ! [ -f ./$file ]; then
+      echo Skipping deleted file: $file
+      continue
+   fi
+
+   # Checks passed, this is a crate we must test
+   is_system=false
+
+   crate=$(basename $file .toml)
+   echo Testing crate: $crate
+
+   # Show info for the record
+   echo PLATFORM-INDEPENDENT CRATE INFO $crate
+   alr show $crate
+   alr show --external $crate
+   alr show --external-detect $crate
+
+   echo PLATFORM-DEPENDENT CRATE INFO $crate
+   alr show --system $crate
+   alr show --external --system $crate
+   alr show --external-detect --system $crate
+   crateinfo=$(alr show --external-detect --system $crate)
+
+   echo CRATE DEPENDENCIES $crate
+   alr show --solve --detail --external-detect $crate
+   solution=$(alr show --solve --detail --external-detect $crate)
+
+   # Skip on explicit unavailability
+   if alr show --system $crate | grep -q 'Available when: False'; then
+      echo SKIPPING crate build: $crate UNAVAILABLE on system
+      continue
+   fi
+
+   # In unsupported platforms, externals are properly reported as missing. We
+   # can skip testing of such a crate since it will likely fail.
+   if grep -q 'Dependencies (external):' <<< $solution ; then
+      echo SKIPPING build for crate $crate with MISSING external dependencies
+      continue
+   fi
+
+   # Update system repositories whenever a detected system package is involved, 
+   # either as dependency or as the crate being tested.
+   if grep -iq 'origin: system' <<< $solution; then
+      echo UPDATING system repositories...
+      type apt-get 2>/dev/null && apt-get update || true
+      type pacman  2>/dev/null && pacman -Syy    || true
+   else
+      echo No need to update system repositories
+   fi
+
+   # Alternatives for when the crate itself comes from an external. Only system
+   # externals should be tested.
+   if grep -q 'Origin: external path' <<< $crateinfo ; then
+      echo SKIPPING detected external crate $crate
+      continue
+   elif grep -q 'Origin: system package' <<< $crateinfo ; then
+      echo INSTALLING detected system crate $crate
+      is_system=true
+   elif grep -q 'Not found:' <<< $crateinfo && \
+        grep -q 'There are external definitions' <<< $crateinfo
+   then
+      echo SKIPPING undetected external crate $crate
+      continue
+   fi
+
+   # Detect missing dependencies for clearer error
+   if grep -q 'Dependencies cannot be met' <<< $solution ; then
+      echo FAIL: crate $crate dependencies cannot be met
+      exit 1
+   fi
+   
+   # Actual checks
+   echo DEPLOYING CRATE $crate
+   alr get -d --build -n $crate
+
+   if $is_system; then 
+      echo DETECTING INSTALLED PACKAGE via crate $crate
+      alr show -d --external-detect $crate
+   else
+      echo LISTING EXECUTABLES of crate $crate
+      cd ${crate}_*
+      alr run -d --list
+      cd ..
+   fi
+
+   echo CRATE $crate TEST ENDED SUCCESSFULLY
+done

templates/unavailable.toml

@@ -0,0 +1,12 @@
+[general]
+description = "Knowingly unavailable dependency template"
+long-description = "This is a placeholder for an unsupported crate. Please contact the maintainer if you want to take over packaging and maintenance of this crate."
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+licenses = []
+tags = []
+
+[[external]] 
+# A external crate never found during dependency resolution.
+kind = "hint"
+hint = "This crate is unavailable through Alire. Please check upstream installation documentation."