Initial Alire community-index submission for crate `clara`, a
type-safe CLI argument parsing library for Ada 2022 built on top
of `functional` (Result / Option monads, railway-oriented parsing).
This is the first version of clara to be submitted to the
community index. v1.0.0 was tagged in the source repo but
intentionally not submitted after `alr publish --skip-submit`
dry-run validation surfaced SSH submodule URLs in the source
repo's `.gitmodules` (the same publishability defect that
functional 4.1.0 carried before 4.1.1, also unpublished). The
v1.0.1 source tree carries the HTTPS `.gitmodules` repair and
G9-dry passes cleanly.
Origin commit:
1dafa0e89978ca214aab806d137b2641668b2458
Manifest content was produced by `alr publish --skip-submit`
in dev-container-ada-system-1 (Alire 2.1.0) against the v1.0.1
annotated tag (object 23e6a76162b27d6198c6db60f6d774ae2f4fb731,
target 1dafa0e89978ca214aab806d137b2641668b2458). The file
submitted in this PR is byte-identical to the generated
manifest (MD5 7f695a185909a912e56a496ab159af69).
Dependencies:
gnat >= 13
functional ^4.0.0 (already on the community index)
License: BSD-3-Clause
* Create lea-0.94.0.toml for LEA editor
LEA 0.94
* For Ada or .gpr code, the copy operation puts an HTML-formatted version of the selection into the clipboard.
* Copy operation: when nothing is selected, copy the current line (VS / VS Code - style).
* Added “Alire mode”. The user can control alr build and alr run: Build -> alr build; Run -> alr run.
* LEA checks externally changed files and provide options to the user for handling that.
* Minor improvements (menu texts, colors, ...)
* Triggering a new test
* Update LEA version and source URL in configuration
Removed relative path to memorymodule.o
* pico_ada_c01_blink 1.7.0 (via `alr publish`)
* Remove redundant line in TOML file
to force a rebuild
* pico_ada_c01_blink-1.7.0 update tar.
* Update pico_ada_c01_blink-1.7.0.toml to use pico_xbsp 1.7
* pico_ada_c01_blink_e 1.7.0 (via `alr publish`)
* Downgrade rp2040_hal dependency to version 2.7.0
Downgrade HAL to last known working version.
* Update rp2040_hal dependency version constraint
Force downgrade.
* pico_ada_c01_blink_e update tar
* Update pico_ada_c01_blink_e-1.7.0.toml to use pico_xbsp 1.7
* pico_ada_c07_buzzer 1.7.0 (via `alr publish`)
* pico_ada_c07_buzzer-1.7.0 add ravenscar_build.gpr
* pico_ada_c07_buzzer update tar
* Fix formatting in pico_ada_c07_buzzer TOML file
To force a rebuild.
* Update pico_xbsp dependency version to 1.7
Since pico_ada_c07_buzzer-1.7.1 compiled without error I check step by step the differences.
---------
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
Removed build of examples: this causes a new, mysterious issue in at least one crate (LEA) using the GWindows crate.
Examples will be built in a separate crate.
Note that gwindows_contrib.gpr also has some own examples but is not exposed to that issue which is related to an extra file added for the linker.
GWindows release, 09-May-2026 [revision 635]
=========================================
629: GWindows.Clipboard: added Clipboard_HTML procedure (copy HTML fragment
to the clipboard; useful for copying more than plain texts)
626: GWindows.Common_Controls: added check box feature to List_View's
* Add ZanyBlue framework 1.4.0.
* Fix folder hierarchy.
* Fix name of ZanyBlue library crate.
* Sync also origin repo.
* Adapt bin and obj folder location to Alire requirement.
Fix typos in alire (zbinfo and zbmcompile).
* Change version for Alire as 1.4.0 is already registered.
* Suppress old 1.4.0 version.
* restore disabled 1.4.0 releases
* Restore original commit
* Restore original commit
---------
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
* ZanyBlue release 1.5.0.
* Add .gitattributes with eol=lf for Ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Add .gitattributes with eol=lf for ads files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Add .gitattributes with "text=auto eol=lf" for ads, adb and ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Synchronize zbinfo and zbmcompile crates.
* Remove zbinfo and zbmcompile crates.
Only one at a time.
* Change .gitattributes back without auto.
* Avoid (style) incorrect line terminator [-gnatyd] with BUILD = "Production".
Alejandro R Mosteo
Rod Kay
Michael Gardner
AdaOrbit
Tony Gair
bladeacer
Daniel King
Gautier de Montmollin
Martin Krischik
Paul Jarrett
Rene Hartmann
Blady-Com
Vadim Godunko
Sebastián Benítez
Fabien Chouteau
Mahesh Chandra Teja
Quentin Dauprat, PhD
César Sagaert
Jochen Lillich