Commit Graph

1561 Commits

Author SHA1 Message Date
Holger Rodriguez 6e30481441 tiny_rp2040_bsp 1.0.0 (#1465) 2025-04-07 11:32:05 +02:00
Gautier de Montmollin 61e11c26d7 lea 0.92.1 (#1464) 2025-04-07 11:30:37 +02:00
Brent Seidel 23dc88d03f bbs_ansiterm 0.1.0 (#1460) 2025-04-02 18:00:39 +02:00
Fabien Chouteau 03e874cab9 cortex_m 1.1.0 (#1457)
* Add files via upload

* Update cortex_m-1.1.0.toml
2025-03-31 12:13:24 +02:00
Gautier de Montmollin 29acf17424 azip 2.7.1 (#1456) 2025-03-27 13:13:50 +01:00
Gautier de Montmollin 7bed3b4c76 Create lea-0.92.0.toml (#1455) 2025-03-26 10:36:17 +01:00
Alejandro R Mosteo 294ffee8fe sync: 1.3 --> 1.4
sync: 1.3 --> 1.4
2025-03-23 14:12:16 +01:00
Gautier de Montmollin 2a4ffcf908 gwindows 1.5.0 (#1451) 2025-03-23 13:53:46 +01:00
Manuel dd9aa3920e alr2appimage 1.0.0 (#1449) 2025-03-23 13:53:46 +01:00
Fabien Chouteau 9854d04ace strategy 0.1.0 (#1448) 2025-03-23 13:53:46 +01:00
Alejandro R Mosteo 4382e3975d 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-23 13:53:46 +01:00
Alejandro R Mosteo e8b35582b6 lml 0.1.0 (via alr publish) (#1437) 2025-03-23 13:53:46 +01:00
Vadim Godunko c93dba0fb8 button_led_weact_stm32g474 0.1.0 (#1434) 2025-03-23 13:53:46 +01:00
Vadim Godunko 61a2950658 blink_led_weact_stm32g474 0.1.0 (#1433) 2025-03-23 13:53:46 +01:00
Gautier de Montmollin 64f02e3f71 gwindows 1.5.0 (#1451) 2025-03-23 12:28:10 +01:00
Manuel c9f06b649b alr2appimage 1.0.0 (#1449) 2025-03-21 22:38:28 +01:00
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
Rene Hartmann feeae757a0 jintp 1.0.0 (#1442)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-03-19 22:53:20 +01:00
Alejandro R Mosteo d147a28d4a 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-19 22:42:42 +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