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
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