gtkada-23.0-20220512

aaa 0.2.6 (#541 )
rejuvenation 22.0.1 (#542 )
2022-06-10 17:12:18 +02:00 · 2022-06-10 10:22:59 +02:00 · 2022-06-10 09:49:29 +02:00 · 2022-06-09 20:51:03 +02:00 · 2022-06-09 11:32:00 +02:00 · 2022-06-09 11:03:33 +02:00
101 changed files with 2301 additions and 10 deletions
@@ -59,9 +59,13 @@ 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@ce2020
+      uses: ada-actions/toolchain@ce2021
      with:
        distrib: fsf # faster install?

@@ -0,0 +1,53 @@
+# 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
@@ -12,7 +12,7 @@ jobs:

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

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

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

    - run: alr index --list

@@ -0,0 +1,7 @@
+# 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.
@@ -0,0 +1,27 @@
+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"
+
@@ -0,0 +1,27 @@
+name = "aaa"
+version = "0.2.6"
+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 = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
+url = "git+https://github.com/mosteo/aaa.git"
+
@@ -0,0 +1,22 @@
+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"
+
@@ -0,0 +1,22 @@
+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"
+
@@ -0,0 +1,30 @@
+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"
+
@@ -0,0 +1,15 @@
+name = "ansiada"
+description = "ANSI escape sequences"
+version = "1.0.0"
+
+licenses = "MIT"
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+tags = ["ansi", "terminal"]
+
+[origin]
+commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
+url = "git+https://github.com/mosteo/ansi-ada.git"
+
@@ -0,0 +1,18 @@
+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"]
@@ -0,0 +1,15 @@
+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"
+
@@ -0,0 +1,15 @@
+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"
+
@@ -0,0 +1,33 @@
+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"
+
@@ -0,0 +1,16 @@
+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"
+
@@ -0,0 +1,16 @@
+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"
+
@@ -0,0 +1,28 @@
+name = "clic"
+description = "Command Line Interface Components"
+version = "0.2.1"
+
+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
+"""
+
+[[depends-on]]
+aaa = "~0.2.4"
+simple_logging = "^1.2.0"
+ansiada = "^1.0"
+ada_toml = "~0.2|~0.3"
+
+[origin]
+commit = "c7aabf94e0946ae3a5b77c29cc45fd28f70e17f6"
+url = "git+https://github.com/alire-project/clic.git"
+
@@ -0,0 +1,34 @@
+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.4.0"
+licenses = "BSD-3-Clause"
+authors=["AdaCore"]
+website="https://github.com/AdaCore/Ada_Drivers_Library/"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["embedded", "arm", "nostd"]
+
+[[depends-on]]
+hal = "~0.3"
+gnat_arm_elf = ">=11"
+
+[configuration.variables]
+core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
+
+[origin]
+commit = "7cfb8c9b2f03a5f461c113b6acf3b6245c627cc7"
+url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
+
@@ -0,0 +1,18 @@
+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"
+
@@ -0,0 +1,18 @@
+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"
+
@@ -0,0 +1,20 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "2.0.1"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
+website = "https://github.com/hgrodriguez/eeprom_i2c"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "c01692bc92bc536cf35918e4aa2ed8ba7cec7ab3"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+
@@ -0,0 +1,20 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "3.0.1"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
+website = "https://github.com/hgrodriguez/eeprom_i2c"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+
@@ -0,0 +1,18 @@
+name = "eeprom_i2c"
+description = "EEPROM I2C drivers library for embedded platforms"
+version = "3.2.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
+website = "https://github.com/hgrodriguez/eeprom_i2c"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1.0"  # Added by alr
+
+[origin]
+commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
+url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
+
@@ -0,0 +1,15 @@
+name = "endianness"
+description = "Convenience subprograms to convert between Big- and Little-endianness"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/endianness"
+licenses = "ISC"
+tags = ["spark", "endianness", "system"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "0fdb81cde626f68c726eaac5c1211a65e6a06a33"
+url = "git+https://github.com/AntonMeep/endianness.git"
+
@@ -0,0 +1,19 @@
+name = "epoll"
+description = "Linux epoll binding"
+version = "0.1.1"
+licenses = "BSD-3-Clause"
+tags = ["linux", "epoll", "net"]
+website = "https://github.com/JeremyGrosser/epoll-ada"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+
+[available.'case(os)']
+linux = true
+'...' = false
+
+[origin]
+commit = "5475faed094db88b70de29afe74e204dff87447c"
+url = "git+https://github.com/JeremyGrosser/epoll-ada.git"
+
@@ -0,0 +1,24 @@
+name = "evdev"
+description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
+version = "2.0.0"
+website = "https://github.com/onox/evdev-ada"
+licenses = "Apache-2.0"
+tags = ["evdev", "force-feedback"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+project-files = ["evdev.gpr", "evdev_info.gpr"]
+executables = ["evdev-ada"]
+
+[configuration]
+disabled = true
+
+[available.'case(os)']
+linux = true
+'...' = false
+
+[origin]
+commit = "78c027582c31314663a4b1ddac9d3e12a3639404"
+url = "git+https://github.com/onox/evdev-ada.git"
@@ -0,0 +1,18 @@
+name = "fastpbkdf2_ada"
+description = "Binding and an Ada wrapper to fastpbkdf2"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/fastpbkdf2_ada"
+licenses = "ISC"
+tags = ["pbkdf2", "cryptography"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+openssl = "~1.1.1"
+
+[origin]
+commit = "c46be9fde5330e96e4ae7e52a77ada60b7f89fe6"
+url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
+
@@ -0,0 +1,18 @@
+name = "fastpbkdf2_ada"
+description = "Binding and an Ada wrapper to fastpbkdf2"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/fastpbkdf2_ada"
+licenses = "ISC"
+tags = ["pbkdf2", "cryptography"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+openssl = "~1.1.1"
+
+[origin]
+commit = "ef1c2f3ad47ef550709434f65ff49395f486fd19"
+url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
+
@@ -0,0 +1,27 @@
+name = "getopt"
+description = "POSIX getopt(3) for Ada"
+version = "1.2.2"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/getopt-ada"
+tags = ["arguments", "options", "flags", "getopt"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[gpr-externals]
+LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+COMPILE_CHECKS = ["enabled", "disabled"]
+RUNTIME_CHECKS = ["enabled", "disabled"]
+STYLE_CHECKS = ["enabled", "disabled"]
+CONTRACTS = ["enabled", "disabled"]
+BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:b5ade9bcda49c1dc74554137fe961e4d4c072d29fcf99a7219ccb4c2827ae84e",
+"sha512:4556349572048135747631aa1c89d657282e745ccde9f7126dfb29e4648d301b778c583f83703ad72e73ca74741e2484b1dcd341d3f4c1ed589a59b71a5ccfdd",
+]
+url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v1.2.2.tar.gz"
+
@@ -0,0 +1,15 @@
+description = "Decoding a broad variety of image formats"
+name = "gid"
+version = "10.0.0"
+authors = ["Gautier de Montmollin"]
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
+project-files = ["gid.gpr"]
+
+[gpr-externals]
+GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast", "Small", "Smallest", "Profiling"]
+
+[origin]
+url = "https://sourceforge.net/projects/gen-img-dec/files/gid_010.zip"
+hashes = ["sha512:ea4b473fc5020e8cd2248aa02e65a5d9d606994392130d5bd024e93e6c1de402e9a54f59adf0dbfa9c80163f1b61f300e3dce7d7e5544006073646e3c5dc00c3"]
@@ -0,0 +1,27 @@
+name = "gnat_arm_elf"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - ARM cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-linux64-11.2.0-4.tar.gz"
+hashes = ["sha256:ba16d45c9d4a055e759e79692642cc50b537cd87de99dc6a845c92d8fe7380a3"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:839811c83a395d8c8ef9ffdf5c230089ded61c9dedc5615e0960cb438c6dd0fc"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:65724f2cd3c1174df8dd1499ae13a5eb4367008e61c3ba0d9cc642a78f9818cf"]
@@ -0,0 +1,27 @@
+name = "gnat_avr_elf"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - AVR cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-linux64-11.2.0-4.tar.gz"
+hashes = ["sha256:aa9d26936210036ae062f74232b17ce46a4a4518411960e223dd9c877869eea9"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:13b466e3cab5c8332d99e7e0054df8b2d9ce6eaf500638fc3ef5cbd5a65790ad"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:c1a028004606fa01032026d91c66acc0215dad281af95095996827e81220145d"]
@@ -0,0 +1,27 @@
+name = "gnat_native"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - Native"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:2f9c5d6de6d1c26bb1cee3438dcdf0277d231bfd7129d441b5e7253558da340e"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:9800548db56698e9150252b9382a39953c4a8129d715367c6f787bee48ff1eef"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-linux-11.2.0-4.tar.gz"
+hashes = ["sha256:2f37a10bd215a679b6a4af393b56b2a4fb6ccbedd293a34764e36fea635c58b0"]
@@ -0,0 +1,27 @@
+name = "gnat_riscv64_elf"
+version = "11.2.4"
+provides = ["gnat=11.2.4"]
+description = "The GNAT Ada compiler - RISC-V cross-compiler"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-linux64-11.2.0-4.tar.gz"
+hashes = ["sha256:f4a370b52e490ce7ed1e27be5ea70d1e75cc14f70439fa0f2207ea691c9d95dc"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-darwin-11.2.0-4.tar.gz"
+hashes = ["sha256:69c6306ef68d50eb8c55677e8f2179920a33562b193f7a5c7bb2877b17f3fd7d"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-windows64-11.2.0-4.tar.gz"
+hashes = ["sha256:b21d71cae05dd13309684fc0d6d60d1e440265fe1682ee70789e734037550c27"]
@@ -0,0 +1,26 @@
+name = "gnatprove"
+version = "11.2.3"
+description = "Automatic formal verification of SPARK code"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
+hashes = ["sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
+hashes = ["sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
+hashes = ["sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"]
@@ -0,0 +1,40 @@
+description = "An Ada graphical toolkit based on Gtk+"
+website = "https://github.com/adacore/gtkada"
+name = "gtkada"
+version = "23.0.0-20220512"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["install_dir/lib/gnat/gtkada.gpr"]
+tags = ["gtk", "gui"]
+
+[[actions]]
+type = "post-fetch"
+command = ["bash", "configure", "--with-GL=no"]
+
+# Since the GTKAda 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", "all", "install", "prefix=install_dir"]
+
+[[depends-on]]
+make = "*"
+pkg_config = "*"
+libgtk3 = "^3"
+
+[depends-on.'case(os)'.windows]
+winpthreads = "*"
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
+
+[environment.'case(distribution)']
+msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
+msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
+
+[origin]
+url="git+https://github.com/AdaCore/gtkada.git"
+commit = "I2d6c321ea97591d31f425bd148f2ed33b84a89a8"
+
@@ -0,0 +1,27 @@
+description = "Hardware Abstraction Layer (HAL)"
+
+long-description = '''# hal
+
+Hardware Abstraction Layer: interfaces definitions to abstract access to common
+hardware devices and protocols
+
+This crate is a snapshot of the `hal` in [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
+
+Any bug report, issue, contribution must be adressed to the [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
+
+'''
+
+name = "hal"
+version = "0.3.0"
+licenses = "BSD-3-Clause"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["hal.gpr"]
+tags = ["embedded", "hal", "nostd"]
+
+[origin]
+commit = "095ae5140d55ba5bc3905295d1029e79e1f11d43"
+url = "git+https://github.com/Fabien-Chouteau/hal.git"
+
@@ -0,0 +1,19 @@
+name = "hmac"
+description = "HMAC implemented in Ada"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/hmac"
+licenses = "ISC"
+tags = ["cryptography", "security", "hmac"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+sha1 = "^1.0.0"
+sha2 = "^1.1.0"
+
+[origin]
+commit = "d88a7b576bb62ad7d5c6375424107f132879b34b"
+url = "git+https://github.com/AntonMeep/hmac.git"
+
@@ -0,0 +1,19 @@
+name = "hmac"
+description = "HMAC implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/hmac"
+licenses = "ISC"
+tags = ["cryptography", "security", "hmac"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+sha1 = "^2.0.0"
+sha2 = "^2.0.0"
+
+[origin]
+commit = "d8046c212cc27744710cfa075462ac4ff766f1c6"
+url = "git+https://github.com/AntonMeep/hmac.git"
+
@@ -0,0 +1,13 @@
+description = "A standalone, portable Ada package for configuration files"
+name = "ini_files"
+version = "10.0.0"
+licenses = "MIT"
+authors = ["Rolf Ebert", "Gautier de Montmollin"]
+website = "https://sourceforge.net/p/ini-files/"
+maintainers = ["rolf.ebert.gcc@gmx.de", "gdemont@hotmail.com"]
+maintainers-logins = ["RREE", "zertovitch"]
+project-files = ["ini_files.gpr"]
+
+[origin]
+url = "https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-10.zip"
+hashes = ["sha512:6f2bab21ce53d8b4448d30c0fc1b0bd4ec070120f6343ff176dbec338530e8d7948e14fd8e991b26f108f60cd7dc44531a537c8ca087c66ffca4d9993de32f60"]
@@ -1 +1 @@
-version = "1.1"
+version = "1.2"
@@ -0,0 +1,23 @@
+name = "itsybitsy_bsp"
+description = "Board support package for Arduino ItsyBitsy"
+version = "0.0.3"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1"  # Added by alr
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "233852ed7994c73082aa996fd50ce878cdfae5f9"
+url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
+
@@ -0,0 +1,20 @@
+name = "itsybitsy_bsp"
+description = "Board support package for Arduino ItsyBitsy"
+version = "0.0.4"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1"  # Added by alr
+
+[origin]
+commit = "7d01d9d21b36f10312c11a5b9d682feee85645de"
+url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
+
@@ -0,0 +1,20 @@
+name = "itsybitsy_rp2040_bsp"
+description = "Board support package for Arduino ItsyBitsy RP2040"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
+website = "https://github.com/hgrodriguez/itsybitsy_rp2040_bsp"
+
+[[depends-on]]  # Added by alr
+hal = "~0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1"  # Added by alr
+
+[origin]
+commit = "857ffafeeeb3419cf492e591b6e577394f94db9e"
+url = "git+https://github.com/hgrodriguez/itsybitsy_rp2040_bsp.git"
+
@@ -0,0 +1,21 @@
+name = "j2ada"
+description = "Almost Java to Ada translator"
+version = "1.4.2"
+tags = ["java", "translator"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/j2ada"
+
+licenses = "CECILL-2.1"
+
+executables = ["j2ada"]
+
+[gpr-set-externals.'case(os)']
+macos   = { J2ADA_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
+
+[origin]
+commit = "79a4663450089d4dc2acdbb4c656624b6f43269a"
+url = "git+https://github.com/Blady-Com/j2ada.git"
+
@@ -0,0 +1,24 @@
+name = "json"
+description = "An Ada 2012 library for parsing JSON"
+version = "5.0.1"
+website = "https://github.com/onox/json-ada"
+licenses = "Apache-2.0"
+tags = ["json"]
+
+executables = ["pretty_print"]
+
+project-files = ["json.gpr", "json_pretty_print.gpr"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[configuration]
+disabled = true
+
+[origin]
+hashes = [
+"sha256:31d0299f39e7e432d152159fec7381c38616faf67ebbac0025e8e9f27b626114",
+"sha512:1d485dd979c009a38ee5ed9b0544c52ff0c512021b4a37057c96e1c8757ccbf641e76edc75f9cb9e58bc9b422d7cb2b202635897792051800e941d3460e3f50e",
+]
+url = "https://github.com/onox/json-ada/releases/download/v5.0.1/json-5.0.1.tgz"
@@ -0,0 +1,22 @@
+name = "json"
+description = "An Ada 2012 library for parsing JSON"
+version = "5.0.2"
+website = "https://github.com/onox/json-ada"
+licenses = "Apache-2.0"
+tags = ["json"]
+
+executables = ["pretty_print"]
+
+project-files = ["json.gpr", "json_pretty_print.gpr"]
+
+authors = ["onox"]
+maintainers = ["onox <denkpadje@gmail.com>"]
+maintainers-logins = ["onox"]
+
+[configuration]
+disabled = true
+
+[origin]
+url = "git+https://github.com/onox/json-ada.git"
+commit = "d429d7af880ab9ed38d58ac08c1c9a16e7697752"
+subdir = "json"
@@ -0,0 +1,14 @@
+description = "Basic Linear Algebra Subprograms"
+name = "libblas"
+licenses = "custom-blas-2017"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[external]]
+kind="system"
+[external.origin."case(distribution)"]
+"macos" = []
+"debian|ubuntu" = ["libblas-dev"]
+"msys2" = ["mingw-w64-x86_64-lapack"]
@@ -0,0 +1,31 @@
+name = "libkeccak"
+description = "SHA-3 and related algorithms"
+version = "3.0.0"
+licenses = "BSD-3-Clause"
+website = "https://github.com/damaki/libkeccak"
+tags = [
+    "spark", "cryptography", "security", "hash", "sha3", "keccak", "gimli",
+    "ascon", "shake", "cshake", "kmac", "tuplehash", "parallelhash",
+    "kangarootwelve"
+]
+
+authors = ["Daniel King"]
+maintainers = ["Daniel King <damaki.gh@gmail.com>"]
+maintainers-logins = ["damaki"]
+
+[[depends-on]]
+gnat = ">=11.0.0"
+
+[gpr-externals]
+LIBKECCAK_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+LIBKECCAK_COMPILE_CHECKS = ["enabled", "disabled"]
+LIBKECCAK_RUNTIME_CHECKS = ["enabled", "disabled"]
+LIBKECCAK_STYLE_CHECKS = ["enabled", "disabled"]
+LIBKECCAK_CONTRACTS = ["enabled", "disabled"]
+LIBKECCAK_BUILD_MODE = ["debug", "optimize"]
+LIBKECCAK_ARCH = ["generic", "x86_64"]
+LIBKECCAK_SIMD = ["none", "SSE2", "AVX2"]
+[origin]
+commit = "f33be1c8120196d90f600b14d669b11d16149bf9"
+url = "git+https://github.com/damaki/libkeccak.git"
+
@@ -0,0 +1,14 @@
+description = "Linear Algebra Package"
+name = "liblapack"
+licenses = "BSD-3-Clause"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[external]]
+kind="system"
+[external.origin."case(distribution)"]
+"macos" = []
+"debian|ubuntu" = ["liblapack-dev"]
+"msys2" = ["mingw-w64-x86_64-lapack"]
@@ -0,0 +1,15 @@
+name = "libtls"
+description = "A new TLS library"
+website = "https://man.openbsd.org/tls_init.3"
+tags = ["tls", "ssl"]
+licenses = "ISC"
+
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libtls-dev"]
+"arch|centos|fedora" = ["libretls"]
+msys2 = ["mingw-w64-libressl"]
@@ -0,0 +1,35 @@
+name = "linenoise_ada"
+description = "Bindings to the Linenoise line editing library"
+version = "1.1.1"
+licenses = "BSD-2-Clause"
+
+project-files = ["linenoise.gpr"]
+
+website = "https://git.sr.ht/~nytpu/linenoise-ada"
+tags = ["linenoise", "readline", "line-editing"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[available.'case(os)']
+linux   = true
+macos   = true
+windows = false
+'...'   = false
+
+[gpr-externals]
+LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+COMPILE_CHECKS = ["enabled", "disabled"]
+RUNTIME_CHECKS = ["enabled", "disabled"]
+STYLE_CHECKS = ["enabled", "disabled"]
+CONTRACTS = ["enabled", "disabled"]
+BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:09aa2452b34c2714858e06cceeae52f366a79f452fec667d5a78d3252a31b40f",
+"sha512:c098d1281992702d8fd889e73d19feeaa10770f00bdb40ad0cb1627cd6cb48bf8272e8cfe8fc5fb4a0fa64125f9b4d4a04e43012a06ba9dda1ff21695b11cf04",
+]
+url = "https://git.sr.ht/~nytpu/linenoise-ada/archive/v1.1.1.tar.gz"
+
@@ -0,0 +1,27 @@
+name = "lvgl_ada"
+description = "Bindings for the LVGL embedded GUI framework"
+version = "0.2.0"
+licenses = "MIT"
+maintainers = ["fabien.chouteau@gmail.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/lvgl-ada"
+tags = ["embedded", "gui", "lvgl", "no-std"]
+
+[configuration.variables]
+Pixel_Bit_Depth             = {type = "Enum", values = ["Pix_1bit", "Pix_8bit", "Pix_16bit", "Pix_32bit"]}
+Horizontal_Resolution       = {type = "Integer", first = 1, last = 1000000}
+Vertical_Resolution         = {type = "Integer", first = 1, last = 1000000}
+Density_Per_Inch            = {type = "Integer", first = 1, last = 1000000}
+Color_16_SWAP               = {type = "Boolean", default = false}
+Use_Builtin_Allocator       = {type = "Boolean", default = true}
+Builtin_Allocator_Size      = {type = "Integer", first = 1, last = 1000000, default = 65536}
+Log_Level                   = {type = "Enum", values = ["Trace", "Info", "Warn", "Error"], default = "Warn"}
+Log_With_Printf             = {type = "Boolean", default = false}
+Theme_Live_Update           = {type = "Boolean", default = false}
+Virtual_Display_Buffer_Size = {type = "Integer", first = 1, last = 1000000, default = 10240}
+Double_Buffering            = {type = "Boolean", default = false}
+
+[origin]
+commit = "ccf8da85aeafa38f4ae669b61298237424dc7e55"
+url = "git+https://github.com/Fabien-Chouteau/lvgl-ada.git"
+
@@ -0,0 +1,18 @@
+name = "midi"
+description = "Library to encode and decode MIDI messages"
+version = "0.1.0"
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/MIDI"
+tags = ["midi", "embedded", "nostd"]
+
+[[depends-on]]
+hal = "~0.3.0"
+bbqueue = "~0.3.0"
+
+[origin]
+commit = "14c7842aa16ad970ca0eb53f6cbf31cc2b648a72"
+url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
+
@@ -0,0 +1,18 @@
+name = "midi"
+description = "Library to encode and decode MIDI messages"
+version = "0.2.0"
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/MIDI"
+tags = ["midi", "embedded", "nostd"]
+
+[[depends-on]]
+hal = "~0.3.0"
+bbqueue = "~0.3.0"
+gnat = ">=11"
+
+[origin]
+commit = "6a6306df92ca026119ef193d8837ba9ef9eebfd1"
+url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
@@ -0,0 +1,20 @@
+name = "minirest"
+description = "Minimalist Ada REST client library"
+version = "0.2"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+licenses = "MIT"
+tags = ["rest"]
+website = "https://github.com/mosteo/minirest"
+
+[[depends-on]]
+aaa = "~0.2.1|~0.3"
+curl = "*"
+
+[origin]
+commit = "a50d0f7cc1c546b9dd61bc3dd3004e4b953fb9f2"
+url = "git+https://github.com/mosteo/minirest.git"
+
@@ -0,0 +1,15 @@
+name = "openssl"
+description = "The Open Source toolkit for SSL and TLS"
+website = "https://www.openssl.org"
+licenses = "OpenSSL"
+tags = ["openssl", "cryptography", "security", "ssl", "tls"]
+
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libssl-dev"]
+"arch" = ["openssl"]
+"msys2" = ["mingw-w64-x86_64-openssl"]
@@ -0,0 +1,15 @@
+name = "parse_args"
+description = "An Ada 2012 package to parse command line arguments and options"
+version = "0.9.0"
+website = "https://github.com/jhumphry/parse_args"
+licenses = "ISC"
+tags = ["cli", "command-line"]
+
+authors = ["James Humphry"]
+maintainers = ["James Humphry <alire@binecho.co.uk>"]
+maintainers-logins = ["jhumphry"]
+
+[origin]
+commit = "635f9e4f5318dccd535ca889d744b1053ab2362e"
+url = "git+https://github.com/jhumphry/parse_args.git"
+
@@ -0,0 +1,15 @@
+name = "pbkdf2"
+description = "PBKDF2 implemented in Ada"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/pbkdf2"
+licenses = "ISC"
+tags = ["cryptography", "security", "pbkdf2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "221f0002f733dff3b3a00efc779d42e0517c6b44"
+url = "git+https://github.com/AntonMeep/pbkdf2.git"
+
@@ -0,0 +1,20 @@
+name = "pbkdf2"
+description = "PBKDF2 implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/pbkdf2"
+licenses = "ISC"
+tags = ["cryptography", "security", "pbkdf2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+hmac = "^1.0.0"
+sha1 = "^1.0.1"
+sha2 = "^1.1.0"
+
+[origin]
+commit = "6a708d74b68a5ec600bbc65c84e9b2f628303d96"
+url = "git+https://github.com/AntonMeep/pbkdf2.git"
+
@@ -0,0 +1,20 @@
+name = "pbkdf2"
+description = "PBKDF2 implemented in Ada"
+version = "3.0.0"
+website = "https://github.com/AntonMeep/pbkdf2"
+licenses = "ISC"
+tags = ["cryptography", "security", "pbkdf2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[[depends-on]]
+hmac = "^2.0.0"
+sha1 = "^2.0.0"
+sha2 = "^2.0.0"
+
+[origin]
+commit = "67518be3704968c2f9cb61794f341355d3397d7d"
+url = "git+https://github.com/AntonMeep/pbkdf2.git"
+
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.3.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "^1.3"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "4ff67b6d89e6346894388bdf69bbb069569a3b3d"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.4.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "^1.4"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "28d9437c51eb0d2d5a0b0e9715ab4d943f33a373"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.5.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "^1.5"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "22a7257552168a489f514bc4da65cbc641985b60"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -0,0 +1,22 @@
+name = "pico_bsp"
+description = "Board support package for Raspberry Pi Pico"
+version = "1.6.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+hal = "~0.1"
+rp2040_hal = "^1.6"
+
+[configuration.values]
+rp2040_hal.Flash_Chip = "w25qxx"
+
+[origin]
+commit = "5796813759fdbb37a65f704eea08bdb414296dcc"
+url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+
@@ -0,0 +1,36 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.3.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.3"
+
+[origin]
+commit = "40af5946a47e7823bbb8c61a135aab34b09fa6fd"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -0,0 +1,37 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.4.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "multicore/multicore.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.4"
+
+[origin]
+commit = "339bffa1f645422115f572639645b25d94f9ffc6"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -0,0 +1,39 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.5.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "multicore/multicore.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "uart_interrupt/uart_interrupt.gpr",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.5"
+chests = "~0.1.1"
+
+[origin]
+commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -0,0 +1,39 @@
+name = "pico_examples"
+description = "Examples for Ada on the Raspberry Pi Pico"
+version = "1.6.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+licenses = "BSD-3-Clause"
+tags = ["embedded", "nostd", "pico", "rp2040"]
+website = "https://pico-doc.synack.me/"
+auto-gpr-with=false
+project-files = [
+    "adc_continuous/adc_continuous.gpr",
+    "adc_hello/adc_hello.gpr",
+    "blink/blink.gpr",
+    "gpio_interrupts/gpio_interrupts.gpr",
+    "multicore/multicore.gpr",
+    "pimoroni_audio_pack/pimoroni_audio_pack.gpr",
+    "pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
+    "pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
+    "pio_assemble/pio_assemble.gpr",
+    "pio_blink/pio_blink.gpr",
+    "pwm/pwm.gpr",
+    "rtc/rtc.gpr",
+    "spi_loopback/spi_loopback.gpr",
+    "timer/timer.gpr",
+    "uart_echo/uart_echo.gpr",
+    "uart_interrupt/uart_interrupt.gpr",
+    "usb_echo/usb_echo.gpr",
+    "ws2812_demo/ws2812_demo.gpr"]
+
+[[depends-on]]
+pico_bsp = "^1.6"
+chests = "~0.1.1"
+
+[origin]
+commit = "0e814acca3e5d8b0890e7086a95f3bef24531267"
+url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+
@@ -0,0 +1,18 @@
+name = "qoi"
+description = "Ada/SPARK implementation of the Quite Ok Image format"
+version = "0.1.0"
+licenses = "MIT"
+
+authors = ["Fabien Chouteau", "Joffrey Huguet"]
+maintainers= ["Fabien-Chouteau <chouteau@adacore.com>", "Joffrey Huguet <huguet@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau", "joffreyhuguet"]
+website = "https://github.com/Fabien-Chouteau/qoi-spark"
+tags = ["image", "encoding", "qoi"]
+
+[[depends-on]]
+gnat = ">=11.2"
+
+[origin]
+commit = "25d61809e0e520abec78afd94bfae8a8140414c3"
+url = "git+https://github.com/Fabien-Chouteau/qoi-spark.git"
+
@@ -0,0 +1,18 @@
+name = "rejuvenation"
+description = "Analysis and manipulation of Ada code based on concrete patterns"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+website = "https://github.com/TNO/Renaissance-Ada"
+tags = ["analysis", "manipulation", "transformation"]
+
+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 = "b2cd1695ec5fffba91266b662f7692272c4301f6"
+url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
+
@@ -0,0 +1,24 @@
+name = "rejuvenation"
+description = "Analysis and manipulation of Ada code based on concrete patterns"
+version = "22.0.1"
+licenses = "BSD-3-Clause"
+website = "https://github.com/TNO/Rejuvenation-Ada"
+tags = ["analysis", "manipulation", "transformation"]
+
+authors = ["Pierre van de Laar", "Arjan J. Mooij"]
+maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
+maintainers-logins = ["pjljvandelaar"]
+
+[[depends-on]]
+libadalang = "^22.0.0"          #  remove this dependency when libadalang is 
+                                #  already installed on your system
+                                #  and accessible via your GPR_PROJECT_PATH
+
+# libadalang_tools = "^22.0.0"    #  needs gnatpp from libadalang_tools installed on PATH
+                                  #  Alire is not yet capable to add gnatpp to PATH.
+                                  #  see https://github.com/AdaCore/libadalang-tools/issues/21
+
+[origin]
+commit = "a6990d10a3b81067d7b8dc0407361a38a9b2c3dc"
+url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
+
@@ -0,0 +1,15 @@
+name = "resources"
+description = "Utility library to handle project resources at run-time"
+version = "0.1.0"
+
+licenses = "MIT"
+website = "https://github.com/alire-project/resources"
+tags = ["utils"]
+
+authors = ["Alire Team"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau", "mosteo"]
+
+[origin]
+commit = "a418da627ec3d18f50f60edaee41a2f47f173a0e"
+url = "git+https://github.com/alire-project/resources.git"
@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.2.1"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "8aaae329cae637a0c28675838a41a44a33b4a234"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.3.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "5d7da6115ffc0b9efa09b4b0c3ff7c980feae9a7"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.4.1"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "e71ce0266e533e8cea34f0ace5486795a47db9c8"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.5.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "fee519d49256de7ffb4ffa7820bd70b809f3a7d4"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,28 @@
+name = "rp2040_hal"
+description = "Drivers and HAL for the RP2040 micro-controller family"
+version = "1.6.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
+website = "https://pico-doc.synack.me/"
+
+[[depends-on]]
+cortex_m = "~0.3"
+hal = "~0.1"
+usb_embedded = "~0.2"
+gnat_arm_elf = "^11.2"
+
+[configuration.variables]
+Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
+Use_Startup = {type = "Boolean", default = true}
+
+[configuration.values]
+atomic.Backend = "armv6m"
+
+[origin]
+commit = "548c38843e13d5bbd2ea8854b9a333f29edf4d47"
+url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+
@@ -0,0 +1,43 @@
+name = "septum"
+description = "An interactive context-based text search tool for large codebases."
+version = "0.0.6"
+website = "https://github.com/pyjarrett/septum"
+
+authors = ["Paul Jarrett"]
+licenses = "Apache-2.0"
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+tags = ["search", "code", "text"]
+
+executables = ["septum"]
+
+[gpr-set-externals.'case(os)']
+windows = { Septum_Platform = "windows" }
+linux = { Septum_Platform = "linux" }
+macos = { Septum_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = false
+
+[[depends-on]]  # Added by alr
+dir_iterators = "~0.0.3"  # Added by alr
+[[depends-on]]  # Added by alr
+progress_indicators = "~0.0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+trendy_terminal = "~0.0.4"  # Added by alr
+# Leaving this here to locally targeting trendy_terminal which is being
+# developed in parallel with this project.
+[[pins]]  # Added by alr
+# For concurrent local development with trendy terminal
+# trendy_terminal = { path='../trendy_terminal' }   # Added by alr
+# To be used for CI
+#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
+[[depends-on]]  # Added by alr
+atomic = "~0.3.0"  # Added by alr
+
+[origin]
+commit = "85a086e219abb0e0266d61ac622b651a6e39dc06"
+url = "git+https://github.com/pyjarrett/septum.git"
+
@@ -0,0 +1,38 @@
+name = "septum"
+description = "An interactive context-based text search tool for large codebases."
+version = "0.0.7"
+website = "https://github.com/pyjarrett/septum"
+
+authors = ["Paul Jarrett"]
+licenses = "Apache-2.0"
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+tags = ["search", "code", "text"]
+
+executables = ["septum"]
+
+[gpr-set-externals.'case(os)']
+windows = { Septum_Platform = "windows" }
+linux = { Septum_Platform = "linux" }
+macos = { Septum_Platform = "macos" }
+
+[[depends-on]]  # Added by alr
+dir_iterators = "~0.0.3"  # Added by alr
+[[depends-on]]  # Added by alr
+progress_indicators = "~0.0.1"  # Added by alr
+[[depends-on]]  # Added by alr
+trendy_terminal = "~0.0.5"  # Added by alr
+# Leaving this here to locally targeting trendy_terminal which is being
+# developed in parallel with this project.
+[[pins]]  # Added by alr
+# For concurrent local development with trendy terminal
+# trendy_terminal = { path='../trendy_terminal' }   # Added by alr
+# To be used for CI
+#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
+[[depends-on]]  # Added by alr
+atomic = "~0.3.0"  # Added by alr
+
+[origin]
+commit = "88e658cae59bbaad518f7e5ba8a55f92b569ed87"
+url = "git+https://github.com/pyjarrett/septum.git"
+
@@ -0,0 +1,18 @@
+name = "sh1107"
+description = "Driver for the SH1107/OLED 128x128 monochrome display"
+version = "1.2.2"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "rp2040"]
+website = "https://github.com/hgrodriguez/sh1107"
+
+[[depends-on]]  # Added by alr
+embedded_components = "~0.1.0"  # Added by alr
+
+[origin]
+commit = "57e4354c248ce43c29553733b2a3046edf7deb72"
+url = "git+https://github.com/hgrodriguez/sh1107.git"
+
@@ -0,0 +1,15 @@
+name = "sha1"
+description = "Secure Hash Algorithm 1 implemented in Ada"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/sha1"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha1"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "77f2df4a9b8f27c0a002338edd806642df422a0f"
+url = "git+https://github.com/AntonMeep/sha1.git"
+
@@ -0,0 +1,15 @@
+name = "sha1"
+description = "Secure Hash Algorithm 1 implemented in Ada"
+version = "1.0.1"
+website = "https://github.com/AntonMeep/sha1"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha1"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "a09a171b8739772301211976cc997406c37dce4d"
+url = "git+https://github.com/AntonMeep/sha1.git"
+
@@ -0,0 +1,15 @@
+name = "sha1"
+description = "Secure Hash Algorithm 1 implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/sha1"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha1"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "0ab37e5c71289465fafe1324384a8ddcac256e5f"
+url = "git+https://github.com/AntonMeep/sha1.git"
+
@@ -0,0 +1,15 @@
+name = "sha2"
+description = "Secure Hash Algorithm 2 implemented in Ada"
+version = "1.1.0"
+website = "https://github.com/AntonMeep/sha2"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "a1954792aab01e0c551f76dc66a1c6fa35106835"
+url = "git+https://github.com/AntonMeep/sha2.git"
+
@@ -0,0 +1,15 @@
+name = "sha2"
+description = "Secure Hash Algorithm 2 implemented in Ada"
+version = "2.0.0"
+website = "https://github.com/AntonMeep/sha2"
+licenses = "ISC"
+tags = ["cryptography", "security", "sha2"]
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "73c2cd73e440b1e36d1b5c8b741fcb0e3fc4046c"
+url = "git+https://github.com/AntonMeep/sha2.git"
+
@@ -0,0 +1,15 @@
+name = "stopwatch"
+description = "Keep track of elapsed time"
+version = "0.1.0"
+tags = ["timer", "stopwatch", "chronometer"]
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+licenses = "MIT"
+
+[origin]
+commit = "624a7c877a01fa0f9c38fa01af8cafe9a220e76b"
+url = "git+https://github.com/mosteo/stopwatch.git"
+
@@ -0,0 +1,20 @@
+name = "svd2ada"
+description = "Ada binding generator from CMSIS-SVD hardware descriptions files"
+version = "0.1.0"
+
+authors = ["AdaCore"]
+maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+
+executables = ["svd2ada"]
+
+[[depends-on]]
+xmlada = "^22.0.0"
+
+[configuration]
+disabled = true
+
+[origin]
+commit = "6eb0b591bf51af383d9ab1a3f2dbda994970ee07"
+url = "git+https://github.com/AdaCore/svd2ada.git"
+
@@ -0,0 +1,16 @@
+name = "system_random"
+description = "Minimal library to retrieve random data from system sources"
+version = "1.0.0"
+website = "https://github.com/AntonMeep/system_random"
+licenses = "ISC"
+tags = ["system", "cryptography", "random", "security"]
+
+
+authors = ["Anton Fediushin"]
+maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
+maintainers-logins = ["AntonMeep"]
+
+[origin]
+commit = "3db7f76e04f09ade5811abd8c09686750bc733ae"
+url = "git+https://github.com/AntonMeep/system_random.git"
+
@@ -0,0 +1,20 @@
+name = "tiny_rp2040_bsp"
+description = "Board support package for Pimoroni Tiny RP2040"
+version = "0.1.0"
+licenses = "BSD-3-Clause"
+
+authors = ["Holger Rodriguez"]
+maintainers = ["Holger Rodriguez <github@roseng.ch>"]
+maintainers-logins = ["hgrodriguez"]
+tags = ["embedded", "nostd", "tiny", "rp2040", "bsp"]
+website = "https://github.com/hgrodriguez/tiny_rp2040_bsp"
+
+[[depends-on]]  # Added by alr
+rp2040_hal = "^1.3.0"  # Added by alr
+[[depends-on]]  # Added by alr
+gnat_arm_elf = "^11.2.3"  # Added by alr
+
+[origin]
+commit = "d491f054991815ede6b10882ad0485ae2c1e31bc"
+url = "git+https://github.com/hgrodriguez/tiny_rp2040_bsp.git"
+
@@ -0,0 +1,30 @@
+name = "tlsada"
+description = "Bindings for libtls"
+version = "2.4.1"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/tlsada"
+tags = ["tls", "ssl"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[[depends-on]]
+libtls = "^3.5"
+
+[gpr-externals]
+LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+COMPILE_CHECKS = ["enabled", "disabled"]
+RUNTIME_CHECKS = ["enabled", "disabled"]
+STYLE_CHECKS = ["enabled", "disabled"]
+CONTRACTS = ["enabled", "disabled"]
+BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:fff6f7613b46d8c2c5d030b2b1f34b3d3245cacf8c36d640057b4e168d85f2bc",
+"sha512:db65fa3e63053548dd8ebf50e06634ac6bfc9e1b9fef79d968954b6039566366615fe42a21aa6cd2272027208cff910181a0eabae84bcc938d704c7f5fe34967",
+]
+url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.4.1.tar.gz"
+
@@ -0,0 +1,18 @@
+name = "toml_slicer"
+description = "Edit TOML files directly without parsing"
+version = "0.1.0"
+licenses = "MIT"
+tags = ["toml"]
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+website = "https://github.com/mosteo/toml_slicer"
+
+[[depends-on]]
+aaa = "~0.2.4"
+
+[origin]
+commit = "132728f82601f1e5e8436e373b9a7534c82cc679"
+url = "git+https://github.com/mosteo/toml_slicer.git"
+
@@ -0,0 +1,18 @@
+name = "toml_slicer"
+description = "Edit TOML files directly without parsing"
+version = "0.1.1"
+licenses = "MIT"
+tags = ["toml"]
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+website = "https://github.com/mosteo/toml_slicer"
+
+[[depends-on]]
+aaa = "~0.2.4|~0.3"
+
+[origin]
+commit = "65fb5313c45642dc232f69f729a8a207de4faae9"
+url = "git+https://github.com/mosteo/toml_slicer.git"
+
@@ -0,0 +1,30 @@
+name = "trendy_terminal"
+description = "Terminal options, setup, tab completion and hinting."
+version = "0.0.5"
+website = "https://github.com/pyjarrett/trendy_terminal"
+
+authors = ["Paul Jarrett"]
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+licenses = "Apache-2.0"
+tags = ["terminal", "command-line", "console", "vt100"]
+
+project-files = ["trendy_terminal.gpr"]
+
+[gpr-externals]
+Mode = ["debug", "optimize"]
+
+[gpr-set-externals.'case(os)']
+windows = { Trendy_Terminal_Platform = "windows" }
+linux = { Trendy_Terminal_Platform = "linux" }
+macos = { Trendy_Terminal_Platform = "macos" }
+
+[available.'case(os)']
+linux = true
+windows = true
+macos = true
+
+[origin]
+commit = "f56da7f18a8ad2c4be12501aa8f31d2aad8f6095"
+url = "git+https://github.com/pyjarrett/trendy_terminal.git"
+
@@ -0,0 +1,15 @@
+name = "uri_ada"
+description = "Processing of URI strings"
+version = "2.0"
+licenses = "MIT"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+
+tags = ["uri", "url", "utility"]
+
+[origin]
+commit = "02a0780d7757e9e79b3410c3a34960655cacea3d"
+url = "git+https://github.com/mosteo/uri-ada.git"
+
@@ -0,0 +1,27 @@
+name = "uri_mime"
+description = "URI & MIME Type Parsing and Manupulation"
+version = "1.3.1"
+licenses = "MPL-2.0"
+
+website = "https://git.sr.ht/~nytpu/uri-mime-ada"
+tags = ["uri", "url", "mime", "media-type"]
+
+authors = ["nytpu"]
+maintainers = ["nytpu <alex@nytpu.com>"]
+maintainers-logins = ["nytpu"]
+
+[gpr-externals]
+LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
+COMPILE_CHECKS = ["enabled", "disabled"]
+RUNTIME_CHECKS = ["enabled", "disabled"]
+STYLE_CHECKS = ["enabled", "disabled"]
+CONTRACTS = ["enabled", "disabled"]
+BUILD_MODE = ["debug", "optimize"]
+
+[origin]
+hashes = [
+"sha256:166cc99fc5f5a137dfda5a407d31d7f4df1f3a049739fea9da7335941e208071",
+"sha512:cd600f0f7725bea9c8927f981c593ef879ca3a84008f1f1b50d2a79fc41d17f77cc0d50d93632a64a615a4ccedcdc13b863e0c877c3cbfb14ed1f5d122f27539",
+]
+url = "https://git.sr.ht/~nytpu/uri-mime-ada/archive/v1.3.1.tar.gz"
+
@@ -0,0 +1,25 @@
+name = "usb_embedded"
+description = "An Ada USB stack for embedded devices"
+version = "0.3.0"
+
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/usb_embedded"
+licenses = "BSD-3-Clause"
+tags = ["embedded", "usb", "hid", "midi", "nostd"]
+
+[[depends-on]]
+hal = "~0.3"
+bbqueue = "~0.3.0"
+
+[configuration.variables]
+Control_Buffer_Size = {type = "Integer", first = 256, default = 256 }
+String_Buffer_Size = {type = "Integer", first = 0, default = 256 }
+Max_Strings = {type = "Integer", first = 0, default = 10 }
+Event_Log_Buffer_Size = {type = "Integer", first = 0, default = 0 }
+
+[origin]
+commit = "ed111b350df2a61893f6d3deaac53bfa14f47f01"
+url = "git+https://github.com/Fabien-Chouteau/usb_embedded.git"
+
@@ -0,0 +1,21 @@
+name = "uxstrings"
+description = "Unicode Extended Strings utilities"
+version = "0.3.0+alpha-20220226"
+tags = ["unicode", "dynamic", "string"]
+
+authors = ["Pascal Pignard"]
+maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
+maintainers-logins = ["Blady-Com"]
+website = "https://github.com/Blady-Com/UXStrings"
+
+licenses = "CECILL-2.1"
+
+project-files = ["lib_uxstrings1.gpr"]
+
+[[depends-on]]
+gnat = ">=2021"
+
+[origin]
+commit = "7f963eb39f1f35ec9a36487a2c064e8eab4abec6"
+url = "git+https://github.com/Blady-Com/UXStrings.git"
+
@@ -0,0 +1,18 @@
+name = "yeison"
+description = "A JSON-like data structure using Ada 2022 features"
+version = "0.1.0"
+licenses = "MIT"
+
+authors = ["Alejandro R. Mosteo"]
+maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
+maintainers-logins = ["mosteo"]
+tags = ["json", "yaml", "toml", "containers"]
+website = "https://github.com/mosteo/yeison"
+
+[[depends-on]]
+gnat = ">=11.2 & <2000" 
+# Required for Ada2022 features
+
+[origin]
+commit = "054232ad738902e42740936b7e9f2867d0411b09"
+url = "git+https://github.com/mosteo/yeison.git"
@@ -0,0 +1,76 @@
+#!/bin/bash
+
+trap 'echo "ERROR at line ${LINENO} (code: $?)" >&2' ERR
+trap 'echo "Interrupted" >&2 ; exit 1' INT
+
+set -o errexit
+set -o nounset
+
+# Ensure all alr runs are non-interactive
+alias alr="alr -n"
+
+# Detect changes
+CHANGES=$(git diff --name-only HEAD~1)
+
+# Bulk changes for the record
+echo Changed files: $CHANGES
+
+# Disable assistant. This is necessary despite the setup-alire action doing it
+# too, because we sometimes run inside a Docker with fresh configuration
+alr toolchain --disable-assistant
+
+# Configure index
+alr index --del local >/dev/null || true # Simplifies local testing
+alr index --name local --add ./index
+
+# Remove community index in case it has been added before
+alr index --del community >/dev/null || true
+
+diff_opts=(--minimal -U0 --line-prefix "--| " --ignore-all-space --ignore-blank-lines --ignore-cr-at-eol)
+
+function diff_one() {
+    local file="$1"
+    local folder=$(dirname $file)
+    local crate=$(basename $file .toml | cut -f1 -d-)
+    local version=$(basename $file .toml | cut -f2- -d-)
+    local milestone="$crate=$version"
+
+    echo " "
+    echo "------8<------"
+
+    if echo $milestone | grep -q external; then
+        echo DIFFING external: $milestone
+        git diff "${diff_opts[@]}" HEAD~1 -- $file
+    else
+        echo DIFFING release: $milestone
+
+        # Locate the immediately precedent release
+
+        # For a first release, there's nothing to compare
+        if [ $(ls $folder | grep -v external | wc -l) -eq 1 ]; then
+            echo NOTHING to diff against, first crate release
+            return 0
+        fi
+
+        # Othewise, get from alr what's the immediately preceding version
+        local prev_milestone=$(alr show "$crate<$version" | head -1 | cut -f1 -d:)
+        echo DIFFING milestones $prev_milestone '-->' $milestone
+
+        if [ "$prev_milestone" == "ERROR" ]; then
+            echo ERROR extracting milestone:
+            alr show "$crate<$version"
+            return 1
+        fi
+
+        # Convert into filename
+        local prev_file=$folder/${prev_milestone//=/-}.toml
+
+        git diff --no-index "${diff_opts[@]}" -- $prev_file $file
+    fi
+
+    return 0
+}
+
+for file in $CHANGES; do
+    diff_one "$file" || true # keep on trying for different files
+done
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Fabien Chouteau	4a425a0af4	gtkada-23.0-20220512	2022-06-10 17:12:18 +02:00
Alejandro R Mosteo	bb87191788	aaa 0.2.6 (#541 )	2022-06-10 10:22:59 +02:00
pjljvandelaar	6cae5f79c6	rejuvenation 22.0.1 (#542 )	2022-06-10 09:49:29 +02:00
Alejandro R Mosteo	61823acf95	Fix debug output and x-compiler detection (#540 ) * Enable -d switch in all alr runs * Enable output of bash line being executed * Fix x-compiler detection Co-authored-by: GHA <actions@github.com>	2022-06-09 20:51:03 +02:00
Fabien Chouteau	09f6594b2d	cortex_m 0.4.0 (#538 )	2022-06-09 11:32:00 +02:00
Alejandro R Mosteo	bba08c1366	Build submissions in release mode (#539 ) Co-authored-by: GHA <actions@github.com>	2022-06-09 11:03:33 +02:00
Alejandro R Mosteo	6372f28e6c	clic 0.2.1 (#536 )	2022-06-08 10:20:42 +02:00
Alejandro R Mosteo	c0c9eabf68	Fix testing of monorepo crates (#520 ) * Use get --dirname to enter the retrieved crate * Improve log message about deployment dir Co-authored-by: GHA <actions@github.com>	2022-06-07 18:12:41 +02:00
Alejandro R Mosteo	f3462c9a34	minirest 0.2 (#528 ) * minirest 0.2 * Update commit	2022-06-07 18:03:07 +02:00
Jeremy Grosser	3c5eedcae8	rp2040_hal, pico_bsp, pico_examples 1.6.0 (#534 )	2022-06-07 11:07:42 +02:00
Fabien Chouteau	ec765d3114	midi 0.2.0 (#522 ) * MIDI 0.2.0 * Update midi-0.2.0.toml * Update midi-0.2.0.toml	2022-06-07 10:59:53 +02:00
Fabien Chouteau	e077b78c84	usb_embedded 0.3.0 (#535 )	2022-06-07 10:58:05 +02:00
Blady-Com	bb1ef01832	Add J2Ada translator to Alire. (#532 ) * Add J2Ada translator to Alire. * Suppress offending -gnateA switch for old GNAT version.	2022-06-07 10:40:01 +02:00
Alejandro R Mosteo	a38d7c12c6	uri_ada 2.0 (#531 ) * uri_ada 1.1.0 * Skip 1.1 to 2.0	2022-06-07 10:39:23 +02:00
Alejandro R Mosteo	86437429b1	toml_slicer 0.1.1 (#530 ) * toml_slicer 0.1.1 * Update commit	2022-06-07 10:38:00 +02:00
Alejandro R Mosteo	165688ed7f	ansiada 1.0 (#527 ) * ansiada 0.1.1 * Skip 0.1.1 and go directly to 1.0 * Fix manifest filename	2022-06-07 10:36:42 +02:00
Alejandro R Mosteo	e09241a7f5	stopwatch 0.1 (#529 ) * stopwatch 0.1 * Update commit * Enable config	2022-06-07 10:36:28 +02:00
nytpu	6f47f0cf1b	getopt 1.2.2, libtls external, linenoise_ada 1.1.1, tlsada 2.4.1, uri_mime 1.3.1 (#524 ) * Publish TLSAda v2.3.1 release * Publish Linenoise_Ada v1.0.1 release * Publish URI_MIME v1.3.0 release * Publish Getopt v1.2.1 release * linenoise 1.0.1 -> 1.0.2 * getopt 1.2.1 -> 1.2.2 * linenoise 1.0.2 -> 1.1.0 * tlsada 2.3.1 -> 2.4.0 * Linenoise 1.1.0 -> 1.1.1 * tlsada 2.4.0 -> 2.4.1 * URI_MIME 1.3.0 -> 1.3.1 * Add libtls external definition * libtls: shorten overly-long description * libtls: Remove listing specifying conflicting system packages.	2022-06-06 20:56:47 +02:00
Daniel King	25bc3286fa	libkeccak 3.0.0 (#533 ) * libkeccak 3.0.0 * Remove dependency on gnatprove	2022-06-06 20:11:53 +02:00
Alejandro R. Mosteo	a796bdc2a6	Merge branch 'alire/stable-1.1' into stable-1.2	2022-06-04 13:43:33 +02:00
Holger Rodriguez	0b1fc4ed4d	eeprom_i2c 3.2.0 (#526 ) removed runtime/target dependency in GPR file	2022-05-30 20:50:51 +02:00
Alejandro R Mosteo	4a6fddc7c1	Fix action used to set up alr (#525 )	2022-05-24 20:41:45 +02:00
Simon Wright	5883ec53d0	Correct msys2 externals for libblas, liblapack (#521 ) * index/li/libblas/libblas-external.toml: uncomment the msys2 origin and make it to lapack. The reason is that we require libblas.dll, and this isn't provided by openblas (lapack provides both). Also, add an empty origin for macos. * index/li/liblapack/liblapack-external.toml: uncomment the msys2 origin. Also, add an empty origin for macos.	2022-05-20 11:28:12 +02:00
onox	2c3fbae2a1	json 5.0.2 (#510 )	2022-05-18 16:46:12 +02:00
Alejandro R Mosteo	475e11f53e	Sync 1.1 and 1.2 Sync index versions 1.1 and 1.2	2022-05-17 17:47:39 +02:00
Simon Wright	f1f01383e7	libblas, liblapack external (#517 ) These only support linux; not needed on macOS, and the msys2 libraries can't be installed because of key signing errors. * index/li/libblas/libblas-external.toml * index/li/liblapack/liblapack-external.toml	2022-05-16 19:36:04 +02:00
Holger Rodriguez	85994f8c72	eeprom_i2c 3.0.1 (#516 )	2022-05-16 18:14:14 +02:00
Alejandro R Mosteo	5329cffbd6	aaa 0.2.5 (#515 ) Co-authored-by: GHA <actions@github.com>	2022-05-09 11:13:49 +02:00
Fabien Chouteau	8e1474696c	midi 0.1.0 (#514 )	2022-05-05 14:41:48 +02:00
Fabien Chouteau	347186f252	resources 0.1.0 (#511 )	2022-05-04 14:19:52 +02:00
Fabien Chouteau	35b1629c4b	Update diff-release.yml (#513 )	2022-05-04 11:19:21 +02:00
Jeremy Grosser	383c335a87	rp2040_hal, pico_bsp, pico_examples 1.5.0 (#512 )	2022-05-04 11:07:56 +02:00
GHA	b6cf1c50d8	Bump the index version	2022-04-29 13:18:20 +02:00
GHA	036c8aa12e	CHANGELOG.md: document index versioning wrt changes	2022-04-29 12:17:24 +02:00
Alejandro R Mosteo	72cf7397e6	Check old license format in crate submissions (#508 ) * gh-build-crate.sh: check index in strict mode * Add specific check for "Warning:" during index load Co-authored-by: GHA <actions@github.com>	2022-04-27 17:27:08 +02:00
onox	19bf0ee382	Delete spurious file in root folder of index (#507 )	2022-04-27 13:28:52 +02:00
Alejandro R Mosteo	1cbd810d58	Fix Licenses in ini_files (#506 ) Co-authored-by: GHA <actions@github.com>	2022-04-26 09:11:56 +02:00
Gautier de Montmollin	54e7702680	ini_files 10.0.0 (#505 ) * Create ini_files-10.0.0.toml A new try, with `name` and `version` fields and underscore in "ini_file" and x.y.z in the .toml name. * Update ini_files-10.0.0.toml Removed `[general]` row	2022-04-25 11:34:00 +02:00
Paul Jarrett	7ce2f18f32	septum 0.0.7 (#503 ) * Add files via upload * Update the README * Add files via upload * Delete septum-0.0.7.toml * Add files via upload	2022-04-23 19:04:20 +02:00
Paul Jarrett	6c34f72f17	Add trendy-terminal 0.0.5 (#502 ) * Add trendy-terminal 0.0.5 * Update alire.toml	2022-04-22 16:36:29 +02:00
Gautier de Montmollin	9056a6db93	apdf 5.0.3 (#501 ) * Create apdf-5.0.3.toml New crate descriptor points to 3rd release of the #005 version of APDF. * Update apdf-5.0.3.toml	2022-04-21 12:34:54 +02:00
Jeremy Grosser	90abede490	chests 0.1.1 (#500 )	2022-04-19 10:32:10 +02:00
Gautier de Montmollin	0c641ec7b4	gid 10.0.0 (#498 ) New v.10: * Added a decoder for the QOI (Quite OK Image) format * Added an all RGB demo For Alire, [gpr-externals]: scenario variable Build_Mode becomes GID_Build_Mode.	2022-04-19 10:24:21 +02:00
Jeremy Grosser	c2d1a69e4c	chests 0.1.0 (#497 )	2022-04-15 11:24:04 +02:00
pjljvandelaar	4b7e8439cd	dependency_graph_extractor 0.1.0 (#496 ) * Rejuvenation 0.1.0 release First release of Rejuvenation-Ada in Alire. * First release of Depdency Graph Extractor Part of Renaissance-Ada	2022-04-13 14:09:37 +02:00
pjljvandelaar	5bec9bab9f	rejuvenation 0.1.0 (#495 ) First release of Rejuvenation-Ada in Alire.	2022-04-11 16:53:07 +02:00
Holger Rodriguez	a4ec7c4840	edc_client 1.4.0 (#494 )	2022-04-11 12:03:01 +02:00
Alejandro R Mosteo	32c4c2bfb0	Fix gprbuild selection for cross-compiled crates (#493 ) Co-authored-by: GHA <actions@github.com>	2022-04-04 16:14:55 +02:00
Jeremy Grosser	65061a8eb4	rp2040_hal 1.4.1, pico_bsp 1.4.0, pico_examples 1.4.0 (#491 )	2022-04-04 15:11:26 +02:00
jhumphry	36909248bb	parse_args 0.9.0 (#492 ) parse_args is an Ada 2012 package that provides simple command-line argument parsing. It was inspired by the argparse module in Python, but it is not (quite) as ambitious.	2022-04-04 14:03:14 +02:00
Anton F	4fb45d2455	sha1 2.0, sha2 2.0, hmac 2.0, pbkdf2 3.0 (#490 ) * Add sha1 v2.0.0 * Add hmac v2.0.0 * Add sha2 v2.0.0 * Add pbkdf2 v3.0.0	2022-04-01 13:25:29 +02:00
Paul Jarrett	7a1de6e87b	septum 0.0.6 (#489 )	2022-04-01 09:52:17 +02:00
Fabien Chouteau	7a09619df4	gnatprove 11.2.3, gnat 11.2.4 (#488 )	2022-03-31 21:47:00 +02:00
Anton F	32201de4bd	endianness 1.0.0 (#487 )	2022-03-31 15:11:33 +02:00
Holger Rodriguez	6076b97e4e	eeprom_i2c 2.0.1 (#486 ) platform agnostic library to work with EEPROMs using the I2C connection for embedded systems	2022-03-28 13:10:00 +02:00
Anton F	0e7f2ac698	pbkdf2 2.0.0 (#485 )	2022-03-25 13:06:35 +01:00
Anton F	b3cf65a602	hmac 1.0.0 (#484 )	2022-03-24 13:13:04 +01:00
Anton F	c818a43581	sha2 1.1.0 (#483 )	2022-03-24 11:35:21 +01:00
Anton F	2cf5f07453	sha1 1.0.1 (#481 )	2022-03-23 12:28:24 +01:00
Anton F	a16414af54	sha1 1.0.0 (#480 )	2022-03-22 15:48:00 +01:00
Anton F	78ad490b74	pbkdf2 1.0.0 (#479 ) * Add pbkdf2 v1.0.0 * Fix on some systems * Definitely fix it	2022-03-17 11:09:51 +01:00
Holger Rodriguez	3ea710f52f	tiny_rp2040_bsp 0.1.0 (#476 )	2022-03-15 12:02:28 +01:00
Alejandro R Mosteo	85045589d4	Ensure fresh repositories in GHA Ubuntu hosts (#478 )	2022-03-14 11:59:28 +01:00
Anton F	600b38dd69	system_random 1.0.0 (#477 )	2022-03-14 11:37:58 +01:00
Jeremy Grosser	53fd86f4cf	epoll 0.1.1 (#475 )	2022-03-11 12:35:31 +01:00
Alejandro R Mosteo	be9923e949	Show environment during test builds (#474 ) This is helpful sometimes in diagnosing remote errors	2022-03-09 16:29:35 +01:00
Alejandro R Mosteo	6c8626208a	New workflow to display incremental changes in manifests (#473 ) * New diffing script between consecutive releases * New workflow to get diffs * Testing fixes	2022-03-09 16:29:19 +01:00
Anton F	d4760633af	fastpbkdf2_ada 2.0.0 (#470 )	2022-03-07 12:56:30 +01:00
Alejandro R Mosteo	7070a5774b	toml_slicer 0.1.0 (#472 )	2022-03-07 12:01:42 +01:00
Alejandro R Mosteo	15aaf9dd0d	Retrieve sources with quiet to reduce git output (#471 )	2022-03-07 12:01:24 +01:00
Alejandro R Mosteo	3cbc2a8582	Install gprbuild when necessary (#469 )	2022-03-03 15:04:34 +01:00
Fabien Chouteau	6cd17a6d23	bb_pico_bsp 0.1.0 (#468 )	2022-03-03 09:13:58 +01:00
Fabien Chouteau	b1265d0f17	lvgl_ada 0.2.0 (#455 ) * lvgl_ada 0.2.0 * Update lvgl_ada-0.2.0.toml	2022-03-01 15:57:40 +01:00
Holger Rodriguez	cc1f99cf61	sh1107 1.2.2 (#467 )	2022-03-01 15:50:22 +01:00
Holger Rodriguez	b9b0f03961	itsybitsy_rp2040_bsp 0.1.0 (#466 )	2022-03-01 11:58:08 +01:00
Jeremy Grosser	9e5fec6a25	rp2040_hal, pico_bsp, pico_examples 1.3.0 (#465 )	2022-03-01 11:03:10 +01:00
Fabien Chouteau	a0093240dd	svd2ada 0.1.0 (#463 )	2022-02-28 18:43:51 +01:00
Anton F	0d064207ec	fastpbkdf2_ada 1.0.0 (#460 ) Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>	2022-02-28 11:45:41 +01:00
Anton F	2799da958e	openssl external (#461 )	2022-02-28 11:37:02 +01:00
Holger Rodriguez	c09d8e1d54	itsybitsy_bsp 0.0.4 (#459 ) ITSYBITSYBSP: removed wrong flash chip config	2022-02-28 09:44:25 +01:00
Anton F	482678fd77	base64 v1.0.1 (#457 )	2022-02-28 09:34:01 +01:00
Blady-Com	509802b2c9	uxstrings 0.3.0+alpha-20220226 (#456 )	2022-02-28 09:25:28 +01:00
Fabien Chouteau	4e36adceee	hal-0.3.0 (#454 )	2022-02-24 10:48:29 +01:00
Anton F	12751f510d	base64 1.0.0 (#453 )	2022-02-22 12:42:54 +01:00
Fabien Chouteau	63b8ae7640	Typo in qoi-0.1.0.toml (#451 )	2022-02-16 17:41:57 +01:00
Fabien Chouteau	5ea4431da4	qoi 0.1.0 (#450 )	2022-02-15 17:28:40 +01:00
Alejandro R Mosteo	3490ea914e	Detect pins in submissions and fail (#449 )	2022-02-15 14:36:22 +01:00
Tama McGlinn	0cccc01cc2	adabots 1.1.0, 1.2.0 (#448 )	2022-02-15 10:16:11 +01:00
Holger Rodriguez	870d9b9a96	itsybitsy_bsp 0.0.3 (#447 )	2022-02-14 13:29:10 +01:00
Jeremy Grosser	5cc2395e77	adl_middleware 0.1.1 (#444 )	2022-02-07 10:09:46 +01:00
onox	3c8e7b4d8b	evdev 2.0.0 (#442 )	2022-02-05 12:07:37 +01:00
Jeremy Grosser	58793c4718	rp2040_hal 1.2.1 (#441 )	2022-02-02 12:30:46 +01:00
Alejandro R Mosteo	3449ca7c43	yeison 0.1.0 (#440 ) * yeison 0.1.0 * Require gnat 11 at least	2022-02-01 12:06:59 +01:00
Alejandro R Mosteo	76b161fc8d	Ensure all alr runs are non-interactive (#439 )	2022-01-31 11:30:53 +01:00
onox	688db23c85	json 5.0.1 (#438 )	2022-01-31 11:29:56 +01:00