Index changes · Alire community index

Aug 19, 2026

adalang_analyzer 1.0.0 (#2066)

cd12c6aa on GitHub

New crate

adalang_analyzer `1.0.0`

Crate added to the index

A Libadalang-based static analyzer for Ada source code

Origin: git+https://github.com/mmartign/AdaLang_Analyzer.git @ 32c70904011c
Manifest: index/ad/adalang_analyzer/adalang_analyzer-1.0.0.toml

Dependency changes

Added gnatcoll_gmp ^26.0.0
Added gnatcoll_iconv ^26.0.0
Added langkit_support ^26.0.0
Added libadalang ^26.0.0
Added libgpr2 ^26.0.0
Added prettier_ada ^26.0.0
Added templates_parser ^26.0.0

Aug 18, 2026

zblib 2.0.1 (#2056)

33dc9e66 on GitHub

New version

zblib `2.0.1`

Version added to the index

Library for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 3343b7730285
Manifest: index/zb/zblib/zblib-2.0.1.toml

Dependency changes

Added uxstrings >=0.9.4

Aug 18, 2026

covex 1.14.0 (#2067)

d428020f on GitHub

New version

covex `1.14.0`

Version added to the index

Ada/SPARK coverage, proof, multi-standard compliance tool

Origin: git+https://github.com/bladeacer/adacovex @ 6816c1e867c0
Manifest: index/co/covex/covex-1.14.0.toml

Aug 18, 2026

a0b_tools 0.3.0 (#2064)

e486bff5 on GitHub

New version

a0b_tools `0.3.0`

Version added to the index

A0B Tools: Runtime Generator

Origin: git+https://github.com/godunko/a0b-tools.git @ 94da5a5e0a15
Manifest: index/a0/a0b_tools/a0b_tools-0.3.0.toml

Dependency changes

Added a0b_base *
Added gnat ^15
Added gnatcoll ^25
Added vss_extra *
Added vss_text *

Aug 18, 2026

adsa 1.5.0 (#2063)

f7abf273 on GitHub

Manifest update

adsa `1.5.0`

Changed origin, website

Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

Manifest fields: origin, website
Manifest: index/ad/adsa/adsa-1.5.0.toml

Aug 18, 2026

adsa 1.5.1 (#2055)

52101754 on GitHub

New version

adsa `1.5.1`

Version added to the index

Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

Origin: https://github.com/charlie5/aDSA/releases/download/v1.5.1/adsa-1.5.1.tar.gz
Manifest: index/ad/adsa/adsa-1.5.1.toml

Dependency changes

Added gnat >=12

Aug 18, 2026

glyph 0.3.0 (#2062)

6511cb44 on GitHub

New version

glyph `0.3.0`

Version added to the index

Portable graphics framework for embedded Ada systems

Origin: git+https://github.com/thirstymelon/glyph.git @ 78db1887e73a
Manifest: index/gl/glyph/glyph-0.3.0.toml

Aug 18, 2026

crdt 1.9.0 (#2061)

0965bb63 on GitHub

New version

crdt `1.9.0`

Version added to the index

CRDT library for Ada/SPARK

Origin: git+https://github.com/bladeacer/ada_crdt.git @ 62b7474e4544
Manifest: index/cr/crdt/crdt-1.9.0.toml

Aug 18, 2026

covex 1.9.0 (#2060)

8e293ae0 on GitHub

New version

covex `1.9.0`

Version added to the index

Ada/SPARK coverage, proof, DO-178C compliance tool

Origin: git+https://github.com/bladeacer/adacovex @ d974ce905fdf
Manifest: index/co/covex/covex-1.9.0.toml

Aug 18, 2026

asfml 3.0.0 (#2058)

d27c9432 on GitHub

New version

asfml `3.0.0`

Version added to the index

Ada binding to SFML, the Simple and Fast Multimedia Library

Origin: git+https://github.com/mgrojo/ASFML.git @ 92f1513aa47b
Manifest: index/as/asfml/asfml-3.0.0.toml

Dependency changes

Added libcsfml ^3.0.0

Aug 18, 2026

cachelines 0.1.0 (#2043)

64a59157 on GitHub

New crate

cachelines `0.1.0`

Crate added to the index

Cache-line-aligned storage and L1 cache information for Ada

Origin: git+https://github.com/yrashk/ada-cachelines.git @ 5c975744fccb
Manifest: index/ca/cachelines/cachelines-0.1.0.toml

Aug 18, 2026

grammaticus 0.1.0 (#2057)

559fe440 on GitHub

New crate

grammaticus `0.1.0`

Crate added to the index

A library for expressing context-free grammars in SPARK

Origin: git+https://github.com/damaki/grammaticus.git @ 562a94e72b58
Manifest: index/gr/grammaticus/grammaticus-0.1.0.toml

Dependency changes

Added sparklib >=16

Aug 18, 2026

glyph 0.2.0 (#2053)

7e741407 on GitHub

New version

glyph `0.2.0`

Version added to the index

Lightweight embedded graphics framework for Ada 2022

Origin: git+https://github.com/thirstymelon/glyph.git @ e513292ba8be
Manifest: index/gl/glyph/glyph-0.2.0.toml

Aug 18, 2026

covex 1.6.0 (#2054)

ba8b4d50 on GitHub

New version

covex `1.6.0`

Version added to the index

Ada/SPARK coverage, proof, DO-178C compliance tool

Origin: git+https://github.com/bladeacer/adacovex @ 21eb6a52bc9b
Manifest: index/co/covex/covex-1.6.0.toml

Aug 18, 2026

GNAT FSF 16.1.0 cross-compilers (#2052)

09459312 on GitHub

New version

gnat_aarch64_elf `16.1.0`

Version added to the index

The GNAT Ada compiler - aarch64 cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_aarch64_elf/gnat_aarch64_elf-16.1.0.toml

New version

gnat_arm_elf `16.1.0`

Version added to the index

The GNAT Ada compiler - ARM cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_arm_elf/gnat_arm_elf-16.1.0.toml

New version

gnat_avr_elf `16.1.0`

Version added to the index

The GNAT Ada compiler - AVR cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_avr_elf/gnat_avr_elf-16.1.0.toml

New version

gnat_riscv64_elf `16.1.0`

Version added to the index

The GNAT Ada compiler - RISC-V cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_riscv64_elf/gnat_riscv64_elf-16.1.0.toml

New version

gnat_x86_64_elf `16.1.0`

Version added to the index

The GNAT Ada compiler - x86_64 cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_x86_64_elf/gnat_x86_64_elf-16.1.0.toml

New version

gnat_xtensa_esp32_elf `16.1.0`

Version added to the index

The GNAT Ada compiler - ESP32 cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_xtensa_esp32_elf/gnat_xtensa_esp32_elf-16.1.0.toml

Aug 7, 2026

proven_components 1.2.0 (via `alr publish`) (#2046)

eadd146f on GitHub

New version

proven_components `1.2.0`

Version added to the index

Reusable components in SPARK/Ada developed since 1980.

Origin: git+https://github.com/pat-rogers/proven_components.git @ e177c6c5209e
Manifest: index/pr/proven_components/proven_components-1.2.0.toml

Aug 6, 2026

Create adsa-1.5.0.toml configuration file (#2050)

a8f38158 on GitHub

New crate

adsa `1.5.0`

Crate added to the index

Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

Origin: https://codeberg.org/charlie5/aDSA/releases/download/v1.5.0/adsa-1.5.0.tar.gz
Manifest: index/ad/adsa/adsa-1.5.0.toml

Dependency changes

Added gnat >=12

Aug 6, 2026

ieee_ethernet 1.0.0 (via `alr publish`) (#2051)

48a3d20a on GitHub

New crate

ieee_ethernet `1.0.0`

Crate added to the index

IEEE 802.3 Ethernet declarations, with the SMI and PHY interfaces

Origin: git+https://github.com/pat-rogers/ieee_ethernet.git @ f0724274fec7
Manifest: index/ie/ieee_ethernet/ieee_ethernet-1.0.0.toml

Aug 6, 2026

standard_atomic_ops 1.0.0 (via `alr publish`) (#2045)

26490d1c on GitHub

New crate

standard_atomic_ops `1.0.0`

Crate added to the index

Language-defined atomic operation packages for GNAT runtimes.

Origin: git+https://github.com/pat-rogers/standard_atomic_ops.git @ 07460f94302b
Manifest: index/st/standard_atomic_ops/standard_atomic_ops-1.0.0.toml

Aug 2, 2026

glyph 0.1.0 (#2042)

6d5ac668 on GitHub

New crate

glyph `0.1.0`

Crate added to the index

Lightweight embedded graphics framework for Ada 2022

Origin: git+https://github.com/thirstymelon/glyph.git @ 93655627ec27
Manifest: index/gl/glyph/glyph-0.1.0.toml

Aug 2, 2026

covex 1.1.0 (#2041)

4dfbfb21 on GitHub

New version

covex `1.1.0`

Version added to the index

Ada/SPARK coverage, proof, DO-178C compliance tool

Origin: git+https://github.com/bladeacer/adacovex @ a4295f257745
Manifest: index/co/covex/covex-1.1.0.toml

Aug 2, 2026

simple_components 4.81.0 (#2017)

260cad22 on GitHub

New version

simple_components `4.81.0`

Version added to the index

Simple Components - A collection of support packages

Origin: git+https://github.com/Blady-Com/dak_simple_components.git @ e2238410b26f
Manifest: index/si/simple_components/simple_components-4.81.0.toml

Dependency changes

Added libgnutls ^3.7
Added unixODBC ^2.3

Aug 2, 2026

admpfr 4.2.0 (#2039)

ed184b18 on GitHub

New version

admpfr `4.2.0`

Version added to the index

Ada bindings for MPFR

Origin: git+https://github.com/thvnx/admpfr.git @ 4e18fa8db9e1
Manifest: index/ad/admpfr/admpfr-4.2.0.toml

Dependency changes

Added gnat >=12 & <2000
Added libmpfr ^4.2.0

Jul 30, 2026

covex 1.0.0 (#2037)

b96e6ac2 on GitHub

New crate

covex `1.0.0`

Crate added to the index

Ada/SPARK coverage, proof, DO-178C compliance tool

Origin: git+https://github.com/bladeacer/adacovex @ 2c52a79e846b
Manifest: index/co/covex/covex-1.0.0.toml

Jul 30, 2026

yamlstar 0.1.18 (#2038)

9f646c5e on GitHub

New version

yamlstar `0.1.18`

Version added to the index

YAMLStar language binding for Ada

Origin: https://github.com/yaml/yamlstar/archive/refs/tags/0.1.18.tar.gz
Manifest: index/ya/yamlstar/yamlstar-0.1.18.toml

Dependency changes

Added gnat >=16

Jul 30, 2026

crdt 1.7.0 (#2031)

9c1ca918 on GitHub

New version

crdt `1.7.0`

Version added to the index

CRDT library for Ada/SPARK

Origin: https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.7.0.tar.gz
Manifest: index/cr/crdt/crdt-1.7.0.toml

Jul 29, 2026

meadowsweet_jintp 0.1.0 (#2035)

0a64d0d0 on GitHub

New crate

meadowsweet_jintp `0.1.0`

Crate added to the index

JinTP template renderer for Meadowsweet

Origin: git+https://github.com/rehartmann/meadowsweet_jintp.git @ f979325d0e9d
Manifest: index/me/meadowsweet_jintp/meadowsweet_jintp-0.1.0.toml

Dependency changes

Added jintp ^1.0.1
Added meadowsweet *

Jul 28, 2026

hostarm 26.5.2 (via `alr publish`) (#2032)

12df066c on GitHub

New version

hostarm `26.5.2`

Version added to the index

CGI provider for Ada Reference Manual (ARM)

Origin: git+https://github.com/jquorning/hostarm.git @ ec3fb4546668
Manifest: index/ho/hostarm/hostarm-26.5.2.toml

Dependency changes

Added resources =0.1.0
Added templates_parser =26.0.0

Jul 24, 2026

meadowsweet 0.1.0 (#2023)

ad318d81 on GitHub

New crate

meadowsweet `0.1.0`

Crate added to the index

Simple Ada MVC web framework

Origin: git+https://github.com/rehartmann/meadowsweet.git @ f5e1bc3ac573
Manifest: index/me/meadowsweet/meadowsweet-0.1.0.toml

Dependency changes

Added gnat ^15
Added gnatcoll_sql ^25.0.0
Added servletada ^1.8.1

Jul 23, 2026

proven_components 1.1.0 (via `alr publish`) (#2030)

d4ff825b on GitHub

New version

proven_components `1.1.0`

Version added to the index

Reusable components in SPARK/Ada developed since 1980.

Origin: git+https://github.com/pat-rogers/proven_components.git @ f3ef93b680b9
Manifest: index/pr/proven_components/proven_components-1.1.0.toml

Dependency changes

Added sparklib ^15.1.0

Jul 23, 2026

yamlscript 0.2.29 (via `alr publish`) (#2029)

05cd5fd0 on GitHub

New version

yamlscript `0.2.29`

Version added to the index

YAMLScript language binding for Ada

Origin: git+https://github.com/yaml/yamlscript.git @ 9193d685e55e
Manifest: index/ya/yamlscript/yamlscript-0.2.29.toml

Dependency changes

Added gnat >=16

Jul 23, 2026

yamlstar 0.1.17 (via `alr publish`) (#2028)

801a3208 on GitHub

New crate

yamlstar `0.1.17`

Crate added to the index

YAMLStar language binding for Ada

Origin: git+https://github.com/yaml/yamlstar.git @ 50b09ec68d95
Manifest: index/ya/yamlstar/yamlstar-0.1.17.toml

Dependency changes

Added gnat >=16

Jul 22, 2026

sparklib fsf library_kind hotfix (#2021)

7fd1cd00 on GitHub

Manifest update

sparklib `16.1.0`

Changed actions

Companion libraries for SPARK programming

Source revision: Changed actions
Manifest fields: actions
Manifest: index/sp/sparklib/sparklib-16.1.0.toml

Compare source revisions

Jul 22, 2026

add a bunch of website fields to AdaCore crates (#2026)

9bf510ad on GitHub

Manifest update

lal_refactor `26.0.0`

Changed website

Source code refactoring utilities for the Ada language

Manifest fields: website
Manifest: index/la/lal_refactor/lal_refactor-26.0.0.toml

Manifest update

libgpr2 `26.0.0`

Changed depends-on, website

Parser for GPR Project File

Manifest fields: depends-on, website
Manifest: index/li/libgpr2/libgpr2-26.0.0.toml

Dependency changes

Added gnat <16

Manifest update

markdown `26.0.0`

Changed website

Markdown parser

Manifest fields: website
Manifest: index/ma/markdown/markdown-26.0.0.toml

Manifest update

prettier_ada `26.0.0`

Changed website

Port of the Prettier formatter to Ada

Manifest fields: website
Manifest: index/pr/prettier_ada/prettier_ada-26.0.0.toml

Jul 22, 2026

update vss-text and vss-extra to the 26.2 release (#2025)

559a2ce1 on GitHub

Manifest update

markdown `26.0.0`

Changed depends-on

Markdown parser

Manifest fields: depends-on
Manifest: index/ma/markdown/markdown-26.0.0.toml

Dependency changes

vss_extra ~26.0.0 changed to ^26.0.0
vss_text ~26.0.0 changed to ^26.0.0

New version

vss_extra `26.2.0`

Version added to the index

Extra features for VSS

Origin: git+https://github.com/AdaCore/vss-extra @ 879b9b89cae0
Manifest: index/vs/vss_extra/vss_extra-26.2.0.toml

Dependency changes

Added vss_text ^26.2.0

New version

vss_text `26.2.0`

Version added to the index

A high level Unicode text processing library

Origin: git+https://github.com/AdaCore/vss-text @ c021ca339067
Manifest: index/vs/vss_text/vss_text-26.2.0.toml

Jul 21, 2026

Add test support with alr. (#2022)

26a85339 on GitHub

New version

uxstrings `0.9.4+alpha-20260718`

Version added to the index

Unicode Extended Strings utilities

Origin: git+https://github.com/Blady-Com/UXStrings.git @ 7f4c341c8a78
Manifest: index/ux/uxstrings/uxstrings-0.9.4+alpha-20260718.toml

Dependency changes

Added gnat >=13
Added simple_components ^4.62

Jul 20, 2026

yamlscript 0.2.28 (via `alr publish`) (#2020)

6fb35bed on GitHub

New crate

yamlscript `0.2.28`

Crate added to the index

YAMLScript language binding for Ada

Origin: git+https://github.com/yaml/yamlscript.git @ 116cd55c70e2
Manifest: index/ya/yamlscript/yamlscript-0.2.28.toml

Dependency changes

Added gnat >=16

Jul 15, 2026

MOS 6502 Tutorial release 1.5.2 (#2016)

6b299c54 on GitHub

New version

atari_atr_tools `1.5.2`

Version added to the index

Cross-platform tool for ATR disk images for Atari 8-bit systems

Origin: https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.5.2.tgz
Manifest: index/at/atari_atr_tools/atari_atr_tools-1.5.2.toml

Dependency changes

Added adacl ^7.2.0

New version

atari_exe_tools `1.5.2`

Version added to the index

Cross-platform tool for analysing and inspecting Atari 8-bit EXE files

Origin: https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_exe_tools-1.5.2.tgz
Manifest: index/at/atari_exe_tools/atari_exe_tools-1.5.2.toml

Dependency changes

Added adacl ^7.2.0

New version

mos6502_create_led `1.5.2`

Version added to the index

Create ROM with little program

Origin: https://sourceforge.net/projects/tutorial-6502/files/Alire/mos6502_create_led-1.5.2.tgz
Manifest: index/mo/mos6502_create_led/mos6502_create_led-1.5.2.toml

Dependency changes

Added adacl ^7.2.0

New version

mos6502_create_nop `1.5.2`

Version added to the index

Create NOP ROM

Origin: https://sourceforge.net/projects/tutorial-6502/files/Alire/mos6502_create_nop-1.5.2.tgz
Manifest: index/mo/mos6502_create_nop/mos6502_create_nop-1.5.2.toml

Dependency changes

Added adacl ^7.2.0

New version

mos6502_create_reset `1.5.2`

Version added to the index

Create ROM with reset vector

Origin: https://sourceforge.net/projects/tutorial-6502/files/Alire/mos6502_create_reset-1.5.2.tgz
Manifest: index/mo/mos6502_create_reset/mos6502_create_reset-1.5.2.toml

Dependency changes

Added adacl ^7.2.0

Jul 15, 2026

ssh_protocol 0.0.2 (#2018)

27945d96 on GitHub

New crate

ssh_protocol `0.0.2`

Crate added to the index

SSH protocol (RFC4251) core library

Origin: https://codeberg.org/vimacs/ssh_protocol-ada/releases/download/0.0.2-alire/ssh_protocol-0.0.2.tgz
Manifest: index/ss/ssh_protocol/ssh_protocol-0.0.2.toml

Jul 15, 2026

ml_dsa 1.0.0 (#2010)

e0216fb8 on GitHub

New crate

ml_dsa `1.0.0`

Crate added to the index

SPARK-proved ML-DSA (FIPS 204) lattice-based digital signatures

Origin: git+https://github.com/b-erdem/ml_dsa_ada.git @ 259116004ff3
Manifest: index/ml/ml_dsa/ml_dsa-1.0.0.toml

Dependency changes

Added gnat >=14.2.1
Added sha3 ~1.0

Jul 15, 2026

ml_kem 1.0.0 (#2009)

340f81b7 on GitHub

New crate

ml_kem `1.0.0`

Crate added to the index

SPARK-proved ML-KEM (FIPS 203) lattice-based key encapsulation

Origin: git+https://github.com/b-erdem/ml_kem_ada.git @ 0b46ce23243d
Manifest: index/ml/ml_kem/ml_kem-1.0.0.toml

Dependency changes

Added gnat >=14.2.1
Added sha3 ~1.0

Jul 15, 2026

adacl_aunit 7.2.0 (#2012)

a3be4d2b on GitHub

New version

adacl_aunit `7.2.0`

Version added to the index

Ada 2022 AUnit with readable asserts & paramerised test

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.2.0.tgz
Manifest: index/ad/adacl_aunit/adacl_aunit-7.2.0.toml

Dependency changes

Added adacl ^7.1
Added aunit ^26.0.0

Jul 15, 2026

adacl 7.2.0 (#2014)

9dad09fb on GitHub

New version

adacl `7.2.0`

Version added to the index

Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl-7.2.0.tgz
Manifest: index/ad/adacl/adacl-7.2.0.toml

Jul 15, 2026

adacl_eastrings 7.2.0 (#2013)

c18c9344 on GitHub

New version

adacl_eastrings `7.2.0`

Version added to the index

AdaCL: Encoding-Aware String Utilities

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.2.0.tgz
Manifest: index/ad/adacl_eastrings/adacl_eastrings-7.2.0.toml

Dependency changes

Added adacl ^7.1

New version

adacl_regexp `7.2.0`

Version added to the index

AdaCL: Regex and SPITBOL Patterns with Wide Character Support

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.2.0.tgz
Manifest: index/ad/adacl_regexp/adacl_regexp-7.2.0.toml

Dependency changes

Added adacl ^7.1.2

New version

adacl_sar `7.2.0`

Version added to the index

AdaCL: Search and Replace with Wide/Wide-Wide Support

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.2.0.tgz
Manifest: index/ad/adacl_sar/adacl_sar-7.2.0.toml

Dependency changes

Added adacl ^7.1

Jul 10, 2026

blake3 1.0.0 (#2007)

baf427c9 on GitHub

New crate

blake3 `1.0.0`

Crate added to the index

SPARK-proved BLAKE3 hash function (C2SP specification)

Origin: git+https://github.com/b-erdem/blake3_ada.git @ 06634237deb9
Manifest: index/bl/blake3/blake3-1.0.0.toml

Dependency changes

Added gnat >=14.2.1

Jul 10, 2026

sha3 1.0.0 (#2006)

99cb3d77 on GitHub

New crate

sha3 `1.0.0`

Crate added to the index

SPARK-proved SHA-3/SHAKE (FIPS 202) hash functions

Origin: git+https://github.com/b-erdem/sha3_ada.git @ dd0b8954860b
Manifest: index/sh/sha3/sha3-1.0.0.toml

Dependency changes

Added gnat >=14.2.1

Jul 10, 2026

bbt 0.3.0 (#1889)

2e062071 on GitHub

New version

bbt `0.3.0`

Version added to the index

Black box test runner

Origin: git+https://github.com/LionelDraghi/bbt @ df838f333e73
Manifest: index/bb/bbt/bbt-0.3.0.toml

Dependency changes

Added ansiada ^1.0.0

Jul 9, 2026

cbor_ada 0.3.0 (#2008)

a35b5fc0 on GitHub

New version

cbor_ada `0.3.0`

Version added to the index

CBOR (RFC 8949) encoding/decoding library with SPARK formal verification

Origin: git+https://github.com/b-erdem/cbor_ada.git @ b448c366117f
Manifest: index/cb/cbor_ada/cbor_ada-0.3.0.toml

Jul 8, 2026

gnatprove 16.1.0 (#2000)

0c40df50 on GitHub

New version

gnatprove `16.1.0`

Version added to the index

Automatic formal verification of SPARK code

Origin: Platform-specific binary archives
Manifest: index/gn/gnatprove/gnatprove-16.1.0.toml

New version

sparklib `16.1.0`

Version added to the index

Companion libraries for SPARK programming

Origin: git+https://github.com/AdaCore/SPARKlib @ 6d13c7145fa5
Manifest: index/sp/sparklib/sparklib-16.1.0.toml

Dependency changes

Added gnat >=16

Jul 7, 2026

gnat_native 16.1.0 (#2001)

8d262460 on GitHub

New version

gnat_native `16.1.0`

Version added to the index

The GNAT Ada compiler - Native

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_native/gnat_native-16.1.0.toml

Jul 7, 2026

gnat+cross 15.3.1 (#2003)

60951e6c on GitHub

New crate

gnat_aarch64_elf `15.3.1`

Crate added to the index

The GNAT Ada compiler - aarch64 cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_aarch64_elf/gnat_aarch64_elf-15.3.1.toml

New version

gnat_arm_elf `15.3.1`

Version added to the index

The GNAT Ada compiler - ARM cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_arm_elf/gnat_arm_elf-15.3.1.toml

New version

gnat_avr_elf `15.3.1`

Version added to the index

The GNAT Ada compiler - AVR cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_avr_elf/gnat_avr_elf-15.3.1.toml

New version

gnat_native `15.3.1`

Version added to the index

The GNAT Ada compiler - Native

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_native/gnat_native-15.3.1.toml

New version

gnat_riscv64_elf `15.3.1`

Version added to the index

The GNAT Ada compiler - RISC-V cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_riscv64_elf/gnat_riscv64_elf-15.3.1.toml

New crate

gnat_x86_64_elf `15.3.1`

Crate added to the index

The GNAT Ada compiler - x86_64 cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_x86_64_elf/gnat_x86_64_elf-15.3.1.toml

New version

gnat_xtensa_esp32_elf `15.3.1`

Version added to the index

The GNAT Ada compiler - ESP32 cross-compiler

Origin: Platform-specific binary archives
Manifest: index/gn/gnat_xtensa_esp32_elf/gnat_xtensa_esp32_elf-15.3.1.toml

Jul 7, 2026

simcpucli 0.5.0 (via `alr publish`) (#2005)

13dbed5f on GitHub

New version

simcpucli `0.5.0`

Version added to the index

CLI for CPU simulator

Origin: git+https://github.com/BrentSeidel/Sim-CPU.git @ c779a7285eb8
Manifest: index/si/simcpucli/simcpucli-0.5.0.toml

Dependency changes

Added bbs ~0.1.0
Added bbs_lisp ~0.2.1
Added bbs_simcpu ~0.5.0
Added gnat >7.5

Jul 6, 2026

bbs_simcpu 0.5.0 (via `alr publish`) (#2004)

0efd21c6 on GitHub

New version

bbs_simcpu `0.5.0`

Version added to the index

CPU Simulator for multiple CPUs

Origin: git+https://github.com/BrentSeidel/Sim-CPU.git @ c779a7285eb8
Manifest: index/bb/bbs_simcpu/bbs_simcpu-0.5.0.toml

Dependency changes

Added bbs ~0.1.0

Jul 2, 2026

lace_physics 1.0.0 (#2002)

9fdf997e on GitHub

New version

lace_physics `1.0.0`

Version added to the index

Provides 2D/3D rigid body dynamics simulation.

Origin: git+https://github.com/charlie5/lace.git @ fb901dd2af6b
Manifest: index/la/lace_physics/lace_physics-1.0.0.toml

Dependency changes

Added lace ^1.0.0
Added lace_box2d ^1.0.0
Added lace_bullet ^1.0.0

Jul 2, 2026

wolfssl 5.9.2 (#1994)

15dd2990 on GitHub

New version

wolfssl `5.9.2`

Version added to the index

WolfSSL encryption library and its Ada bindings

Origin: git+https://github.com/wolfSSL/wolfssl @ ac01707f552c
Manifest: index/wo/wolfssl/wolfssl-5.9.2.toml

Jul 1, 2026

lace_bullet 1.0.0 (#1999)

216622dc on GitHub

New version

lace_bullet `1.0.0`

Version added to the index

Provides a thin Ada binding to the 'bullet' C++ project.

Origin: git+https://github.com/charlie5/lace.git @ fb901dd2af6b
Manifest: index/la/lace_bullet/lace_bullet-1.0.0.toml

Dependency changes

Added lace_c_math ^1.0.0
Added libbullet *

Jul 1, 2026

pi ada tutorial 1.8.0 metadata update descriptions (#1998)

ad9ee27b on GitHub

Manifest update

pico_ada_c01_blink_e `1.8.0`

Changed description

Chapter 1 Reloaded: Blinking LEDs on Both Cores (embedded runtime)

Manifest fields: description
Manifest: index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml

Manifest update

pico_ada_c01_blink_lt `1.8.0`

Changed description

Chapter 1 Reloaded: Blinking LEDs on Both Cores (light tasking runtime)

Manifest fields: description
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml

Manifest update

pico_ada_c02_button_and_led `1.8.0`

Changed description

Chapter 2: Button controled LEDs

Manifest fields: description
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml

Manifest update

pico_ada_c03_led_bar `1.8.0`

Changed description

Chapter 3: Cylon LED Bar: flowing light upgraded to a menacing scanner

Manifest fields: description
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml

Manifest update

pico_ada_c08_serial_communication `1.8.0`

Changed configuration, description, long-description

Chapter 8: Serial Communication (UART, USB, SWD)

Manifest fields: configuration, description, long-description
Manifest: index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml

Jun 29, 2026

lace_box2d 1.0.0 (#1996)

e69c344b on GitHub

New version

lace_box2d `1.0.0`

Version added to the index

Provides a thin Ada binding to the 'box2d' C++ project.

Origin: git+https://github.com/charlie5/lace.git @ 62eae8404662
Manifest: index/la/lace_box2d/lace_box2d-1.0.0.toml

Dependency changes

Added lace_c_math ^1.0.0

Jun 28, 2026

proven_components 1.0.0 (#1995)

0a173041 on GitHub

New crate

proven_components `1.0.0`

Crate added to the index

Reusable components formally proven to the highest possible levels.

Origin: git+https://github.com/pat-rogers/proven_components.git @ 584876de8f40
Manifest: index/pr/proven_components/proven_components-1.0.0.toml

Dependency changes

Added sparklib ^15.1.0

Jun 28, 2026

zbinfo, zbmcompile, zbtest 2.0.0 (#1991)

18db9f9b on GitHub

New version

zbinfo `2.0.0`

Version added to the index

Display localization information for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817
Manifest: index/zb/zbinfo/zbinfo-2.0.0.toml

Dependency changes

Added zblib 2.0.0

New version

zbmcompile `2.0.0`

Version added to the index

Message compiler for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817
Manifest: index/zb/zbmcompile/zbmcompile-2.0.0.toml

Dependency changes

Added zblib 2.0.0

New crate

zbtest `2.0.0`

Crate added to the index

Testing utility for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817
Manifest: index/zb/zbtest/zbtest-2.0.0.toml

Dependency changes

Added zblib 2.0.0

Jun 28, 2026

servletada 1.8.2 (#1992)

cb8f5544 on GitHub

New version

servletada `1.8.2`

Version added to the index

Web Servlet Library following JSR 154, JSR 315 (Core)

Origin: git+https://github.com/stcarrez/ada-servlet.git @ 3fc896897882
Manifest: index/se/servletada/servletada-1.8.2.toml

Dependency changes

Added elada ^1.8.5
Added security ^1.6.0
Added utilada ^2.9.0

New version

servletada_aws `1.8.2`

Version added to the index

Web Servlet Library following JSR 154, JSR 315 (AWS)

Origin: git+https://github.com/stcarrez/ada-servlet.git @ 3fc896897882
Manifest: index/se/servletada_aws/servletada_aws-1.8.2.toml

Dependency changes

Added aws ^24.0|25.0
Added servletada ^1.8.2
Added utilada_aws ^2.9.0

New version

servletada_ews `1.8.2`

Version added to the index

Web Servlet Library following JSR 154, JSR 315 (EWS)

Origin: git+https://github.com/stcarrez/ada-servlet.git @ 3fc896897882
Manifest: index/se/servletada_ews/servletada_ews-1.8.2.toml

Dependency changes

Added ews any
Added servletada ^1.8.2
Added utilada_xml ^2.9.0

New version

servletada_unit `1.8.2`

Version added to the index

Web Servlet Library following JSR 154, JSR 315 (Testing framework)

Origin: git+https://github.com/stcarrez/ada-servlet.git @ 3fc896897882
Manifest: index/se/servletada_unit/servletada_unit-1.8.2.toml

Dependency changes

Added servletada ^1.8.2
Added utilada ^2.9.0
Added utilada_unit ^2.9.0

Jun 28, 2026

lace_c_math 1.0.0 (#1993)

a2fd77fd on GitHub

New version

lace_c_math `1.0.0`

Version added to the index

A binding to the C math code used by box2d & bullet bindings.

Origin: git+https://github.com/charlie5/lace.git @ 62eae8404662
Manifest: index/la/lace_c_math/lace_c_math-1.0.0.toml

Dependency changes

Added lace_math ^1.0.0
Added lace_swig ^1.0.0

Jun 24, 2026

lace_opengl 1.0.0 (#1990)

c15ff2ef on GitHub

New version

lace_opengl `1.0.0`

Version added to the index

Provides an openGL engine.

Origin: git+https://github.com/charlie5/lace.git @ 62eae8404662
Manifest: index/la/lace_opengl/lace_opengl-1.0.0.toml

Dependency changes

Added lace_collada ^1.0.0
Added libfreetype ^2
Added libmesa (case(os)=windows) *

Jun 24, 2026

security 1.6.0 (#1988)

7d4d0166 on GitHub

New version

security `1.6.0`

Version added to the index

Security Library for HTTP client and server with OAuth2 support

Origin: git+https://github.com/stcarrez/ada-security.git @ 9ca2987053dd
Manifest: index/se/security/security-1.6.0.toml

Dependency changes

Added utilada ^2.9.0
Added utilada_xml ^2.9.0

Jun 24, 2026

are 1.5.2 (#1989)

6c3ba174 on GitHub

New version

are `1.5.2`

Version added to the index

Advanced Resource Embedder

Origin: git+https://github.com/stcarrez/resource-embedder.git @ eab228627a43
Manifest: index/ar/are/are-1.5.2.toml

Dependency changes

Added elada ^1.8.6
Added utilada ^2.9.0
Added xmlada ^23.0.0

Jun 24, 2026

akt, keystoreada 1.4.3 (#1987)

03db204a on GitHub

New version

akt `1.4.3`

Version added to the index

Ada Keystore Tool

Origin: git+https://gitlab.com/stcarrez/ada-keystore.git @ 4ffbf105fd3c
Manifest: index/ak/akt/akt-1.4.3.toml

Dependency changes

Added ada_fuse (case(os)=linux) *
Added intl ^1.0.1
Added keystoreada ^1.4.3
Added resources ~0.1.0
Added utilada ^2.9.0

New version

keystoreada `1.4.3`

Version added to the index

Ada Keystore

Origin: git+https://gitlab.com/stcarrez/ada-keystore.git @ 4ffbf105fd3c
Manifest: index/ke/keystoreada/keystoreada-1.4.3.toml

Dependency changes

Added utilada ^2.9.0

Jun 24, 2026

lace_collada 1.0.0 (#1986)

f9a6a85c on GitHub

New version

lace_collada `1.0.0`

Version added to the index

A Collada parser.

Origin: git+https://github.com/charlie5/lace.git @ 62eae8404662
Manifest: index/la/lace_collada/lace_collada-1.0.0.toml

Dependency changes

Added lace_math ^1.0.0
Added lace_xml ^1.0.0

Jun 24, 2026

zanyblue 2.0.0. (#1978)

5063bb3e on GitHub

New version

zblib `2.0.0`

Version added to the index

Library for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817
Manifest: index/zb/zblib/zblib-2.0.0.toml

Dependency changes

Added uxstrings 0.9.2

Jun 23, 2026

lace_swig 1.0.0 (via `alr publish`) (#1976)

082c6389 on GitHub

New version

lace_swig `1.0.0`

Version added to the index

Provides packages required by bindings produced by the 'swig4ada' tool.

Origin: git+https://github.com/charlie5/lace.git @ 62eae8404662
Manifest: index/la/lace_swig/lace_swig-1.0.0.toml

Jun 23, 2026

lace_xml 1.0.0 (via `alr publish`) (#1968)

44804126 on GitHub

New version

lace_xml `1.0.0`

Version added to the index

Provides simple XML read/write support.

Origin: git+https://github.com/charlie5/lace.git @ 934d277661e0
Manifest: index/la/lace_xml/lace_xml-1.0.0.toml

Dependency changes

Added lace_shared ^1.0.0
Added libexpat *

Jun 23, 2026

lace_math 1.0.0 (via `alr publish`) (#1966)

c5f00e30 on GitHub

New version

lace_math `1.0.0`

Version added to the index

Provides an Ada package family covering pure and applied mathematics.

Origin: git+https://github.com/charlie5/lace.git @ 934d277661e0
Manifest: index/la/lace_math/lace_math-1.0.0.toml

Dependency changes

Added lace_shared ^1.0.0

Jun 23, 2026

Add Alire support for Gnoga V2.2. (#1985)

87774f91 on GitHub

New version

gnoga `2.2.2`

Version added to the index

gnoga - The GNU Omnificent GUI for Ada

Origin: git+https://github.com/Blady-Com/gnoga.git @ 2513b058ff0a
Manifest: index/gn/gnoga/gnoga-2.2.2.toml

Dependency changes

Added gnat >=2021 | (>=12 & <2000)
Added simple_components ^4.62.0
Added uxstrings 0.9.3

Jun 22, 2026

uxstrings 0.9.3 (#1980)

00dee377 on GitHub

New version

uxstrings `0.9.3+alpha-20260618`

Version added to the index

Unicode Extended Strings utilities

Origin: git+https://github.com/Blady-Com/UXStrings.git @ ea4110d7a632
Manifest: index/ux/uxstrings/uxstrings-0.9.3+alpha-20260618.toml

Dependency changes

Added gnat >=13
Added simple_components ^4.62

Jun 22, 2026

uhppoted_lib 0.2.0 (#1975)

503f31c7 on GitHub

New crate

uhppoted_lib `0.2.0`

Crate added to the index

Library for the UHPPOTE access controllers

Origin: git+https://github.com/uhppoted/uhppoted-lib-ada.git @ 455e6401096d
Manifest: index/uh/uhppoted_lib/uhppoted_lib-0.2.0.toml

Jun 22, 2026

df_ccv 0.1.0 (#1954)

56ef597b on GitHub

New crate

df_ccv `0.1.0`

Crate added to the index

Ada bindings to Liu Liu's CCV computer vision library

Origin: git+https://github.com/the-dark-factory/ccv-ada.git @ ec4e224e77c7
Manifest: index/df/df_ccv/df_ccv-0.1.0.toml

Jun 22, 2026

feat: check manifests against schema (#1965)

01ec5f41 on GitHub

Manifest update

libhello `1.0.1`

Manifest metadata changed

Basic library demonstration project

Source revision: Manifest metadata changed
Manifest: index/li/libhello/libhello-1.0.1.toml

Compare source revisions

Jun 22, 2026

df_llama 0.1.0 (#1958)

9c934881 on GitHub

New crate

df_llama `0.1.0`

Crate added to the index

Ada bindings to llama.cpp - run a local LLM on-device from Ada

Origin: git+https://github.com/the-dark-factory/llama-ada.git @ f44da7bd5e88
Manifest: index/df/df_llama/df_llama-0.1.0.toml

Jun 22, 2026

pico_xbsp 1.8.0 (#1979)

4e91b540 on GitHub

New version

adacl_embedded `7.1.1`

Version added to the index

Ada Embedded Library

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.1.tgz
Manifest: index/ad/adacl_embedded/adacl_embedded-7.1.1.toml

New version

pico_xbsp `1.8.0`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.8.0.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.8.0.toml

Dependency changes

Added adacl_embedded ^7.1.2
Added pico_bsp ^2.2
Added usb_embedded ^1.0.0

Jun 22, 2026

Pi Ada Tutorial release 1.8.0 (#1982)

4d5f8f87 on GitHub

New version

pico_ada_c01_blink `1.8.0`

Version added to the index

Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.8.0.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml

Dependency changes

Added pico_bsp ^2.2
Added pico_xbsp ^1.8

New version

pico_ada_c01_blink_e `1.8.0`

Version added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_e-1.8.0.tgz
Manifest: index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c01_blink_lt `1.8.0`

Version added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.8.0.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c02_button_and_led `1.8.0`

Version added to the index

Chapter 2 - Button controled LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.8.0.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c03_led_bar `1.8.0`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.8.0.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c04_pwm `1.8.0`

Version added to the index

Chapter 4: Analog LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.8.0.tgz
Manifest: index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c05_rgb `1.8.0`

Version added to the index

Chapter 5: Controlling an RGB LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.8.0.tgz
Manifest: index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c06_neopixel `1.8.0`

Version added to the index

Chapter 6: Controlling 8 NeoPixel RGB LED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c06_neopixel-1.8.0.tgz
Manifest: index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New version

pico_ada_c07_buzzer `1.8.0`

Version added to the index

Chapter 7: Controlling active and passive Buzzer

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c07_buzzer-1.8.0.tgz
Manifest: index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

New crate

pico_ada_c08_serial_communication `1.8.0`

Crate added to the index

Chapter 7: Controlling active and passive Buzzer

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c08_serial_communication-1.8.0.tgz
Manifest: index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.8
Added rp2040_hal ^2.7.1

Jun 22, 2026

ada message pack (#1922)

cbf2f2bc on GitHub

New crate

msg_pack `0.1.0`

Crate added to the index

Ada implementation of MessagePack serialization

Origin: git+https://github.com/mlorek/msgpack.git @ 30c5bb53c36f
Manifest: index/ms/msg_pack/msg_pack-0.1.0.toml

Jun 22, 2026

AdaCL release 7.1.2 (#1977)

4206a195 on GitHub

New version

adacl `7.1.2`

Version added to the index

Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.2.tgz
Manifest: index/ad/adacl/adacl-7.1.2.toml

New version

adacl_aunit `7.1.2`

Version added to the index

Ada 2022 AUnit with readable asserts & paramerised test

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.1.2.tgz
Manifest: index/ad/adacl_aunit/adacl_aunit-7.1.2.toml

Dependency changes

Added adacl ^7.1
Added aunit ^26.0.0

New version

adacl_eastrings `7.1.2`

Version added to the index

AdaCL: Encoding-Aware String Utilities

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.1.2.tgz
Manifest: index/ad/adacl_eastrings/adacl_eastrings-7.1.2.toml

Dependency changes

Added adacl ^7.1

New crate

adacl_embedded `7.1.2`

Crate added to the index

Ada Embedded Library

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.2.tgz
Manifest: index/ad/adacl_embedded/adacl_embedded-7.1.2.toml

New version

adacl_regexp `7.1.2`

Version added to the index

AdaCL: Regex and SPITBOL Patterns with Wide Character Support

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.1.2.tgz
Manifest: index/ad/adacl_regexp/adacl_regexp-7.1.2.toml

Dependency changes

Added adacl ^7.1

New version

adacl_sar `7.1.2`

Version added to the index

AdaCL: Search and Replace with Wide/Wide-Wide Support

Origin: https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.1.2.tgz
Manifest: index/ad/adacl_sar/adacl_sar-7.1.2.toml

Dependency changes

Added adacl ^7.1

Jun 22, 2026

Add spdx-tool 1.0.0 crate (new release) (#1983)

758416bb on GitHub

New version

spdx_tool `1.0.0`

Version added to the index

SPDX license detection and management tool

Origin: git+https://gitlab.com/stcarrez/spdx-tool.git @ a2c70523a2c7
Manifest: index/sp/spdx_tool/spdx_tool-1.0.0.toml

Dependency changes

Added ada_toml ~0.5.0
Added ansiada ^1.0.0
Added intl ^1.0.1
Added magicada (case(os)=linux) ^1
Added printer_toolkit ~0.2.0
Added sciada ~0.4.0
Added spdx ~0.2.0
Added utilada ^2.8.0
Added utilada_xml ^2.8.0

Jun 22, 2026

Add Ada Utility Library 2.9.0 crates (#1984)

02c29bc8 on GitHub

New version

utilada `2.9.0`

Version added to the index

Utility Library with streams, processes, logs, serialization, encoders

Origin: git+https://gitlab.com/stcarrez/ada-util.git @ bd635f55729b
Manifest: index/ut/utilada/utilada-2.9.0.toml

New version

utilada_aws `2.9.0`

Version added to the index

Utility Library REST support on top of AWS

Origin: git+https://gitlab.com/stcarrez/ada-util.git @ bd635f55729b
Manifest: index/ut/utilada_aws/utilada_aws-2.9.0.toml

Dependency changes

Added aws ^24.0|^25.0
Added utilada ^2.9.0

New version

utilada_curl `2.9.0`

Version added to the index

Utility Library REST support on top of CURL

Origin: git+https://gitlab.com/stcarrez/ada-util.git @ bd635f55729b
Manifest: index/ut/utilada_curl/utilada_curl-2.9.0.toml

Dependency changes

Added libcurl *
Added utilada ^2.9.0

New version

utilada_lzma `2.9.0`

Version added to the index

Utility Library streams with LZMA support

Origin: git+https://gitlab.com/stcarrez/ada-util.git @ bd635f55729b
Manifest: index/ut/utilada_lzma/utilada_lzma-2.9.0.toml

Dependency changes

Added lzmada ^1.1.2
Added utilada ^2.9.0

New version

utilada_unit `2.9.0`

Version added to the index

Utility Library testing framework with Ahven

Origin: git+https://gitlab.com/stcarrez/ada-util.git @ bd635f55729b
Manifest: index/ut/utilada_unit/utilada_unit-2.9.0.toml

Dependency changes

Added utilada ^2.9.0

New version

utilada_xml `2.9.0`

Version added to the index

Utility Library serialization with XML/Ada

Origin: git+https://gitlab.com/stcarrez/ada-util.git @ bd635f55729b
Manifest: index/ut/utilada_xml/utilada_xml-2.9.0.toml

Dependency changes

Added utilada ^2.9.0
Added xmlada ^24.0|^25.0

Jun 19, 2026

df_box2d 0.1.0 (#1957)

9b4518a8 on GitHub

New crate

df_box2d `0.1.0`

Crate added to the index

Ada bindings to Box2D v3, Erin Catto's 2D physics engine (pure C)

Origin: git+https://github.com/the-dark-factory/box2d-ada.git @ fbe979353fe4
Manifest: index/df/df_box2d/df_box2d-0.1.0.toml

Jun 19, 2026

df_imgui 0.1.0 (#1956)

9bcd58a4 on GitHub

New crate

df_imgui `0.1.0`

Crate added to the index

Ada bindings to Dear ImGui via cimgui

Origin: git+https://github.com/the-dark-factory/imgui-ada.git @ 3dec19e9896a
Manifest: index/df/df_imgui/df_imgui-0.1.0.toml

Jun 19, 2026

df_stb 0.1.0 (#1955)

7b00e4ae on GitHub

New crate

df_stb `0.1.0`

Crate added to the index

Ada bindings to Sean Barrett's STB header-only utility libraries

Origin: git+https://github.com/the-dark-factory/stb-ada.git @ c3442adac650
Manifest: index/df/df_stb/df_stb-0.1.0.toml

Jun 19, 2026

libsap 0.3.0 (#1973)

654a4601 on GitHub

New version

libsap `0.3.0`

Version added to the index

Asynchronous message passing for protocol stacks

Origin: git+https://github.com/damaki/libsap.git @ d3305919b980
Manifest: index/li/libsap/libsap-0.3.0.toml

Dependency changes

Added atomic ^1.1.0
Added gnat >=14

Jun 12, 2026

Update UXStrings to version 0.9.2 (more fixes). (#1964)

2ab5e4b1 on GitHub

New version

uxstrings `0.9.2+alpha-20260610`

Version added to the index

Unicode Extended Strings utilities

Origin: git+https://github.com/Blady-Com/UXStrings.git @ 985379d8fef2
Manifest: index/ux/uxstrings/uxstrings-0.9.2+alpha-20260610.toml

Dependency changes

Added gnat >=13

Jun 12, 2026

lace 1.0.0 (via `alr publish`) (#1962)

75495c5a on GitHub

New version

lace `1.0.0`

Version added to the index

Contains a set of low level re-usable Ada components.

Origin: git+https://github.com/charlie5/lace.git @ 934d277661e0
Manifest: index/la/lace/lace-1.0.0.toml

Dependency changes

Added lace_shared ^1.0.0

Jun 10, 2026

simple_components metadata: fix casing of dependency (#1963)

0a0d12e3 on GitHub

Manifest update

simple_components `4.42.0`

Changed depends-on

Simple Components - A collection of support packages

Source revision: Changed depends-on
Manifest fields: depends-on
Manifest: index/si/simple_components/simple_components-4.42.0.toml

Dependency changes

Removed unixODBC ^2.3
Added unixodbc ^2.3

Compare source revisions

Manifest update

simple_components `4.62.0`

Changed depends-on

Simple Components - A collection of support packages

Source revision: Changed depends-on
Manifest fields: depends-on
Manifest: index/si/simple_components/simple_components-4.62.0.toml

Dependency changes

gnat >=2021 | (>=12 & <2000) changed to >=2021 | ^12
Removed unixODBC ^2.3
Added unixodbc ^2.3

Compare source revisions

Manifest update

simple_components `4.68.0`

Changed depends-on

Simple Components - A collection of support packages

Source revision: Changed depends-on
Manifest fields: depends-on
Manifest: index/si/simple_components/simple_components-4.68.0.toml

Dependency changes

Removed unixODBC ^2.3
Added unixodbc ^2.3

Compare source revisions

Jun 10, 2026

lace_shared 1.0.0 (#1961)

56db2495 on GitHub

New version

lace_shared `1.0.0`

Version added to the index

Default settings for GPR files in the Lace project.

Origin: git+https://github.com/charlie5/lace.git @ 934d277661e0
Manifest: index/la/lace_shared/lace_shared-1.0.0.toml

Jun 10, 2026

clara 1.0.1 (#1960)

5c5dc094 on GitHub

New crate

clara `1.0.1`

Crate added to the index

Type-safe CLI argument parsing with functional monads

Origin: git+https://github.com/abitofhelp/clara.git @ 1dafa0e89978
Manifest: index/cl/clara/clara-1.0.1.toml

Dependency changes

Added functional ^4.0.0
Added gnat >=13

Jun 8, 2026

df_vulkan 0.1.0 (#1952)

ee0a84c9 on GitHub

New crate

df_vulkan `0.1.0`

Crate added to the index

Generated Ada binding to Vulkan, with a SPARK-verified safety layer

Origin: git+https://github.com/the-dark-factory/vulkan-ada.git @ d3fac5d7df41
Manifest: index/df/df_vulkan/df_vulkan-0.1.0.toml

Jun 8, 2026

crdt 1.5.0 (via alr publish) (#1953)

24b4b9e6 on GitHub

New version

crdt `1.5.0`

Version added to the index

CRDT library for Ada/SPARK

Origin: https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.5.0.tar.gz
Manifest: index/cr/crdt/crdt-1.5.0.toml

Jun 8, 2026

functional 4.1.1 (#1951)

44490572 on GitHub

New version

functional `4.1.1`

Version added to the index

Functional Programming Library for Ada 2022

Origin: git+https://github.com/abitofhelp/functional.git @ c1ff2600a58b
Manifest: index/fu/functional/functional-4.1.1.toml

Dependency changes

Added gnat >=13

Jun 8, 2026

libsap 0.2.0 (#1950)

6b51ea32 on GitHub

New version

libsap `0.2.0`

Version added to the index

Asynchronous message passing for protocol stacks

Origin: git+https://github.com/damaki/libsap.git @ 6539a6489177
Manifest: index/li/libsap/libsap-0.2.0.toml

Dependency changes

Added atomic ^1.1.0
Added gnat >=14

Jun 8, 2026

crdt 1.3.0 (#1943)

8081044f on GitHub

New version

crdt `1.3.0`

Version added to the index

CRDT library for Ada/SPARK

Origin: https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.3.0.tar.gz
Manifest: index/cr/crdt/crdt-1.3.0.toml

Jun 8, 2026

dev: bump Alire version to 2.1.1 and setup-alire to @latest (#1942)

a3da8925 on GitHub

Manifest update

libhello `1.0.1`

Manifest metadata changed

Basic library demonstration project

Source revision: Manifest metadata changed
Manifest: index/li/libhello/libhello-1.0.1.toml

Compare source revisions

Jun 3, 2026

crdt 1.1.0 (via `alr publish`) (#1941)

e61b8528 on GitHub

New crate

crdt `1.1.0`

Crate added to the index

CRDT library for Ada/SPARK

Origin: https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.1.0.tar.gz
Manifest: index/cr/crdt/crdt-1.1.0.toml

May 25, 2026

feat: new crate name check, plus reusable workflow (#1935)

a5980b01 on GitHub

Manifest update

libhello `1.0.1`

Manifest metadata changed

Basic library demonstration project

Source revision: Manifest metadata changed
Manifest: index/li/libhello/libhello-1.0.1.toml

Compare source revisions

May 24, 2026

lea 0.94.0 (#1916)

80675a19 on GitHub

New version

lea `0.94.0`

Version added to the index

LEA is a Lightweight Editor for Ada

Origin: https://sourceforge.net/projects/l-e-a/files/lea-src-v.0.94b.zip
Manifest: index/le/lea/lea-0.94.0.toml

Dependency changes

Added gnat /=10.3.2
Added gwindows ^1.5.4
Added hac 0.41.0
Added ini_files ^10.0.0
Added zipada ^61.0.0

May 23, 2026

pico_ada_c01_blink 1.7.0 (#1925)

643edfa8 on GitHub

New version

pico_ada_c01_blink `1.7.0`

Version added to the index

Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.7.0.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml

Dependency changes

Added pico_bsp ^2.2
Added pico_xbsp ^1.7

May 23, 2026

pico_ada_c01_blink_e 1.7.0 (#1926)

dfa36884 on GitHub

New crate

pico_ada_c01_blink_e `1.7.0`

Crate added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_e-1.7.0.tgz
Manifest: index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c01_blink_lt 1.7.0 (#1927)

643e3224 on GitHub

New version

pico_ada_c01_blink_lt `1.7.0`

Version added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.7.0.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c02_button_and_led 1.7.0 (#1928)

daf45e03 on GitHub

New version

pico_ada_c02_button_and_led `1.7.0`

Version added to the index

Chapter 2 - Button controled LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.7.0.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c03_led_bar 1.7.0 (#1929)

d15311ee on GitHub

New version

pico_ada_c03_led_bar `1.7.0`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.7.0.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c04_pwm 1.7.0 (#1930)

725b057b on GitHub

New version

pico_ada_c04_pwm `1.7.0`

Version added to the index

Chapter 4: Analog LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.7.0.tgz
Manifest: index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c05_rgb 1.7.0 (#1931)

b448e401 on GitHub

New version

pico_ada_c05_rgb `1.7.0`

Version added to the index

Chapter 5: Controlling an RGB LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.7.0.tgz
Manifest: index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c06_neopixel 1.7.0 (#1932)

933d0253 on GitHub

New version

pico_ada_c06_neopixel `1.7.0`

Version added to the index

Chapter 6: Controlling 8 NeoPixel RGB LED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c06_neopixel-1.7.0.tgz
Manifest: index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_ada_c07_buzzer 1.7.0 (#1933)

c58770b0 on GitHub

New version

pico_ada_c07_buzzer `1.7.0`

Version added to the index

Chapter 7: Controlling active and passive Buzzer

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c07_buzzer-1.7.0.tgz
Manifest: index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 23, 2026

pico_xbsp 1.7.0 (#1924)

70ada14c on GitHub

New version

pico_xbsp `1.7.0`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.7.0.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.7.0.toml

Dependency changes

Added pico_bsp ^2.2

May 23, 2026

trendy_terminal 0.0.7 (#1921)

36b33a3f on GitHub

New version

trendy_terminal `0.0.7`

Version added to the index

Terminal options, setup, tab completion and hinting.

Origin: git+https://github.com/pyjarrett/trendy_terminal.git @ 730526e3498f
Manifest: index/tr/trendy_terminal/trendy_terminal-0.0.7.toml

May 23, 2026

jintp 1.0.1 (#1920)

321fda5e on GitHub

New version

jintp `1.0.1`

Version added to the index

Template parser in Ada based on Jinja2

Origin: git+https://github.com/rehartmann/JinTP.git @ 732a46b2fba5
Manifest: index/ji/jintp/jintp-1.0.1.toml

May 23, 2026

gwindows 1.5.4 metadata (examples removed) (#1917)

e81f5c55 on GitHub

Manifest update

gwindows `1.5.4`

Changed executables, project-files

GWindows - Ada Framework for Windows Development

Manifest fields: executables, project-files
Manifest: index/gw/gwindows/gwindows-1.5.4.toml

May 23, 2026

pico_ada_c07_buzzer 1.7.1 (#1936)

85a3691b on GitHub

New crate

pico_ada_c07_buzzer `1.7.1`

Crate added to the index

Chapter 7: Controlling active and passive Buzzer

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c07_buzzer-1.7.1.tgz
Manifest: index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml

Dependency changes

Added embedded_rp2040 ^15.4
Added pico_bsp ^2.2
Added pico_xbsp ^1.7
Added rp2040_hal ^2.7.1

May 18, 2026

Update UXStrings to version 0.9.1 (some fixes). (#1919)

fd4a04f9 on GitHub

New version

uxstrings `0.9.1+alpha-20260517`

Version added to the index

Unicode Extended Strings utilities

Origin: git+https://github.com/Blady-Com/UXStrings.git @ 408c33a71561
Manifest: index/ux/uxstrings/uxstrings-0.9.1+alpha-20260517.toml

Dependency changes

Added gnat >=13

May 18, 2026

pico_xbsp 1.6.1 (via `alr publish`) (#1918)

41908ea2 on GitHub

New version

pico_xbsp `1.6.1`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.6.1.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.6.1.toml

Dependency changes

Added pico_bsp ^2.2

May 14, 2026

gwindows 1.5.4 (#1904)

4137ced8 on GitHub

New version

gwindows `1.5.4`

Version added to the index

GWindows - Ada Framework for Windows Development

Origin: https://sourceforge.net/projects/gnavi/files/GWindows%20Archive%2009-May-2026.zip
Manifest: index/gw/gwindows/gwindows-1.5.4.toml

Dependency changes

Added gnat /=15.2.1 & /=15.1.2

May 14, 2026

tp7_gnoga_examples=11.0.0 (#1915)

01c0e3c2 on GitHub

New crate

tp7_gnoga_examples `11.0.0`

Crate added to the index

Examples for Turbo Pascal 7 units in Ada

Origin: git+https://github.com/Blady-Com/tp7ada-gnoga.git @ 20eb31f62efa
Manifest: index/tp/tp7_gnoga_examples/tp7_gnoga_examples-11.0.0.toml

Dependency changes

Added tp7_gnoga ^11
Added zblib 1.4.0

May 13, 2026

a0b_base 0.5.0 (via `alr publish`) (#1913)

b602ef0b on GitHub

New version

a0b_base `0.5.0`

Version added to the index

Fundamental types, GCC built-ins, and base packages for Ada projects

Origin: git+https://github.com/godunko/a0b-base.git @ 882bbc92ae5c
Manifest: index/a0/a0b_base/a0b_base-0.5.0.toml

May 13, 2026

a0b_tools 0.2.0 (via `alr publish`) (#1912)

51656c38 on GitHub

New version

a0b_tools `0.2.0`

Version added to the index

A0B Tools: Runtime Generator

Origin: git+https://github.com/godunko/a0b-tools.git @ 3ea7bd72f3de
Manifest: index/a0/a0b_tools/a0b_tools-0.2.0.toml

Dependency changes

Added a0b_base *
Added gnat >=15
Added gnatcoll ^25
Added vss_extra *
Added vss_text *

May 13, 2026

espidf_gnat_runtime 0.1.0 (via `alr publish`) (#1911)

9d6957c8 on GitHub

New crate

espidf_gnat_runtime `0.1.0`

Crate added to the index

A0B: GNAT Runtime for ESP-IDF

Origin: git+https://github.com/godunko/espidf_gnat_runtime.git @ 6d5539260aad
Manifest: index/es/espidf_gnat_runtime/espidf_gnat_runtime-0.1.0.toml

May 13, 2026

ZanyBlue tools release 1.5.0. (#1910)

54bfc096 on GitHub

New version

zbinfo `1.5.0`

Version added to the index

Display localization information for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 12b866dd373d
Manifest: index/zb/zbinfo/zbinfo-1.5.0.toml

Dependency changes

Added zblib 1.5.0

New version

zbmcompile `1.5.0`

Version added to the index

Message compiler for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 12b866dd373d
Manifest: index/zb/zbmcompile/zbmcompile-1.5.0.toml

Dependency changes

Added zblib 1.5.0

May 13, 2026

septum 0.2.1 (via `alr publish`) (#1914)

95be7388 on GitHub

New version

septum `0.2.1`

Version added to the index

An interactive context-based text search tool for large codebases.

Origin: git+https://github.com/pyjarrett/septum.git @ 98d898f96bd5
Manifest: index/se/septum/septum-0.2.1.toml

Dependency changes

Added ansiada ^1.1.0
Added atomic ~1.0.0
Added dir_iterators ~0.0.5
Added progress_indicators ~0.0.2
Added trendy_terminal ~0.0.6

May 11, 2026

Raylib 2.0.0 (#1909)

ccc1c917 on GitHub

New version

raylib `2.0.0`

Version added to the index

Ada bindings for Raylib

Origin: git+https://github.com/Fabien-Chouteau/raylib-ada.git @ d6a489037ca3
Manifest: index/ra/raylib/raylib-2.0.0.toml

Dependency changes

Added gnat >=12 & <2000
Added libraylib ~6.0

May 11, 2026

zanyblue 1.4.1 (#1803)

d691a270 on GitHub

Manifest update

zbinfo `1.4.0`

Changed available, depends-on

Display localization information for ZanyBlue Ada Localization

Source revision: Changed available, depends-on
Manifest fields: available, depends-on
Manifest: index/zb/zbinfo/zbinfo-1.4.0.toml

Dependency changes

Removed zanyblue 1.4.0
Added zblib 1.4.0

Compare source revisions

New version

zbinfo `1.4.1`

Version added to the index

Display localization information for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 98d3b96ec3c6
Manifest: index/zb/zbinfo/zbinfo-1.4.1.toml

Dependency changes

Added zblib 1.4.0

Manifest update

zbmcompile `1.4.0`

Changed available, depends-on

Message compiler for ZanyBlue Ada Localization

Source revision: Changed available, depends-on
Manifest fields: available, depends-on
Manifest: index/zb/zbmcompile/zbmcompile-1.4.0.toml

Dependency changes

Removed zanyblue 1.4.0
Added zblib 1.4.0

Compare source revisions

New version

zbmcompile `1.4.1`

Version added to the index

Message compiler for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 98d3b96ec3c6
Manifest: index/zb/zbmcompile/zbmcompile-1.4.1.toml

Dependency changes

Added zblib 1.4.0

May 11, 2026

aion 1.0.0 (#1897)

8c00c9ca on GitHub

New crate

aion `1.0.0`

Crate added to the index

Structured Asynchronous Runtime for Ada

Origin: git+https://github.com/MaheshChandraTeja/Aion.git @ 9a6f2dd91329
Manifest: index/ai/aion/aion-1.0.0.toml

May 11, 2026

termicap 1.0.0 (#1907)

0099dd91 on GitHub

New crate

termicap `1.0.0`

Crate added to the index

Cross-platform terminal capability detection (color, TTY, ...)

Origin: git+https://github.com/adarium-labs/termicap.git @ bb43f2cf563a
Manifest: index/te/termicap/termicap-1.0.0.toml

Dependency changes

Added sparklib ^15.1.0
Added win32ada (case(os)=windows) ^26.0.0

May 11, 2026

zblib 1.5.0 (#1826)

ac5111d1 on GitHub

New version

zblib `1.5.0`

Version added to the index

Library for ZanyBlue Ada Localization

Origin: git+https://github.com/Blady-Com/zanyblue.git @ 12b866dd373d
Manifest: index/zb/zblib/zblib-1.5.0.toml

May 11, 2026

gprbuild 26.0.1 (#1903)

4ba1bd04 on GitHub

New version

gprbuild `26.0.1`

Version added to the index

The GPRBuild Ada/multilanguage build tool

Origin: Platform-specific binary archives
Manifest: index/gp/gprbuild/gprbuild-26.0.1.toml

May 11, 2026

gnatformat_bin 26.0.0 (#1902)

efe50551 on GitHub

New crate

gnatformat_bin `26.0.0`

Crate added to the index

GNAT code formatter for the Ada language - Binary Release

Origin: Platform-specific binary archives
Manifest: index/gn/gnatformat_bin/gnatformat_bin-26.0.0.toml

May 11, 2026

gnattest_bin 26.2.0 (#1901)

3f6a0856 on GitHub

New crate

gnattest_bin `26.2.0`

Crate added to the index

GNAT unit testing framework and generator - Binary Release

Origin: Platform-specific binary archives
Manifest: index/gn/gnattest_bin/gnattest_bin-26.2.0.toml

May 11, 2026

gnatdoc_bin 26.0.0 metadata fix path (#1900)

155321e6 on GitHub

Manifest update

gnatdoc_bin `26.0.0`

Changed environment, executables, project-files

GNAT Documentation Generation Tool - Binary Release

Manifest fields: environment, executables, project-files
Manifest: index/gn/gnatdoc_bin/gnatdoc_bin-26.0.0.toml

May 11, 2026

czmq_ada 0.5.0 (via `alr publish`) (#1905)

b3948f0b on GitHub

New version

czmq_ada `0.5.0`

Version added to the index

Ada bindings for CZMQ (high-level C API for ZeroMQ)

Origin: git+https://github.com/geewiz/czmq_ada.git @ 83b0ba41f60d
Manifest: index/cz/czmq_ada/czmq_ada-0.5.0.toml

May 11, 2026

community-bb-runtimes 15.4.0 (#1908)

75537c14 on GitHub

New version

embedded_nrf52832 `15.4.0`

Version added to the index

embedded runtime for the NRF52832 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-nrf52832-15.4.0.tar.gz
Manifest: index/em/embedded_nrf52832/embedded_nrf52832-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_nrf52833 `15.4.0`

Version added to the index

embedded runtime for the NRF52833 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-nrf52833-15.4.0.tar.gz
Manifest: index/em/embedded_nrf52833/embedded_nrf52833-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_nrf52840 `15.4.0`

Version added to the index

embedded runtime for the NRF52840 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-nrf52840-15.4.0.tar.gz
Manifest: index/em/embedded_nrf52840/embedded_nrf52840-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_nrf54l_app `15.4.0`

Version added to the index

embedded runtime for the nRF54L series

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-nrf54l_app-15.4.0.tar.gz
Manifest: index/em/embedded_nrf54l_app/embedded_nrf54l_app-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_rp2040 `15.4.0`

Version added to the index

embedded runtime for the RP2040 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-rp2040-15.4.0.tar.gz
Manifest: index/em/embedded_rp2040/embedded_rp2040-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_rp2350 `15.4.0`

Version added to the index

embedded runtime for the RP2350 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-rp2350-15.4.0.tar.gz
Manifest: index/em/embedded_rp2350/embedded_rp2350-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_stm32f0xx `15.4.0`

Version added to the index

embedded runtime for the STM32F0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-stm32f0xx-15.4.0.tar.gz
Manifest: index/em/embedded_stm32f0xx/embedded_stm32f0xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_stm32g0xx `15.4.0`

Version added to the index

embedded runtime for the STM32G0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-stm32g0xx-15.4.0.tar.gz
Manifest: index/em/embedded_stm32g0xx/embedded_stm32g0xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_stm32g4xx `15.4.0`

Version added to the index

embedded runtime for the STM32G4XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-stm32g4xx-15.4.0.tar.gz
Manifest: index/em/embedded_stm32g4xx/embedded_stm32g4xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf52832 `15.4.0`

Version added to the index

light runtime for the NRF52832 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-nrf52832-15.4.0.tar.gz
Manifest: index/li/light_nrf52832/light_nrf52832-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf52833 `15.4.0`

Version added to the index

light runtime for the NRF52833 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-nrf52833-15.4.0.tar.gz
Manifest: index/li/light_nrf52833/light_nrf52833-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf52840 `15.4.0`

Version added to the index

light runtime for the NRF52840 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-nrf52840-15.4.0.tar.gz
Manifest: index/li/light_nrf52840/light_nrf52840-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf54l_app `15.4.0`

Version added to the index

light runtime for the nRF54L series

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-nrf54l_app-15.4.0.tar.gz
Manifest: index/li/light_nrf54l_app/light_nrf54l_app-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_rp2040 `15.4.0`

Version added to the index

light runtime for the RP2040 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-rp2040-15.4.0.tar.gz
Manifest: index/li/light_rp2040/light_rp2040-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_rp2350 `15.4.0`

Version added to the index

light runtime for the RP2350 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-rp2350-15.4.0.tar.gz
Manifest: index/li/light_rp2350/light_rp2350-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_stm32f0xx `15.4.0`

Version added to the index

light runtime for the STM32F0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-stm32f0xx-15.4.0.tar.gz
Manifest: index/li/light_stm32f0xx/light_stm32f0xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_stm32g0xx `15.4.0`

Version added to the index

light runtime for the STM32G0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-stm32g0xx-15.4.0.tar.gz
Manifest: index/li/light_stm32g0xx/light_stm32g0xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_stm32g4xx `15.4.0`

Version added to the index

light runtime for the STM32G4XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-stm32g4xx-15.4.0.tar.gz
Manifest: index/li/light_stm32g4xx/light_stm32g4xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf52832 `15.4.0`

Version added to the index

light-tasking runtime for the NRF52832 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-nrf52832-15.4.0.tar.gz
Manifest: index/li/light_tasking_nrf52832/light_tasking_nrf52832-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf52833 `15.4.0`

Version added to the index

light-tasking runtime for the NRF52833 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-nrf52833-15.4.0.tar.gz
Manifest: index/li/light_tasking_nrf52833/light_tasking_nrf52833-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf52840 `15.4.0`

Version added to the index

light-tasking runtime for the NRF52840 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-nrf52840-15.4.0.tar.gz
Manifest: index/li/light_tasking_nrf52840/light_tasking_nrf52840-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf54l_app `15.4.0`

Version added to the index

light-tasking runtime for the nRF54L series

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-nrf54l_app-15.4.0.tar.gz
Manifest: index/li/light_tasking_nrf54l_app/light_tasking_nrf54l_app-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_rp2040 `15.4.0`

Version added to the index

light-tasking runtime for the RP2040 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-rp2040-15.4.0.tar.gz
Manifest: index/li/light_tasking_rp2040/light_tasking_rp2040-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_rp2350 `15.4.0`

Version added to the index

light-tasking runtime for the RP2350 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-rp2350-15.4.0.tar.gz
Manifest: index/li/light_tasking_rp2350/light_tasking_rp2350-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_stm32f0xx `15.4.0`

Version added to the index

light-tasking runtime for the STM32F0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-stm32f0xx-15.4.0.tar.gz
Manifest: index/li/light_tasking_stm32f0xx/light_tasking_stm32f0xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_stm32g0xx `15.4.0`

Version added to the index

light-tasking runtime for the STM32G0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-stm32g0xx-15.4.0.tar.gz
Manifest: index/li/light_tasking_stm32g0xx/light_tasking_stm32g0xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_stm32g4xx `15.4.0`

Version added to the index

light-tasking runtime for the STM32G4XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-stm32g4xx-15.4.0.tar.gz
Manifest: index/li/light_tasking_stm32g4xx/light_tasking_stm32g4xx-15.4.0.toml

Dependency changes

Added gnat_arm_elf ^15

May 6, 2026

septum 0.2.0 (via `alr publish`) (#1899)

f02e58e8 on GitHub

New version

septum `0.2.0`

Version added to the index

An interactive context-based text search tool for large codebases.

Origin: git+https://github.com/pyjarrett/septum.git @ debe9c89f614
Manifest: index/se/septum/septum-0.2.0.toml

Dependency changes

Added ansiada ^1.1.0
Added atomic ~1.0.0
Added dir_iterators ~0.0.5
Added progress_indicators ~0.0.2
Added trendy_terminal ~0.0.6

May 6, 2026

Add oherr 0.1.0 (#1890)

4e2d9d26 on GitHub

New crate

oherr `0.1.0`

Crate added to the index

A Rust-style Result type for Ada (oh, error!).

Origin: git+https://github.com/0xA672/oherr.git @ 5da8ddd4ac52
Manifest: index/oh/oherr/oherr-0.1.0.toml

May 4, 2026

Add p256_ada 0.1.0 (#1893)

de5ba618 on GitHub

New crate

p256_ada `0.1.0`

Crate added to the index

NIST P-256 / ECDSA (ES256) library for Ada with SPARK flow analysis

Origin: git+https://github.com/b-erdem/p256_ada.git @ 5f6553821fcf
Manifest: index/p2/p256_ada/p256_ada-0.1.0.toml

Dependency changes

Added hmac_ada ~0.2.0

May 4, 2026

cose_ada 0.1.0 (via `alr publish`) (#1892)

a6762c98 on GitHub

New crate

cose_ada `0.1.0`

Crate added to the index

COSE (RFC 9052 / 9053) library for Ada 2022

Origin: git+https://github.com/b-erdem/cose_ada.git @ 6aa26c1628af
Manifest: index/co/cose_ada/cose_ada-0.1.0.toml

Dependency changes

Added cbor_ada ~0.2.0
Added hmac_ada ~0.2.0
Added sparknacl ^4.0.1

May 4, 2026

gnatcov_bin 26.2.1 (#1887)

d227e362 on GitHub

New crate

gnatcov_bin `26.2.1`

Crate added to the index

Coverage Analysis Tool - Binary Release

Origin: Platform-specific binary archives
Manifest: index/gn/gnatcov_bin/gnatcov_bin-26.2.1.toml

May 4, 2026

gnatdoc_bin 26.0.0 (#1883)

b7111626 on GitHub

New crate

gnatdoc_bin `26.0.0`

Crate added to the index

GNAT Documentation Generation Tool - Binary Release

Origin: Platform-specific binary archives
Manifest: index/gn/gnatdoc_bin/gnatdoc_bin-26.0.0.toml

May 4, 2026

Pi Ada Tutorial release 1.6.0 (#1898)

aeed2f34 on GitHub

New version

pico_ada_c01_blink `1.6.0`

Version added to the index

Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.6.0.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.6.0.toml

Dependency changes

Added pico_bsp ^2

New version

pico_ada_c01_blink_lt `1.6.0`

Version added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.6.0.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c02_button_and_led `1.6.0`

Version added to the index

Chapter 2 - Button controled LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.6.0.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.6.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c03_led_bar `1.6.0`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.6.0.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c04_pwm `1.6.0`

Version added to the index

Chapter 4: Analog LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.6.0.tgz
Manifest: index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New version

pico_ada_c05_rgb `1.6.0`

Version added to the index

Chapter 5: Controlling an RGB LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.6.0.tgz
Manifest: index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml

Dependency changes

Added embedded_rp2040 ^15.3
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New crate

pico_ada_c06_neopixel `1.6.0`

Crate added to the index

Chapter 6: Controlling 8 NeoPixel RGB LED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c06_neopixel-1.6.0.tgz
Manifest: index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml

Dependency changes

Added embedded_rp2040 ^15.3
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New version

pico_xbsp `1.6.0`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.6.0.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.6.0.toml

Dependency changes

Added pico_bsp ^2.2

May 4, 2026

hkdf_ada 0.1.0 (via `alr publish`) (#1891)

dc897973 on GitHub

New crate

hkdf_ada `0.1.0`

Crate added to the index

SPARK-proved HKDF (RFC 5869) - HKDF_SHA256 proved at Level 2

Origin: git+https://github.com/b-erdem/hkdf_ada.git @ cdde31c8e98c
Manifest: index/hk/hkdf_ada/hkdf_ada-0.1.0.toml

Dependency changes

Added hmac_ada ~0.2.0

May 4, 2026

septum 0.1.1 (via `alr publish`) (#1894)

601e0e26 on GitHub

New version

septum `0.1.1`

Version added to the index

An interactive context-based text search tool for large codebases.

Origin: git+https://github.com/pyjarrett/septum.git @ 6d2cb146250b
Manifest: index/se/septum/septum-0.1.1.toml

Dependency changes

Added atomic ~1.0.0
Added dir_iterators ~0.0.5
Added progress_indicators ~0.0.1
Added trendy_terminal ~0.0.5

May 4, 2026

progress_indicators 0.0.2 (via `alr publish`) (#1895)

fbaee67f on GitHub

New version

progress_indicators `0.0.2`

Version added to the index

Ways of displaying progress in command line tools.

Origin: git+https://github.com/pyjarrett/progress_indicators.git @ 61ad049bb6e2
Manifest: index/pr/progress_indicators/progress_indicators-0.0.2.toml

Dependency changes

Added ansiada ^1.1.0

May 4, 2026

trendy_terminal 0.0.6 (via `alr publish`) (#1896)

981ec864 on GitHub

New version

trendy_terminal `0.0.6`

Version added to the index

Terminal options, setup, tab completion and hinting.

Origin: git+https://github.com/pyjarrett/trendy_terminal.git @ b839446ae9d7
Manifest: index/tr/trendy_terminal/trendy_terminal-0.0.6.toml

Apr 27, 2026

hmac_ada 0.2.0 (#1885)

7dca3fe0 on GitHub

New version

hmac_ada `0.2.0`

Version added to the index

SPARK-proved HMAC (RFC 2104) implementation for Ada/SPARK

Origin: git+https://github.com/b-erdem/hmac_ada.git @ 6cab790417b3
Manifest: index/hm/hmac_ada/hmac_ada-0.2.0.toml

Apr 25, 2026

Pi Ada tutorial 1.5.2 (#1884)

4115555b on GitHub

New version

pico_ada_c01_blink `1.5.2`

Version added to the index

Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.5.2.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.2.toml

Dependency changes

Added pico_bsp ^2

New version

pico_ada_c01_blink_lt `1.5.2`

Version added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.5.2.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2.0
Added rp2040_hal ^2.7.1

New version

pico_ada_c02_button_and_led `1.5.2`

Version added to the index

Chapter 2 - Button controled LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.5.2.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.5.2.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c03_led_bar `1.5.2`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.5.2.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c04_pwm `1.5.2`

Version added to the index

Chapter 4: Analog LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.5.2.tgz
Manifest: index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml

Dependency changes

Added light_tasking_rp2040 ^15.3
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New version

pico_ada_c05_rgb `1.5.2`

Version added to the index

Chapter 5: Controlling an RGB LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.2.tgz
Manifest: index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml

Dependency changes

Added embedded_rp2040 ^15.3
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New version

pico_xbsp `1.5.2`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.2.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.5.2.toml

Dependency changes

Added pico_bsp ^2.2

Apr 25, 2026

ccsds_ada 0.1.0 (#1875)

0c186dbb on GitHub

New crate

ccsds_ada `0.1.0`

Crate added to the index

CCSDS protocol suite with SPARK formal verification

Origin: git+https://github.com/b-erdem/ccsds_ada.git @ 7632ca9aa6f8
Manifest: index/cc/ccsds_ada/ccsds_ada-0.1.0.toml

Apr 25, 2026

cbor_ada 0.2.0 (#1870)

5e368ffe on GitHub

New version

cbor_ada `0.2.0`

Version added to the index

CBOR (RFC 8949) encoding/decoding library with SPARK formal verification

Origin: git+https://github.com/b-erdem/cbor_ada.git @ 4149ef32aab3
Manifest: index/cb/cbor_ada/cbor_ada-0.2.0.toml

Apr 25, 2026

hmac_ada 0.1.0 (#1871)

9bdbbbc9 on GitHub

New crate

hmac_ada `0.1.0`

Crate added to the index

SPARK-proved HMAC (RFC 2104) implementation for Ada/SPARK

Origin: git+https://github.com/b-erdem/hmac_ada.git @ fa03673fd91b
Manifest: index/hm/hmac_ada/hmac_ada-0.1.0.toml

Apr 21, 2026

munts_rp2040_firmware_embedded release 2.24840.1 Tue Apr 14 01:12:29 PM PDT 2026 (#1859)

e551c9ed on GitHub

New crate

munts_rp2040_firmware_embedded `2.24820.1`

Crate added to the index

Phil's RP2040 Microcontroller Embedded Profile Firmware

Origin: https://raw.githubusercontent.com/pmunts/alire-crates/898a3bcbf0abab303d6bc1a5e8d03729d4ba49e6/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.tbz2
Manifest: index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml

Dependency changes

Added embedded_rp2040 ^15
Added rp2040_hal ^2

New crate

munts_rp2040_firmware_embedded `2.24840.1`

Crate added to the index

Phil's RP2040 Microcontroller Embedded Profile Firmware Template

Origin: https://raw.githubusercontent.com/pmunts/alire-crates/10e528130a5013f04155770fc2d94aa938928b0b/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.tbz2
Manifest: index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml

Dependency changes

Added embedded_rp2040 ^15
Added rp2040_hal ^2

Apr 21, 2026

espidf_driver_i2c 0.1.0 (via `alr publish`) (#1882)

114f9939 on GitHub

New crate

espidf_driver_i2c `0.1.0`

Crate added to the index

Ada/ESP-IDF I2C master/slave driver

Origin: git+https://github.com/godunko/espidf_driver_i2c.git @ aceeebd8c005
Manifest: index/es/espidf_driver_i2c/espidf_driver_i2c-0.1.0.toml

Dependency changes

Added espidf *

Apr 20, 2026

Pi Ada Tutorial release 1.5.1 (#1878)

b20c7e5b on GitHub

New version

pico_ada_c01_blink `1.5.1`

Version added to the index

Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.5.1.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.1.toml

Dependency changes

Added pico_bsp ^2

New version

pico_ada_c01_blink_lt `1.5.1`

Version added to the index

Chapter 1 Reloaded: Blinking LEDs on Both Cores

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.5.1.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c02_button_and_led `1.5.1`

Version added to the index

Chapter 2 - Button controled LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.5.1.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.5.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c03_led_bar `1.5.1`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.5.1.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

New version

pico_ada_c04_pwm `1.5.1`

Version added to the index

Chapter 4: Analog LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.5.1.tgz
Manifest: index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New version

pico_ada_c05_rgb `1.5.1`

Version added to the index

Chapter 5: Controlling an RGB LED with PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.1.tgz
Manifest: index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml

Dependency changes

Added embedded_rp2040 ^15.2
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

New version

pico_xbsp `1.5.1`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.1.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.5.1.toml

Dependency changes

Added pico_bsp ^2.2

Apr 20, 2026

a0b_sensirion 0.1.0 (via `alr publish`) (#1881)

1284c549 on GitHub

New crate

a0b_sensirion `0.1.0`

Crate added to the index

A0B: Utilities for various Sensirion's sensors

Origin: git+https://github.com/godunko/a0b-sensirion.git @ 0f120a3a998d
Manifest: index/a0/a0b_sensirion/a0b_sensirion-0.1.0.toml

Dependency changes

Added a0b_base *

Apr 20, 2026

espidf 0.1.0 (via `alr publish`) (#1880)

299e0216 on GitHub

New crate

espidf `0.1.0`

Crate added to the index

Ada/ESP-IDF

Origin: git+https://github.com/godunko/espidf.git @ e0a4e19a6838
Manifest: index/es/espidf/espidf-0.1.0.toml

Dependency changes

Added a0b_base *

Apr 20, 2026

libsap 0.1.0 (#1879)

83ea8667 on GitHub

New crate

libsap `0.1.0`

Crate added to the index

Asynchronous message passing for protocol stacks

Origin: git+https://github.com/damaki/libsap.git @ fb0eba34ec8d
Manifest: index/li/libsap/libsap-0.1.0.toml

Dependency changes

Added atomic ^1.1.0
Added gnat >=14

Apr 20, 2026

gnatcov 26.2 (#1874)

757423a1 on GitHub

New version

gnatcov `26.2.1`

Version added to the index

Coverage Analysis Tool

Origin: Platform-specific binary archives
Manifest: index/gn/gnatcov/gnatcov-26.2.1.toml

Apr 17, 2026

septum 0.1.0 (via `alr publish`) (#1873)

4234fd14 on GitHub

New version

septum `0.1.0`

Version added to the index

An interactive context-based text search tool for large codebases.

Origin: git+https://github.com/pyjarrett/septum.git @ 4080c8eeed4a
Manifest: index/se/septum/septum-0.1.0.toml

Dependency changes

Added atomic ~1.0.0
Added dir_iterators ~0.0.5
Added progress_indicators ~0.0.1
Added trendy_terminal ~0.0.5

Apr 14, 2026

pico_ada_c05_rgb 1.5.0 (via `alr publish`) (#1872)

5f493217 on GitHub

New crate

pico_ada_c05_rgb `1.5.0`

Crate added to the index

Chapter 4: RGBLED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.0.tgz
Manifest: index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml

Dependency changes

Added embedded_rp2040 ^15.2
Added pico_bsp ^2.2
Added pico_xbsp ^1.5
Added rp2040_hal ^2.7.1

Apr 14, 2026

pico_xbsp 1.5.0 (via `alr publish`) (#1869)

044905f9 on GitHub

New version

pico_xbsp `1.5.0`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.0.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.5.0.toml

Dependency changes

Added pico_bsp ^2.2

Apr 14, 2026

pico_ada_c04_pwm 1.4.0 (#1868)

903b9e42 on GitHub

New crate

pico_ada_c04_pwm `1.4.0`

Crate added to the index

Chapter 4: Analog & PWM

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.4.0.tgz
Manifest: index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added pico_xbsp ^1.0
Added rp2040_hal ^2.7.1

Apr 14, 2026

pico_xbsp 1.4.0 (via `alr publish`) (#1867)

484eff60 on GitHub

New version

pico_xbsp `1.4.0`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.4.0.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.4.0.toml

Dependency changes

Added pico_bsp ^2.2

Apr 14, 2026

community-bb-runtimes 15.3.0 (#1864)

883cc887 on GitHub

New version

embedded_nrf52832 `15.3.0`

Version added to the index

embedded runtime for the NRF52832 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-nrf52832-15.3.0.tar.gz
Manifest: index/em/embedded_nrf52832/embedded_nrf52832-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_nrf52833 `15.3.0`

Version added to the index

embedded runtime for the NRF52833 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-nrf52833-15.3.0.tar.gz
Manifest: index/em/embedded_nrf52833/embedded_nrf52833-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_nrf52840 `15.3.0`

Version added to the index

embedded runtime for the NRF52840 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-nrf52840-15.3.0.tar.gz
Manifest: index/em/embedded_nrf52840/embedded_nrf52840-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New crate

embedded_nrf54l_app `15.3.0`

Crate added to the index

embedded runtime for the nRF54L series

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-nrf54l_app-15.3.0.tar.gz
Manifest: index/em/embedded_nrf54l_app/embedded_nrf54l_app-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_rp2040 `15.3.0`

Version added to the index

embedded runtime for the RP2040 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-rp2040-15.3.0.tar.gz
Manifest: index/em/embedded_rp2040/embedded_rp2040-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_rp2350 `15.3.0`

Version added to the index

embedded runtime for the RP2350 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-rp2350-15.3.0.tar.gz
Manifest: index/em/embedded_rp2350/embedded_rp2350-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_stm32f0xx `15.3.0`

Version added to the index

embedded runtime for the STM32F0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-stm32f0xx-15.3.0.tar.gz
Manifest: index/em/embedded_stm32f0xx/embedded_stm32f0xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_stm32g0xx `15.3.0`

Version added to the index

embedded runtime for the STM32G0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-stm32g0xx-15.3.0.tar.gz
Manifest: index/em/embedded_stm32g0xx/embedded_stm32g0xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

embedded_stm32g4xx `15.3.0`

Version added to the index

embedded runtime for the STM32G4XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-stm32g4xx-15.3.0.tar.gz
Manifest: index/em/embedded_stm32g4xx/embedded_stm32g4xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf52832 `15.3.0`

Version added to the index

light runtime for the NRF52832 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-nrf52832-15.3.0.tar.gz
Manifest: index/li/light_nrf52832/light_nrf52832-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf52833 `15.3.0`

Version added to the index

light runtime for the NRF52833 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-nrf52833-15.3.0.tar.gz
Manifest: index/li/light_nrf52833/light_nrf52833-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_nrf52840 `15.3.0`

Version added to the index

light runtime for the NRF52840 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-nrf52840-15.3.0.tar.gz
Manifest: index/li/light_nrf52840/light_nrf52840-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New crate

light_nrf54l_app `15.3.0`

Crate added to the index

light runtime for the nRF54L series

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-nrf54l_app-15.3.0.tar.gz
Manifest: index/li/light_nrf54l_app/light_nrf54l_app-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_rp2040 `15.3.0`

Version added to the index

light runtime for the RP2040 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-rp2040-15.3.0.tar.gz
Manifest: index/li/light_rp2040/light_rp2040-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_rp2350 `15.3.0`

Version added to the index

light runtime for the RP2350 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-rp2350-15.3.0.tar.gz
Manifest: index/li/light_rp2350/light_rp2350-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_stm32f0xx `15.3.0`

Version added to the index

light runtime for the STM32F0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-stm32f0xx-15.3.0.tar.gz
Manifest: index/li/light_stm32f0xx/light_stm32f0xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_stm32g0xx `15.3.0`

Version added to the index

light runtime for the STM32G0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-stm32g0xx-15.3.0.tar.gz
Manifest: index/li/light_stm32g0xx/light_stm32g0xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_stm32g4xx `15.3.0`

Version added to the index

light runtime for the STM32G4XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-stm32g4xx-15.3.0.tar.gz
Manifest: index/li/light_stm32g4xx/light_stm32g4xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf52832 `15.3.0`

Version added to the index

light-tasking runtime for the NRF52832 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-nrf52832-15.3.0.tar.gz
Manifest: index/li/light_tasking_nrf52832/light_tasking_nrf52832-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf52833 `15.3.0`

Version added to the index

light-tasking runtime for the NRF52833 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-nrf52833-15.3.0.tar.gz
Manifest: index/li/light_tasking_nrf52833/light_tasking_nrf52833-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_nrf52840 `15.3.0`

Version added to the index

light-tasking runtime for the NRF52840 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-nrf52840-15.3.0.tar.gz
Manifest: index/li/light_tasking_nrf52840/light_tasking_nrf52840-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New crate

light_tasking_nrf54l_app `15.3.0`

Crate added to the index

light-tasking runtime for the nRF54L series

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-nrf54l_app-15.3.0.tar.gz
Manifest: index/li/light_tasking_nrf54l_app/light_tasking_nrf54l_app-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_rp2040 `15.3.0`

Version added to the index

light-tasking runtime for the RP2040 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-rp2040-15.3.0.tar.gz
Manifest: index/li/light_tasking_rp2040/light_tasking_rp2040-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_rp2350 `15.3.0`

Version added to the index

light-tasking runtime for the RP2350 SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-rp2350-15.3.0.tar.gz
Manifest: index/li/light_tasking_rp2350/light_tasking_rp2350-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_stm32f0xx `15.3.0`

Version added to the index

light-tasking runtime for the STM32F0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-stm32f0xx-15.3.0.tar.gz
Manifest: index/li/light_tasking_stm32f0xx/light_tasking_stm32f0xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_stm32g0xx `15.3.0`

Version added to the index

light-tasking runtime for the STM32G0XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-stm32g0xx-15.3.0.tar.gz
Manifest: index/li/light_tasking_stm32g0xx/light_tasking_stm32g0xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

New version

light_tasking_stm32g4xx `15.3.0`

Version added to the index

light-tasking runtime for the STM32G4XX SoC

Origin: https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-stm32g4xx-15.3.0.tar.gz
Manifest: index/li/light_tasking_stm32g4xx/light_tasking_stm32g4xx-15.3.0.toml

Dependency changes

Added gnat_arm_elf ^15

Apr 14, 2026

pico_ada_c03_led_bar 1.3.1 (via `alr publish`) (#1849)

ca5cffb1 on GitHub

New version

pico_ada_c03_led_bar `1.3.1`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.3.1.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

Apr 14, 2026

pico_ada_c02_button_and_led 1.3.1 (via `alr publish`) (#1848)

bf9d5632 on GitHub

New version

pico_ada_c02_button_and_led `1.3.1`

Version added to the index

Chapter 2 - Button & LED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.3.1.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.3.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

Apr 14, 2026

pico_ada_c01_blink_lt 1.3.1 (via `alr publish`) (#1847)

1941ece5 on GitHub

New version

pico_ada_c01_blink_lt `1.3.1`

Version added to the index

Chapter 1 Reloaded: Dual-Core Light Tasking

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.3.1.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.1

Apr 14, 2026

pico_ada_c01_blink 1.3.1 (via `alr publish`) (#1846)

22c7f285 on GitHub

New version

pico_ada_c01_blink `1.3.1`

Version added to the index

Chapter 1: Blinking LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.3.1.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.3.1.toml

Dependency changes

Added pico_bsp ^2

Apr 14, 2026

pico_ada_c03_led_bar 1.3.0 (via `alr publish`) (#1842)

bf2c6631 on GitHub

New version

pico_ada_c03_led_bar `1.3.0`

Version added to the index

Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.3.0.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7

Apr 14, 2026

pico_ada_c02_button_and_led 1.3.0 (via `alr publish`) (#1841)

b4f820d2 on GitHub

New version

pico_ada_c02_button_and_led `1.3.0`

Version added to the index

Chapter 2 - Button & LED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.3.0.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.3.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7

Apr 14, 2026

pico_ada_c01_blink_lt 1.3.0 (via `alr publish`) (#1840)

e28e8f70 on GitHub

New version

pico_ada_c01_blink_lt `1.3.0`

Version added to the index

Chapter 1 Reloaded: Dual-Core Light Tasking

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.3.0.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7

Apr 14, 2026

pico_ada_c01_blink 1.3.0 (via `alr publish`) (#1839)

a47d4363 on GitHub

New version

pico_ada_c01_blink `1.3.0`

Version added to the index

Chapter 1: Blinking LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.3.0.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.3.0.toml

Dependency changes

Added pico_bsp ^2

Apr 14, 2026

pico_ada_c03_led_bar 1.2.0 (via `alr publish`) (#1837)

592051a8 on GitHub

New crate

pico_ada_c03_led_bar `1.2.0`

Crate added to the index

Chapter 3 - LED Bar

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.2.0.tgz
Manifest: index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7.0

Apr 14, 2026

pico_ada_c01_blink 1.2.0 (#1831)

ce048ea8 on GitHub

New version

pico_ada_c01_blink `1.2.0`

Version added to the index

Chapter 1: Blinking LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.2.0.tgz
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.2.0.toml

Dependency changes

Added pico_bsp ^2

Apr 13, 2026

Tresses and Noise Nugget updates (#1843)

a2426744 on GitHub

New version

noise_nugget_sdk `2.1.0`

Version added to the index

Ada Software Development Kit for the Noise Nugget

Origin: git+https://github.com/wee-noise-maker/noise-nugget-ada-sdk.git @ 717b0e81c1f5
Manifest: index/no/noise_nugget_sdk/noise_nugget_sdk-2.1.0.toml

Dependency changes

Added midi ^1.0.0
Added rp2040_hal ~2.5.0

New version

tresses `4.0.0`

Version added to the index

Synth library inspired by Mutable Instruments Braids

Origin: git+https://github.com/wee-noise-maker/tresses.git @ 42149a2496b5
Manifest: index/tr/tresses/tresses-4.0.0.toml

Dependency changes

Added midi ^1.0.0

Apr 13, 2026

Add cbor_ada 0.1.1 (#1866)

7294ded5 on GitHub

New crate

cbor_ada `0.1.1`

Crate added to the index

CBOR (RFC 8949) encoding/decoding library with SPARK formal verification

Origin: git+https://github.com/b-erdem/cbor_ada.git @ 4e578607a677
Manifest: index/cb/cbor_ada/cbor_ada-0.1.1.toml

Apr 13, 2026

czmq_ada 0.4.0 (via `alr publish`) (#1865)

05c22038 on GitHub

New version

czmq_ada `0.4.0`

Version added to the index

Ada bindings for CZMQ (high-level C API for ZeroMQ)

Origin: git+https://github.com/geewiz/czmq_ada.git @ 573cf56cc18c
Manifest: index/cz/czmq_ada/czmq_ada-0.4.0.toml

Apr 13, 2026

pico_xbsp 1.3.3 (via `alr publish`) (#1862)

ff5ab437 on GitHub

New version

pico_xbsp `1.3.3`

Version added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.3.3.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.3.3.toml

Dependency changes

Added pico_bsp ^2.2

Apr 13, 2026

elogs 1.3.4 (via `alr publish`) (#1861)

a71949f1 on GitHub

New version

elogs `1.3.4`

Version added to the index

Embedded logging, proven absent of runtime errors

Origin: git+https://github.com/kevlar700/elogs.git @ 9ffee2a4bdf7
Manifest: index/el/elogs/elogs-1.3.4.toml

Dependency changes

Added gnat (>=13 & <2000) | ^11 | >=2020
Added gnatprove ^15.1.0

Apr 13, 2026

munts_rp2040_lib_embedded release 2.24820.1 Thu Apr 9 05:48:16 AM PDT 2026 (#1860)

10edee27 on GitHub

New crate

munts_rp2040_lib_embedded `2.24820.1`

Crate added to the index

Phil's RP2040 Microcontroller Embedded Profile Library

Origin: https://raw.githubusercontent.com/pmunts/alire-crates/2f0c79134d6d9caa8d2d9fa519f09102c36e67d6/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.tbz2
Manifest: index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml

Dependency changes

Added embedded_rp2040 ^15
Added rp2040_hal ^2

Apr 13, 2026

gade 0.2.0 (via `alr publish`) (#1853)

55285b38 on GitHub

New version

gade `0.2.0`

Version added to the index

A Game Boy emulation library in Ada

Origin: git+https://github.com/ellamosi/gade.git @ 89e1f37309da
Manifest: index/ga/gade/gade-0.2.0.toml

Apr 13, 2026

pico_xbsp 1.3.2 (via `alr publish`) (#1852)

af4caf54 on GitHub

New crate

pico_xbsp `1.3.2`

Crate added to the index

Extended board support package for Raspberry Pi Pico

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.3.2.tgz
Manifest: index/pi/pico_xbsp/pico_xbsp-1.3.2.toml

Dependency changes

Added pico_bsp ^2.2

Mar 31, 2026

elogs 1.3.3 (via `alr publish`) (#1845)

11f7c777 on GitHub

New version

elogs `1.3.3`

Version added to the index

Embedded logging, proven absent of runtime errors

Origin: git+https://github.com/kevlar700/elogs.git @ c6df359198a5
Manifest: index/el/elogs/elogs-1.3.3.toml

Dependency changes

Added gnat (>=13 & <2000) | ^11 | >=2020
Added gnatprove ^15.1.0

Mar 30, 2026

pico_st7789 0.1.2 (via `alr publish`) (#1844)

58612928 on GitHub

New crate

pico_st7789 `0.1.2`

Crate added to the index

ST7789 display driver for RP2040 (PIO parallel + SPI)

Origin: git+https://gitlab.com/mhermeling/st7789.git @ 8f4687e1a526
Manifest: index/pi/pico_st7789/pico_st7789-0.1.2.toml

Dependency changes

Added light_tasking_rp2040 *
Added rp2040_hal *

Mar 30, 2026

libsimpleio release 2.24736.1 Wed Mar 25 07:14:37 AM PDT 2026 (#1836)

6da31268 on GitHub

New version

libsimpleio `2.24736.1`

Version added to the index

Linux Simple I/O Library

Origin: https://raw.githubusercontent.com/pmunts/alire-crates/2309c881329907da24e8ee31cbbdd4d1a2b832cf/libsimpleio/libsimpleio-2.24736.1.tbz2
Manifest: index/li/libsimpleio/libsimpleio-2.24736.1.toml

Mar 30, 2026

Add TP7 Gnoga. (#1821)

a0c6ed59 on GitHub

New crate

tp7_gnoga `11.0.0`

Crate added to the index

Turbo Pascal 7 units in Ada

Origin: git+https://github.com/Blady-Com/tp7ada-gnoga.git @ 424e398b4a45
Manifest: index/tp/tp7_gnoga/tp7_gnoga-11.0.0.toml

Dependency changes

Added gnoga ^1.6

Mar 30, 2026

rp2040_hal 2.7.1 (#1838)

b96ce865 on GitHub

New version

rp2040_hal `2.7.1`

Version added to the index

Drivers and HAL for the RP2040 micro-controller family

Origin: git+https://github.com/JeremyGrosser/rp2040_hal.git @ d65f4ed41b6a
Manifest: index/rp/rp2040_hal/rp2040_hal-2.7.1.toml

Dependency changes

Added atomic ^1
Added cortex_m ^1
Added gnat_arm_elf >=14 & /=15.1.2
Added hal ^1
Added usb_embedded ^1

Mar 25, 2026

wi2wic 1.1.0 (#1834)

427126ff on GitHub

New crate

wi2wic `1.1.0`

Crate added to the index

Wiki to Wiki translator

Origin: git+https://github.com/stcarrez/wi2wic.git @ 0a98e7fdc9b9
Manifest: index/wi/wi2wic/wi2wic-1.1.0.toml

Dependency changes

Added aws ^24.0
Added security ^1.5.1
Added servletada ^1.8.1
Added servletada_aws any
Added utilada ^2.8.2
Added utilada_aws ^2.8.2
Added utilada_xml ^2.8.2
Added wikiada ^1.5.0

Mar 25, 2026

pico_ada_c02_button_and_led 1.2.0 (#1835)

d1179f45 on GitHub

New crate

pico_ada_c02_button_and_led `1.2.0`

Crate added to the index

Chapter 2 - Button & LED

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.2.0.tgz
Manifest: index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2

Mar 25, 2026

pico_ada_c01_blink_lt 1.2.0 (#1832)

4c33bd09 on GitHub

New version

pico_ada_c01_blink_lt `1.2.0`

Version added to the index

Chapter 1 Reloaded: Dual-Core Light Tasking

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.2.0.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2

Mar 23, 2026

Create gid-14.0.0.toml for Generic Image Decoder (#1830)

4452f650 on GitHub

New version

gid `14.0.0`

Version added to the index

Generic Image Decoder - decode a broad variety of image formats

Origin: https://sourceforge.net/projects/gen-img-dec/files/gid_014_without_test_images.zip
Manifest: index/gi/gid/gid-14.0.0.toml

Mar 19, 2026

pico_ada_c01_blink_lt 1.1.0 (via `alr publish`) (#1829)

5c72c393 on GitHub

New crate

pico_ada_c01_blink_lt `1.1.0`

Crate added to the index

Chapter 1 Reloaded: Dual-Core Light Tasking

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.1.0.tgz
Manifest: index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml

Dependency changes

Added light_tasking_rp2040 ^15.2
Added pico_bsp ^2.2
Added rp2040_hal ^2.7

Mar 19, 2026

pico_ada_c01_blink 1.1.0 (via `alr publish`) (#1828)

a7bfb560 on GitHub

New crate

pico_ada_c01_blink `1.1.0`

Crate added to the index

Chapter 1: Blinking LEDs

Origin: https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.1.0.tgz/download
Manifest: index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.1.0.toml

Dependency changes

Added pico_bsp ^2

Mar 18, 2026

atomic 1.1.0 (#1827)

f21c4462 on GitHub

New version

atomic `1.1.0`

Version added to the index

Standalone Ada/SPARK bindings to GCC atomic built-ins

Origin: git+https://github.com/Fabien-Chouteau/atomic @ 5e6250a05556
Manifest: index/at/atomic/atomic-1.1.0.toml

Mar 16, 2026

czmq_ada 0.3.0 (#1825)

b93e8149 on GitHub

New version

czmq_ada `0.3.0`

Version added to the index

Ada bindings for CZMQ (high-level C API for ZeroMQ)

Origin: git+https://github.com/geewiz/czmq_ada.git @ 5b7792a7ec57
Manifest: index/cz/czmq_ada/czmq_ada-0.3.0.toml