fbaee67fc7
progress_indicators 0.0.2 (via alr publish) ( #1895 )
2026-05-04 12:10:44 +02:00
ce3ac33e21
build fixes for AdaCore libraries ( #1747 )
2026-01-07 10:22:02 +01:00
f2efdfbbf0
prettier_ada 26.0.0 ( #1735 )
2026-01-06 11:34:16 +01:00
19d84e4ac2
Add Printer Toolkit 0.3.0 with image support ( #1634 )
2025-10-21 14:41:48 +02:00
57dbf89b7b
adacl 6.2.1 ( #1536 )
...
* sparkfun_qwiic_motor_driver 0.1.0 (#1495 )
* press_utils 1.0.0 (#1505 )
* adacl 6.2.1 (via `alr publish --submit`)
* adacl_regexp 6.2.1 (#1531 )
* Force re-execution of build pipeline
* adacl 6.2.1 (via `alr publish`)
---------
Co-authored-by: KLOC-Karsten <72611407+KLOC-Karsten@users.noreply.github.com >
Co-authored-by: Matheus Xavier <soft.song@fastmail.net >
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2025-07-14 15:54:00 +02:00
d1755d52f2
Set up index v1.4 with alr v2.1 ( #1404 )
...
* exsytrawo 1.2.0 (#1396 )
* bbt 0.1.0 (#1397 )
* prolog 1.0.0 (#1398 )
* prolog 1.0.0 (via `alr publish`)
* Update prolog-1.0.0.toml
* Move to alr 2.1
---------
Co-authored-by: Blady-Com <blady.net@orange.fr >
Co-authored-by: Lionel Draghi <lionel.draghi@free.fr >
Co-authored-by: Jesper Quorning <jesper.quorning@gmail.com >
2025-03-06 22:39:29 +01:00
7b8cf03a31
libgpr2, prettier_ada, adasat, langkit_support, libadalang 25.0.0 ( #1281 )
...
* libgpr2, prettier_ada, adasat, langkit_support, and libadalang 25.0.0
* Update libgpr2-25.0.0.toml
2024-10-31 11:02:59 +01:00
10faa8e6c7
printer_toolkit 0.2.0 ( #1213 )
...
* Add Printer Toolkit 0.2.0 crates
* Fix wrong install in index
* Remove the SVG part
2024-08-26 13:43:33 +02:00
94fceca9ae
pragmarc 20240810.0.0 ( #1206 )
2024-08-24 14:14:47 +02:00
e5ad4c06d0
pragmarc 20240323.0.0 ( #1116 )
2024-07-10 19:30:39 +02:00
bbece6102a
program_proofs_in_spark 0.1.1 ( #799 )
...
* Publish project of SPARK examples
This will be useful for training / tutorials based on Alire.
* Updated the examples to include drivers for execution
2023-04-28 10:14:30 +02:00
cee0baa186
Publish project of SPARK examples ( #797 )
...
This will be useful for training / tutorials based on Alire.
2023-04-20 17:20:20 +02:00
09de0c21a7
progress_indicators 0.0.1 ( #290 )
...
* Add progress_indicators 0.0.1
* Point to progress_indicators 0.0.1 w/ no test program.
* Update to version with moved test gpr.
2021-06-25 10:49:51 +02:00
697f096eb0
Convert licenses to SPDX expressions ( #226 )
2021-01-13 14:12:03 +01:00
873aeb6196
Migration to separate [origin] table
2020-09-01 16:33:27 +02:00
31e9c543b3
Migrated index format to per-release manifests
...
Also applied the rest of transformations described in alire#227: no top-level
[genera] table, name/version keys, [[depends-on]] array instead of table.
2020-09-01 16:33:27 +02:00
bc0da4e3ce
protobuf 1.0 ( #119 )
...
Add "Google Protocol Buffers implementation in Ada"
2020-06-01 13:53:02 +02:00
22a13d92f3
migration to source archives
...
Crates without maintainer or pending migration remain in /orphaned
GitHub URLs rely on the default tarballs that at some point will
have to be released with uploaded binaries (with `alr publish` support).
2019-10-29 20:14:31 +01:00
d7b8ff6845
disable releases using -gnat05 switches
2019-05-17 19:17:16 +02:00
9136b58856
Transition the index to TOML files
2019-04-05 11:39:11 +02:00
Paul Jarrett
César Sagaert
Stephane Carrez
Martin Krischik
Alejandro R Mosteo
Fabien Chouteau
Bent Bracke
yannickmoy
Maxim Reznik
Pierre-Marie de Rodat