Commit Graph

1417 Commits

Author SHA1 Message Date
Martin Krischik d0291b7b08 adacl_eastrings 6.1.1 (#1334) 2024-12-17 21:22:06 +01:00
Lionel Draghi f1f58076a2 bbt 0.0.6 (via alr publish --submit) (#1329) 2024-12-16 15:02:52 +01:00
Martin Krischik 4480059748 adacl 6.1.1 (#1328) 2024-12-16 13:36:12 +01:00
Daniel King e7bf3c39d2 nrf52-runtimes 14.1.0 (#1318) 2024-12-13 13:16:16 +01:00
pmunts 0aeabc43c4 muntsos_aarch64 9.3.1 (#1326)
Added long description.
2024-12-13 13:02:57 +01:00
Vadim Godunko 22ef15dc39 light_arduino_due 0.3.0 (via alr publish --submit) (#1319)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-12 11:36:58 +01:00
Martin Krischik 8f5c665ba8 hp41cx_tools 1.6.3 (via alr publish --submit) (#1324) 2024-12-12 11:16:31 +01:00
Martin Krischik e798fd364c adacl 6.1.0 (via alr publish --submit) (#1323) 2024-12-11 12:08:22 +01:00
Vadim Godunko 258e1ef7ea light_fk723m1_zgt6 0.2.0 (#1321) 2024-12-10 14:27:12 +01:00
Vadim Godunko a1b4222834 light_blackpill_stm32f401 0.3.0 (#1320) 2024-12-10 14:25:55 +01:00
pmunts 97276933e3 muntsos_aarch64 9.3.0 (#1315) 2024-12-10 14:18:42 +01:00
Vadim Godunko b6b799e53f a0b_armv7m 0.3.0 (via alr publish --submit) (#1317)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 18:19:19 +01:00
Vadim Godunko ff7139ffa8 a0b_stm32h723 0.1.0 (via alr publish --submit) (#1316)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 18:05:49 +01:00
Vadim Godunko 7152589f1d a0b_atsam3x8e 0.3.0 (via alr publish --submit) (#1314)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 15:45:25 +01:00
Simon Wright ba24c9317e gnat_math_extensions 1.2.0 (via alr publish --submit) (#1306)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 15:29:22 +01:00
Martin Krischik fa6a47f4a6 adacl 6.0.0 (via alr publish --submit) (#1313)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 15:28:56 +01:00
Rene Hartmann 431db06cda jintp 0.2.0 (via alr publish --submit) (#1304) 2024-12-09 15:15:14 +01:00
Vadim Godunko a2c07d3e50 a0b_stm32f401 0.2.0 (#1309) 2024-12-03 10:22:27 +01:00
Vadim Godunko d5740d72a4 a0b_armv7m 0.2.0 (#1308) 2024-12-03 09:01:33 +01:00
Vadim Godunko 36731eefdf a0b_base 0.3.0 (#1307) 2024-12-02 21:31:08 +01:00
Simon Wright 759744836b minimal_containers 1.2.1 (via alr publish --submit) (#1310) 2024-12-02 10:56:35 +01:00
Vadim Godunko 4fd83c2410 a0b_callbacks 0.2.0 (#1305) 2024-11-27 07:24:08 +01:00
Vadim Godunko 1658ca57b6 light_blackpill_stm32f401 0.2.0 (#1303) 2024-11-26 11:26:03 +01:00
Fabien Chouteau c9c3a64972 bare_runtime 14.0.0 (#1298) 2024-11-25 10:13:57 +01:00
Martin Krischik 95d64e7571 hp41cx_tools 1.6.2 (via alr publish --submit) (#1302) 2024-11-25 10:02:44 +01:00
Martin Krischik e1547e2dca hp41cx_tools 1.6.1 (#1301) 2024-11-22 13:46:36 +01:00
Martin Krischik 31f5f22820 adacl 5.16.1 (#1300) 2024-11-22 11:42:37 +01:00
Jeremy Grosser e9c2c9645b rp2040_hal 2.4.1 (#1299) 2024-11-20 11:02:40 +01:00
Martin Krischik 34db57237f hp41cx_tools 1.6.0 (#1297) 2024-11-19 10:50:03 +01:00
Gautier de Montmollin 28e6205602 zipada 60.0.0 (#1294)
New feature: added compression for the BZip2 format for .bz2 and .zip files or streams.

Note that Zip-Ada now tops (or rather, bottoms ;-) in terms of compressed size) 7-Zip for both Calgary (*) and Canterbury benchmarks, for the .zip format and even the .7z format.
2024-11-18 09:09:35 +01:00
Martin Krischik 17240b21d9 adacl 5.16.0 (#1293) 2024-11-18 09:07:45 +01:00
Fabien Chouteau c3c757a9e6 raylib 0.1.0 disabled (#1292) 2024-11-14 13:09:54 +01:00
Maxim Reznik 7f599cf29f ada_language_server, libgnatdoc 25.0.0 (#1289) 2024-11-13 17:52:27 +01:00
Maxim Reznik dbef9649bd spawn_glib 25.0.0 (#1291) 2024-11-13 17:50:47 +01:00
Fabien Chouteau 6f1f4f113c gtkada 25.0.1 (#1285) 2024-11-13 13:04:25 +01:00
Fabien Chouteau 48f9df3812 gnatformat, lal_refactor 25.0.0 (#1284)
* gnatformat and lal_refactor 25.0.0

* libadalang_tools-24.0.0.toml: switch builds to production

* Typos
2024-11-13 10:40:03 +01:00
Stephane Carrez 432d66ac9e utilada crates 2.8.0 (#1288) 2024-11-11 18:01:50 +01:00
Stephane Carrez 79c99991b8 are 1.5.1 (#1287) 2024-11-11 12:56:45 +01:00
Paul Jarrett 0823c50440 dir_iterators 0.0.5 (#1286) 2024-11-11 12:55:27 +01:00
Gautier de Montmollin 4ab4f4f95f hac 0.40.0 metadata update (#1283)
Fixed typo.
2024-11-06 12:06:45 +01:00
Fabien Chouteau 3e420f4661 gnatdoc, markdown, libadalang_tools 25.0.0 (#1282)
* gnatdoc, markdown, and libadalang_tools 25.0.0

* gnatdoc: fix executables field

* libadalang_tools 25.0.0 set build mode to prod
2024-11-06 12:04:08 +01:00
Fabien Chouteau 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
Fabien Chouteau 9f9cedda5b aunit, spawn, vss, templates_parser, and startup_gen 25.0.0 (#1280)
* aunit, spawn, vss, templates_parser, and startup_gen 25.0.0

* Update spawn-25.0.0.toml
2024-10-30 16:40:48 +01:00
Fabien Chouteau ccfa443ac2 gnatcoll bindings and DB 25.0.0 (#1279) 2024-10-28 17:52:37 +01:00
Fabien Chouteau 23706caac0 gnatcoll, libgpr, xmlada 25.0.0 (#1273)
* gnatcoll, libgpr, xmlada 25.0.0

* Update gnatcoll-25.0.0.toml
2024-10-28 14:55:21 +01:00
Gautier de Montmollin 569b47daf8 hac 0.40.0 (#1277)
* Create hac-0.40.0.toml

HAC v0.40
*    Source stream is buffered: ~3x faster build on large sources
*    HAT: added Create_Directory, Create_Path and Delete_Directory
*    Added warning on variables read before they are written

* Update hac-0.40.0.toml

Reduced tag length.

---------

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-10-28 10:33:33 +01:00
Ian Larson b2d9757b4d libgtk3 external for SUSE (#1278)
opensuse also uses gtk3-devel.
2024-10-28 10:31:39 +01:00
Simon Wright d75d864189 libcsfml external for macOS (#1275)
Adds macOS externals for libcsfml, both Homebrew & MacPorts.
2024-10-28 10:30:36 +01:00
Jeremy Grosser 9faa27dc88 pico_bsp 2.2.0 (#1276)
* pico_bsp 2.2.0

* pico_examples 2.2.0
2024-10-28 10:12:58 +01:00
Pierre-Marie de Rodat 50ea41709f ada_toml 0.5.0 (#1274) 2024-10-26 11:42:54 +02:00