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
Fabien Chouteau
Stephane Carrez
Bent Bracke
yannickmoy
Paul Jarrett
Alejandro R. Mosteo
Maxim Reznik
Pierre-Marie de Rodat