Commit Graph

1268 Commits

Author SHA1 Message Date
Alejandro R Mosteo b4ad4912a8 whitakers_words 0.20240801.0 (#1166)
* Re-index Whitaker's Words

* Disable availability on Windows
2024-08-02 12:02:40 +02:00
Brent Seidel a10438527c bbs_lisp 0.1.0 (#1168) 2024-08-02 09:04:43 +02:00
Fabien Chouteau 1f8dcc0f5d gprbuild 24.0.1 for aarch64 only (#1167)
Keep GPRbuild 24 only for mac aarch64
2024-08-01 22:31:02 +02:00
Brent Seidel 87800faf39 bbs 0.1.0 (#1165) 2024-07-31 13:24:55 +02:00
Maxim Reznik e62029087c Add gprbuild 24.0 (#1119) 2024-07-29 14:37:12 +02:00
Manuel 1d5fdbc80d asfml 2.6.1 (#1077) 2024-07-29 12:35:39 +02:00
Bent Bracke 889bfd2980 qplt 20230720.0.0 (#1150)
* qplt 20230720.0.0 (via `alr publish --submit`)

* Add ssl dependency

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-07-29 12:33:40 +02:00
Stephen Merrony cb52b8e5de easy_graphics 0.1.0 (#1160)
* easy_graphics 0.1.0 (via `alr publish --submit`)

* Update easy_graphics-0.1.0.toml

Tweak gnat dependency
2024-07-29 12:03:13 +02:00
Bent Bracke c5dc8f8dbb ada_gui 20240224.0.1 (#1162) 2024-07-24 11:44:43 +02:00
Bent Bracke 4e59137891 controlled_io 20240401.0.1 (#1161) 2024-07-24 11:44:02 +02:00
Bent Bracke 447bc45b2c image_io 20240602.0.0 (#1157) 2024-07-23 14:18:20 +02:00
Bent Bracke f164916864 encryption_utilities 20220701.0.0 (#1154) 2024-07-23 14:15:57 +02:00
Bent Bracke bab0eb9396 binary_trees 20240519.0.0 (#1153) 2024-07-23 14:15:12 +02:00
Bent Bracke 1bce6a6869 lined 20240419.0.0 (#1152) 2024-07-23 14:14:20 +02:00
Bent Bracke adbe36e11f db_maker 20240119.0.0 (#1151) 2024-07-23 14:13:31 +02:00
Bent Bracke df35174042 universal_text_file 20220720.0.0 (#1149) 2024-07-23 14:10:38 +02:00
Bent Bracke 3f4cdbb1b0 image_random 20200720.0.0 (#1145) 2024-07-23 11:16:41 +02:00
Simon Wright c92240a75b minimal_containers 1.2.0. (#1143)
This fixes two issues:

Issue 3, Maps don’t have a Clear operation.
Issue 4, Vectors can’t be indexed by Natural.

  * index/mi/minimal_containers/minimal_containers-1.2.0.toml: new.
2024-07-22 13:55:26 +02:00
Vadim Godunko d3d4574dfc gfx_core, gfx_rasteriser 0.1.0 (#1139) 2024-07-22 13:52:14 +02:00
Bent Bracke b4af61c08f aoa_22 20220720.0.0 (#1138) 2024-07-22 13:49:52 +02:00
Bent Bracke 24adb21fb1 aoa_23 20230119.0.0 (#1136) 2024-07-22 13:32:03 +02:00
meownium 6faf741025 checksum 0.1.0 (#1122)
* checksum 0.1.0 (via `alr publish --submit`)

* Update website to point to repo until site is available
2024-07-19 14:27:38 +02:00
Bent Bracke 078c6465d0 bar_code_drawing 20240701.0.0 (#1129) 2024-07-19 14:16:31 +02:00
Fabien Chouteau 32d9394055 gnatprove 14.1.1 (#1118) 2024-07-19 14:15:42 +02:00
Bent Bracke dea04f4628 controlled_io 20240401.0.0 (#1128) 2024-07-18 11:39:35 +02:00
Bent Bracke 5df50fe82f image_io 20240601.0.0 (#1126) 2024-07-18 11:34:55 +02:00
Maxim Reznik 94620664c3 cheddar 3.3.0 (#1016)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-07-17 16:47:34 +02:00
Alejandro R Mosteo 0806dda750 powerjoular 1.0.4 (#1123)
* Add files via upload

* Add files via upload

* Add files via upload

* Delete index/po/powerjoular/alire.toml

* Version 0.7.0

* Version 1.0.1 of PowerJoular

Version 1.0 of PowerJoular is a major release allowing monitoring inside virtual machine and maturing the code base.

* 1.0.4

---------

Co-authored-by: Adel Noureddine <adelnoureddine@users.noreply.github.com>
2024-07-17 14:28:34 +02:00
Bent Bracke c4bfab465d ada_gui 20240224.0.0 (#1121) 2024-07-16 13:48:02 +02:00
Maxim Reznik 23c5a5d45d enet 1.0.0 (#1120) 2024-07-15 11:17:06 +02:00
Bent Bracke e5ad4c06d0 pragmarc 20240323.0.0 (#1116) 2024-07-10 19:30:39 +02:00
Maxim Reznik f8893d9989 GNAT 14.1 for MacOS X ARM64 (#1115) 2024-07-08 18:08:16 +02:00
Simon Wright a1c0ae141a Updating Minimal_Containers to 1.1.0. (#1111) 2024-07-08 11:38:29 +02:00
Fabien Chouteau 8b5022a01d usb_embedded 0.3.1 (#1109) 2024-07-04 11:11:10 +02:00
Stephane Carrez 0989323482 utilada* 2.7.0 (#1104)
* Add Ada Utility Library 2.7.0 crate

* Update utilada_aws crate to disable Windows because AWS is broken on that host
2024-07-01 13:20:51 +02:00
Gautier de Montmollin 737b6ebb0d texcad 4.5.3 tags updated (#1103)
Metadata change only: added categorization tag "application", which becomes necessary for filtering 411+ crates...
2024-07-01 13:09:06 +02:00
Gautier de Montmollin 6e908e6179 lea 0.90.0 tags updated (#1102)
Metadata change only: added categorization tag "application", which becomes necessary for filtering 411+ crates...
Added "hac" tag too.
2024-07-01 13:08:33 +02:00
Gautier de Montmollin b1609e1c71 azip 2.6.2 tags updated (#1101)
Metadata change only: added categorization tag "application", which becomes necessary for filtering 411+ crates...
2024-07-01 13:07:55 +02:00
Stephane Carrez ed1056a235 Add SCI Ada 0.3.0 crate (#1105) 2024-07-01 12:03:27 +02:00
Stephen Merrony c3715cb533 emdee 0.2.1 (#1099) 2024-06-27 22:03:52 +02:00
Stephane Carrez 22bb3119fd are 1.5.0 (#1098) 2024-06-24 12:23:19 +02:00
Alejandro R Mosteo b74a1ca8fb saatana 2.0.2 fix dependencies (#1095)
* saatana 2.0.2 fix dependencies

* Fix author/maintainers
2024-06-19 12:06:32 +02:00
Alejandro R Mosteo a56b3a9644 Apply label to PR on missing dependencies automatically (#1094) 2024-06-19 11:10:50 +02:00
A.J. Ianozi 419866d4f3 getada 1.0.1 (#1093) 2024-06-18 13:12:06 +02:00
Léo Germond 978bd4916f labs_solar_system 1.1.0 (#1091)
* labs_solar_system 1.1.0 (via `alr publish --submit`)

* Add Fedora/CentOS SDL definitions

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-06-17 23:02:35 +02:00
Gautier de Montmollin 7d01104b71 Create texcad-4.5.3.toml (#1090) 2024-06-17 14:57:20 +02:00
Vadim Godunko be8abdacf7 a0b_atsam3x8e, a0b_base 0.1.0 (#1089) 2024-06-14 15:20:32 +02:00
Jeremy Grosser 359937b59b rp2040_hal 2.3.0 (#1088) 2024-06-10 19:23:39 +02:00
Fabien Chouteau 9876169397 GNAT FSF 14.1.3 (#1087)
* GNAT FSF 14.1

* Replace GNAT 14.1.2 by 14.1.3

This new build fixes a problem with Arm Cortex-M run-times.

* Update gnat_native-14.1.3.toml
2024-06-10 10:37:12 +02:00
Stephane Carrez 18942521ba libmariadb external debian/ubuntu package name change (#1085)
* Update libmariadb Debian/Ubuntu package name
The Debian package was renamed into libmariadb-dev

* Keep both package names

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-06-04 14:09:39 +02:00