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
Lionel Draghi
3bf967ce20
bbt 0.0.5 (via alr publish --submit) ( #1251 )
2024-10-18 10:20:08 +02:00
Vadim Godunko
2d3c9c4535
a0b_base 0.2.0 ( #1248 )
2024-10-17 13:09:10 +02:00
Stephane Carrez
a65d9247ab
ado* 2.4.1 ( #1230 )
...
* Add Ada Database Objects 2.4.1 crates
* Remove ado_all due to issues in alr pin when building
---------
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2024-10-14 14:28:27 +02:00
Tama McGlinn
7770d51081
adabots 1.9.0 ( #1108 )
...
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2024-10-14 13:57:55 +02:00
Stephane Carrez
1184c6a509
openapi, openapi_server 0.8.0 ( #1231 )
...
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2024-10-14 13:35:03 +02:00
Stephane Carrez
82980b2f70
akt 1.4.1 ( #1224 )
...
* Add AKT 1.4.1 crate
* Fix Alire crate
---------
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2024-10-14 13:34:11 +02:00
Fabien Chouteau
50e68d24c8
suika_programing 0.1.0 ( #1195 )
...
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2024-10-14 12:50:01 +02:00
Rene Hartmann
14280259c4
jintp 0.1.0 ( #1244 )
2024-10-14 12:18:48 +02:00
Alejandro R Mosteo
eeb8fa95cf
fix: bump workflow runners and actions ( #1245 )
...
Due to https://github.com/actions/runner-images/issues/10721
2024-10-13 14:59:28 +02:00
Alejandro R Mosteo
2d813ef507
Bump alr version to 2.0.2 ( #1243 )
2024-10-09 19:39:12 +02:00
Stephane Carrez
094bc572e3
Ada AWA unit 2.5.0 crate ( #1241 )
2024-10-07 10:34:40 +02:00
Blady-Com
37c161e3d6
Update UXStrings to version 0.8.1. ( #1242 )
2024-10-07 10:33:56 +02:00
Maxim Reznik
bfc7300190
ada_language_server 24.0.0 ( #1240 )
2024-10-04 12:11:48 +02:00