Commit Graph

1543 Commits

Author SHA1 Message Date
Fabien Chouteau a7f16ee3f2 strategy 0.1.0 (#1448) 2025-03-21 20:09:25 +01:00
M. Anthony Aiello d1fe9756c8 gnatprove 14.1.1 metadata (#1444)
Add an author, website, and long description that provides links for getting started with GNATprove
2025-03-20 19:05:53 +01:00
Alejandro R Mosteo f189c45bd9 feat: testing on Ubuntu aarch64 (#1441)
* Enable testing in Ubuntu ARM

* Bump setup-alire
2025-03-18 21:29:50 +01:00
Alejandro R Mosteo 1e7da33757 GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)
* Update gprbuild-24.0.1.toml

* GNAT 14.2.1 cross compilers

---------

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Co-authored-by: Fabien Chouteau <chouteau@adacore.com>
2025-03-18 21:02:01 +01:00
Alejandro R Mosteo 0a27d940a7 aaa 0.3.0, aaa_texts 0.3.0, texts 0.1.0 (#1439)
* Add manifests for aaa=0.3.0 aaa_texts=0.3.0

* Add texts=0.1
2025-03-18 17:48:04 +01:00
Alejandro R Mosteo 484b9f5750 sync: 1.3 --> 1.4
sync: 1.3 --> 1.4
2025-03-17 15:49:12 +01:00
Alejandro R Mosteo d8ba20bb3c lml 0.1.0 (via alr publish) (#1437) 2025-03-17 14:13:29 +01:00
Vadim Godunko 1adfe2f5a3 button_led_weact_stm32g474 0.1.0 (#1434) 2025-03-17 14:04:35 +01:00
Vadim Godunko a0238311d8 blink_led_weact_stm32g474 0.1.0 (#1433) 2025-03-17 14:02:36 +01:00
Vadim Godunko a5eb413268 a0b_stm32g474_gpio 0.1.0 (#1432) 2025-03-17 13:57:33 +01:00
Vadim Godunko 4598462d84 light_weact_stm32g474 0.1.0 (#1431) 2025-03-17 13:57:33 +01:00
Vadim Godunko 940f4ecc39 a0b_stm32g4_gpio 0.1.0 (#1430) 2025-03-17 13:57:33 +01:00
Vadim Godunko 6b5097c786 a0b_stm32g474 0.1.0 (#1429) 2025-03-17 13:57:33 +01:00
Vadim Godunko 3885428382 a0b_stm32f2_generic_exti 0.1.0 (#1428) 2025-03-17 13:57:33 +01:00
Vadim Godunko ecb271dc26 a0b_stm32g4 0.1.0 (#1427) 2025-03-17 13:57:33 +01:00
Vadim Godunko f2f5f0e4b6 a0b_stm32f2_generic_gpio 0.1.0 (#1426) 2025-03-17 13:57:33 +01:00
Jon e72b9e827c sparknacl 4.0.1 (#1425) 2025-03-17 13:57:33 +01:00
Vadim Godunko 9c193c68f3 a0b_base 0.4.0 (#1424) 2025-03-17 13:57:33 +01:00
Gautier de Montmollin 21c5b0b6b6 apdf 8.0.0 (#1418)
* Create apdf-8.0.0.toml

* Update apdf-8.0.0.toml

Fixed GID dependency.

* Update apdf-8.0.0.toml

Reverted to gid = ">=9.0.0"

* Update apdf-8.0.0.toml

Fixed .gpr name.
2025-03-17 13:57:33 +01:00
Gautier de Montmollin a86b4c5737 zipada 61.0.0 (#1416) 2025-03-17 13:57:33 +01:00
Simon Wright 281a381cb2 ada_caser 0.1.0 (#1415) 2025-03-17 13:57:33 +01:00
Martin Krischik da03fdae82 adacl_regexp 6.2.0 (#1436) 2025-03-17 12:14:36 +01:00
Vadim Godunko 79865e170e a0b_stm32g474_gpio 0.1.0 (#1432) 2025-03-14 18:22:54 +01:00
Vadim Godunko 88a5127f02 light_weact_stm32g474 0.1.0 (#1431) 2025-03-14 17:45:33 +01:00
Vadim Godunko 6e1a5478ab a0b_stm32g4_gpio 0.1.0 (#1430) 2025-03-14 17:44:34 +01:00
Vadim Godunko d909e034ca a0b_stm32g474 0.1.0 (#1429) 2025-03-14 13:58:32 +01:00
Vadim Godunko cb781bac60 a0b_stm32f2_generic_exti 0.1.0 (#1428) 2025-03-14 13:57:54 +01:00
Vadim Godunko 3e6330ebea a0b_stm32g4 0.1.0 (#1427) 2025-03-14 12:48:41 +01:00
Vadim Godunko 56c4af3696 a0b_stm32f2_generic_gpio 0.1.0 (#1426) 2025-03-14 12:31:11 +01:00
Jon d7d141b9bb sparknacl 4.0.1 (#1425) 2025-03-14 12:29:54 +01:00
Vadim Godunko d30fd0d423 a0b_base 0.4.0 (#1424) 2025-03-14 09:46:16 +01:00
Brent Seidel 0622fb73b1 blinkenlights 0.2.1 (#1423) 2025-03-11 13:53:11 +01:00
Brent Seidel 0c75bc684e bbs_embed_linux 0.2.0 (#1422) 2025-03-10 18:02:11 +01:00
Alejandro R Mosteo 44c5359265 sync: 1.3 --> 1.4
sync: 1.3 --> 1.4
2025-03-10 10:31:34 +01:00
Brent Seidel da61176622 bbs_embed_common 0.2.0 (#1420) 2025-03-10 10:14:02 +01:00
Gautier de Montmollin 16ca8bd140 apdf 8.0.0 (#1418)
* Create apdf-8.0.0.toml

* Update apdf-8.0.0.toml

Fixed GID dependency.

* Update apdf-8.0.0.toml

Reverted to gid = ">=9.0.0"

* Update apdf-8.0.0.toml

Fixed .gpr name.
2025-03-09 19:37:36 +01:00
Alejandro R Mosteo 18855ad0f9 fix: improper syntax that will be rejected post-2.1 (#1417)
We had a missing check in index loading logic that should have rejected an unexpected array.
2025-03-08 22:15:25 +01:00
Gautier de Montmollin 32b8f4738d zipada 61.0.0 (#1416) 2025-03-08 22:14:25 +01:00
Simon Wright d719460ede ada_caser 0.1.0 (#1415) 2025-03-08 20:45:06 +01:00
Blady-Com 0a4c29efbf ppa_gtkada 1.0.0 (#1412)
* Add ppa_gtkada-1.1.0 (Tutorials for GTKAda) to Alire.

* Fix in Alire badge URL.
2025-03-08 13:40:33 +01:00
Gautier de Montmollin 3ce75f7fb9 hac 0.41.0 (#1411) 2025-03-08 13:40:33 +01:00
pmunts b5dee00972 remoteio 2.22974.1 (#1410)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 13:40:33 +01:00
pmunts e0ceb7ff8f libsimpleio 2.22974.1 (#1409)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 13:40:33 +01:00
Alejandro R Mosteo 07b796a45d yeison_12 0.2.0 (via alr publish) (#1405) 2025-03-08 13:40:33 +01:00
Alejandro R Mosteo b68e2575fd toml_slicer 0.1.2 (via alr publish) (#1406) 2025-03-08 13:40:33 +01:00
Alejandro R Mosteo 3a5e2b0ede Sync indexes 1.3 --> 1.4
Sync indexes 1.3 --> 1.4
2025-03-08 13:39:25 +01:00
Blady-Com b68a04c708 ppa_gtkada 1.0.0 (#1412)
* Add ppa_gtkada-1.1.0 (Tutorials for GTKAda) to Alire.

* Fix in Alire badge URL.
2025-03-08 12:52:57 +01:00
Gautier de Montmollin 6e97d9a9fd hac 0.41.0 (#1411) 2025-03-08 12:02:26 +01:00
pmunts 8acd01a323 release 2.22974.1 (#1410)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 12:01:05 +01:00
pmunts 4fd42debf7 libsimpleio 2.22974.1 (#1409)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 12:00:16 +01:00