Commit Graph

1380 Commits

Author SHA1 Message Date
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