Commit Graph

1393 Commits

Author SHA1 Message Date
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
Jeremy Grosser 5bb73f167f rp2040_hal 2.4.0 (#1271) 2024-10-26 11:40:08 +02:00
Vadim Godunko 8a2260b0b5 a0b_atsam3x8e_twi_i2c 0.1.0 (#1272) 2024-10-25 12:22:02 +02:00
Fabien Chouteau 4cde8d3827 cortex_m 1.0.0 test metadata update (#1270) 2024-10-24 18:41:18 +02:00
Fabien Chouteau b63cec013a cortex_m 1.0.0 (#1269) 2024-10-24 17:12:25 +02:00
Fabien Chouteau 91b7eb3f0f atomic, bbqueue, hal, usb_embedded 1.0.0 (#1268) 2024-10-24 16:48:08 +02:00
Michael Hardeman 8598b12239 bit_sets 1.0.0 (#1202)
* bit_sets 1.0.0 (via `alr publish --submit`)

* Fix typos

---------

Co-authored-by: Michael Hardeman <mhardeman25@gmail.com>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-10-24 16:12:45 +02:00
Vadim Godunko b34999dfd3 a0b_atsam3x8e_gpio 0.1.0 (#1267) 2024-10-24 16:04:49 +02:00
Vadim Godunko 3877e20574 a0b_stm32f401_i2c 0.1.0 (#1266) 2024-10-23 10:00:30 +02:00
Vadim Godunko 6d12c0e249 a0b_atsam3x8e_tc5_timer 0.1.0 (#1265) 2024-10-23 09:59:56 +02:00
Vadim Godunko dd00c5c350 light_arduino_due 0.2.0 (#1264) 2024-10-23 09:59:06 +02:00
Vadim Godunko 337aef75e0 a0b_stm32f401_tim11_timer 0.1.0 (#1260) 2024-10-23 07:36:38 +02:00
Vadim Godunko f93397e02d light_blackpill_stm32f401 0.1.0 (#1262) 2024-10-22 14:33:04 +02:00
Vadim Godunko c9516f2bf6 a0b_atsam3x8e 0.2.0 (#1263) 2024-10-22 14:30:34 +02:00
Vadim Godunko 40e7b68bf8 a0b_armv7m_systick_clock 0.1.0 (#1259) 2024-10-22 14:12:59 +02:00
Vadim Godunko 14c82f52e7 a0b_time 0.2.0 (#1261) 2024-10-22 11:14:23 +02:00
Vadim Godunko a4fefa721f a0b_stm32f401_dma 0.1.0 (#1258) 2024-10-22 09:26:02 +02:00
Vadim Godunko f683b9960a a0b_stm32f401_gpio 0.1.0 (#1257) 2024-10-22 09:25:09 +02:00
Vadim Godunko 52b3f1f7ec a0b_gpio 0.1.0 (#1256) 2024-10-21 22:37:56 +02:00
Vadim Godunko d48fd0bada a0b_exti 0.1.0 (#1254) 2024-10-21 22:37:26 +02:00
Vadim Godunko 3e415ae755 a0b_i2c 0.1.0 (#1249) 2024-10-21 22:35:00 +02:00
Vadim Godunko 8edd297301 a0b_stm32f401 0.1.0 (#1255) 2024-10-21 12:38:49 +02:00
Vadim Godunko 99ea02eaf1 a0b_time, a0b_timer 0.1.0 (#1253) 2024-10-21 07:37:12 +02:00
Vadim Godunko 66cf4f77ef a0b_armv7m 0.1.0 (#1252) 2024-10-21 07:33:42 +02:00
Lionel Draghi f97d16484f opentoken 6.0.3 (#1100)
* opentoken 6.0.3 (via `alr publish --submit`)

* fix: remove dependency on aunit

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-10-18 14:37:14 +02:00