Compare commits

...

354 Commits

Author SHA1 Message Date
KLOC-Karsten 2b2839f708 tb6612_driver 0.1.0 (#1644) 2025-10-27 10:00:34 +01:00
Martin Krischik 69010859dc adacl_regexp 6.2.1 (#1531) 2025-07-10 11:59:32 +02:00
Matheus Xavier f814b958e2 press_utils 1.0.0 (#1505) 2025-06-13 12:02:27 +02:00
KLOC-Karsten bb7585ddda sparkfun_qwiic_motor_driver 0.1.0 (#1495) 2025-05-26 13:54:06 +02:00
Holger Rodriguez 4f64614eb3 eeprom_i2c 6.0.1 (#1467) 2025-04-07 12:20:36 +02:00
Holger Rodriguez ac20b62f9e itsybitsy_rp2040_bsp 1.0.0 (#1466) 2025-04-07 12:20:36 +02:00
Holger Rodriguez f36bc5af75 tiny_rp2040_bsp 1.0.0 (#1465) 2025-04-07 12:20:36 +02:00
Gautier de Montmollin a8128d283f lea 0.92.1 (#1464) 2025-04-07 12:20:36 +02:00
Brent Seidel 9f01db7254 bbs_ansiterm 0.1.0 (#1460) 2025-04-07 12:20:36 +02:00
Fabien Chouteau a64430a5f3 cortex_m 1.1.0 (#1457)
* Add files via upload

* Update cortex_m-1.1.0.toml
2025-04-07 12:20:36 +02:00
Gautier de Montmollin 8388ad821a azip 2.7.1 (#1456) 2025-04-07 12:20:36 +02:00
Gautier de Montmollin f5be0a955e lea 0.92.0 (#1455) 2025-04-07 12:20:36 +02:00
Rene Hartmann 269d430e56 hnumerics 1.0.0 (via alr publish --submit) (#1452) 2025-03-25 10:04:35 +01:00
Gautier de Montmollin 2a4ffcf908 gwindows 1.5.0 (#1451) 2025-03-23 13:53:46 +01:00
Manuel dd9aa3920e alr2appimage 1.0.0 (#1449) 2025-03-23 13:53:46 +01:00
Fabien Chouteau 9854d04ace strategy 0.1.0 (#1448) 2025-03-23 13:53:46 +01:00
Alejandro R Mosteo 4382e3975d aaa 0.3.0, aaa_texts 0.3.0, texts 0.1.0 (#1439)
* Add manifests for aaa=0.3.0 aaa_texts=0.3.0

* Add texts=0.1
2025-03-23 13:53:46 +01:00
Alejandro R Mosteo e8b35582b6 lml 0.1.0 (via alr publish) (#1437) 2025-03-23 13:53:46 +01:00
Vadim Godunko c93dba0fb8 button_led_weact_stm32g474 0.1.0 (#1434) 2025-03-23 13:53:46 +01:00
Vadim Godunko 61a2950658 blink_led_weact_stm32g474 0.1.0 (#1433) 2025-03-23 13:53:46 +01:00
Rene Hartmann feeae757a0 jintp 1.0.0 (#1442)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-03-19 22:53:20 +01:00
Alejandro R Mosteo d147a28d4a fix: improper syntax that will be rejected post-2.1 (#1417)
We had a missing check in index loading logic that should have rejected an unexpected array.
2025-03-19 22:42:42 +01:00
Vadim Godunko a5eb413268 a0b_stm32g474_gpio 0.1.0 (#1432) 2025-03-17 13:57:33 +01:00
Vadim Godunko 4598462d84 light_weact_stm32g474 0.1.0 (#1431) 2025-03-17 13:57:33 +01:00
Vadim Godunko 940f4ecc39 a0b_stm32g4_gpio 0.1.0 (#1430) 2025-03-17 13:57:33 +01:00
Vadim Godunko 6b5097c786 a0b_stm32g474 0.1.0 (#1429) 2025-03-17 13:57:33 +01:00
Vadim Godunko 3885428382 a0b_stm32f2_generic_exti 0.1.0 (#1428) 2025-03-17 13:57:33 +01:00
Vadim Godunko ecb271dc26 a0b_stm32g4 0.1.0 (#1427) 2025-03-17 13:57:33 +01:00
Vadim Godunko f2f5f0e4b6 a0b_stm32f2_generic_gpio 0.1.0 (#1426) 2025-03-17 13:57:33 +01:00
Jon e72b9e827c sparknacl 4.0.1 (#1425) 2025-03-17 13:57:33 +01:00
Vadim Godunko 9c193c68f3 a0b_base 0.4.0 (#1424) 2025-03-17 13:57:33 +01:00
Gautier de Montmollin 21c5b0b6b6 apdf 8.0.0 (#1418)
* Create apdf-8.0.0.toml

* Update apdf-8.0.0.toml

Fixed GID dependency.

* Update apdf-8.0.0.toml

Reverted to gid = ">=9.0.0"

* Update apdf-8.0.0.toml

Fixed .gpr name.
2025-03-17 13:57:33 +01:00
Gautier de Montmollin a86b4c5737 zipada 61.0.0 (#1416) 2025-03-17 13:57:33 +01:00
Simon Wright 281a381cb2 ada_caser 0.1.0 (#1415) 2025-03-17 13:57:33 +01:00
Martin Krischik da03fdae82 adacl_regexp 6.2.0 (#1436) 2025-03-17 12:14:36 +01:00
Brent Seidel 0622fb73b1 blinkenlights 0.2.1 (#1423) 2025-03-11 13:53:11 +01:00
Brent Seidel 0c75bc684e bbs_embed_linux 0.2.0 (#1422) 2025-03-10 18:02:11 +01:00
Brent Seidel da61176622 bbs_embed_common 0.2.0 (#1420) 2025-03-10 10:14:02 +01:00
Blady-Com 0a4c29efbf ppa_gtkada 1.0.0 (#1412)
* Add ppa_gtkada-1.1.0 (Tutorials for GTKAda) to Alire.

* Fix in Alire badge URL.
2025-03-08 13:40:33 +01:00
Gautier de Montmollin 3ce75f7fb9 hac 0.41.0 (#1411) 2025-03-08 13:40:33 +01:00
pmunts b5dee00972 remoteio 2.22974.1 (#1410)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 13:40:33 +01:00
pmunts e0ceb7ff8f libsimpleio 2.22974.1 (#1409)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 13:40:33 +01:00
Alejandro R Mosteo 07b796a45d yeison_12 0.2.0 (via alr publish) (#1405) 2025-03-08 13:40:33 +01:00
Alejandro R Mosteo b68e2575fd toml_slicer 0.1.2 (via alr publish) (#1406) 2025-03-08 13:40:33 +01:00
Brent Seidel cd88251591 simcpucli 0.4.0 (#1408) 2025-03-08 11:58:32 +01:00
Brent Seidel 599971b365 bbs_lisp 0.2.1 (#1399) 2025-03-07 14:11:48 +01:00
Brent Seidel 72662c6c92 bbs_simcpu 0.3.2 (#1402) 2025-03-07 10:23:40 +01:00
Fabien Chouteau 5e0f3a1347 usb_embedded 1.0.1 (#1401) 2025-03-07 10:21:04 +01:00
Brent Seidel 381cfc73d5 loadcpm 0.2.1 (#1400) 2025-03-07 10:14:22 +01:00
Jesper Quorning 610a0bfdce prolog 1.0.0 (#1398)
* prolog 1.0.0 (via `alr publish`)

* Update prolog-1.0.0.toml
2025-03-06 11:52:25 +01:00
Lionel Draghi 60f6535644 bbt 0.1.0 (#1397) 2025-03-06 09:07:46 +01:00
Blady-Com 75633ec8d0 exsytrawo 1.2.0 (#1396) 2025-03-01 12:47:39 +01:00
Dylan Eskew b56a896cbb io_utils 1.0.0 (#1395) 2025-02-25 10:49:16 +01:00
Rene Hartmann 4f8c0eef0c hnumerics 0.1.0 (#1394) 2025-02-23 19:39:25 +01:00
Gautier de Montmollin 63c20398f9 apdf 7.0.0 (#1393)
🆕 Changes in this version:

 *  Vector graphics: added Arc and Circle.
*   Navigation: added Hyperlink methods for producing links within or outside the document.

The main demo (pdf_out_demo.adb) includes now some pie charts and hyperlink examples.
An additional demo shows graphically various steps of the k-means data clustering / unsupervised machine learning method.
2025-02-22 12:09:20 +01:00
pmunts 8543d4b80f libsimpleio 2.22840.1 (#1392)
Added libLinux.PollInput and libSerial.Flush.
Added support for the Grove 12-Button Capacitive Touch Keypad.
Added optional binding to libgpiod v2.
2025-02-19 12:53:58 +01:00
Fabien Chouteau a4c4737be9 gnatdoc 25.2 (#1390) 2025-02-19 12:36:45 +01:00
Blady-Com 962cc3ffe2 exsytrawo 1.1.0 (#1389) 2025-02-18 10:51:09 +01:00
Brent Seidel 353ed76208 simcpucli 0.3.0 (#1388) 2025-02-14 18:50:04 +01:00
Brent Seidel 9af8246a51 bbs_simcpu 0.3.1 (#1387) 2025-02-14 13:41:51 +01:00
Brent Seidel 246f9cc579 bbs_lisp 0.2.0 (#1386) 2025-02-13 19:18:08 +01:00
Brent Seidel 5240b44af4 bbs_simcpu 0.3.0 (#1385) 2025-02-12 15:48:41 +01:00
A.J. Ianozi 48aeddfa1d cards 1.0.0 (#1384) 2025-02-10 14:37:36 +01:00
Fabien Chouteau c494f02410 tresses 1.0.0 (#1383) 2025-02-10 09:29:18 +01:00
César Sagaert 500f7aeb2d bigints 0.1.0 (#1380)
* bigints 0.1.0-dev (via `alr publish`)

* Rename bigints-0.1.0-dev.toml to bigints-0.1.0.toml

* add tags

---------

Co-authored-by: César Sagaert <sagaert@adacore.com>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2025-02-02 10:04:42 +01:00
meownium 4083dd3946 octet_memory_stream 1.1.0 (#1382) 2025-02-02 10:03:30 +01:00
Brent Seidel a1698a6058 bbs_lisp 0.1.2 (#1381) 2025-01-30 18:32:27 +01:00
pmunts 2a6da9fcd6 remoteio 2.22792.1 (#1378)
Minor improvements and fixes.
2025-01-29 13:23:24 +01:00
pmunts 22532ec1dc mcp2221 2.22792.1 (#1377)
Minor improvements and fixes.
2025-01-29 13:22:37 +01:00
pmunts 158277ffc4 libsimpleio 2.22792.1 (#1376)
Minor improvements and fixes.
2025-01-29 13:21:15 +01:00
Fabien Chouteau 3121f5f0a5 littlefs 1.0.0 (#1379) 2025-01-29 12:17:16 +01:00
Blady-Com ef3b5d7144 uxstrings 0.8.2 (#1375) 2025-01-27 12:10:14 +01:00
Blady-Com 9b90db886c ncursesada 6.5 (#1374)
Fix lib name casing.
2025-01-27 12:06:20 +01:00
Fabien Chouteau 0f725534cb flux 1.0.0 (#1373) 2025-01-27 12:05:01 +01:00
Vadim Godunko b844c7eb5b blink_led_blackpill_stm32f401 0.1.0 (#1372) 2025-01-24 11:17:28 +01:00
Vadim Godunko 9ddfcb0eb5 blink_led_arduino_due 0.1.0 (#1371) 2025-01-24 11:16:56 +01:00
Tama McGlinn 4666d43eec adabots 2.0.0 (#1370) 2025-01-24 11:15:01 +01:00
Vadim Godunko 9e4fae2257 button_led_blackpill_stm32f401 0.1.0 (#1369) 2025-01-23 11:51:53 +01:00
Vadim Godunko 93fcace7a1 button_led_arduino_due 0.1.0 (#1368) 2025-01-23 11:47:22 +01:00
Alejandro R Mosteo 3c6250ba70 ansiada 1.1.0 (#1367)
* ansiada 1.1.0 (via `alr publish`)

* Fix origin
2025-01-21 16:12:05 +01:00
meownium 247b15d5a7 octet_memory_stream 1.0.0 (#1366) 2025-01-20 09:01:08 +01:00
Fabien Chouteau 4bf6f42f5e midi 1.0.0 (#1365) 2025-01-18 13:28:58 +01:00
meownium e62acbc232 byteflippers 1.1.0 (#1364)
* Create byteflippers-1.1.0.toml

* Update byteflippers-1.1.0.toml

* Update byteflippers-1.1.0.toml
2025-01-16 12:38:28 +01:00
Jeremy Grosser 636cf630ed tiny_text 1.5.1 (#1363) 2025-01-16 12:20:45 +01:00
meownium da5ce66c66 file_formats_java_class 7.0.0 (#1362)
* Manually create file_formats_java_class-7.0.0.toml

* Rename file_formats_java_class-7.0.0.toml to file_formats_java_class-7.0.0-dev.toml

* Remove -dev suffix, postpone writing to 7.1.0 release
2025-01-15 18:29:47 +01:00
Fabien Chouteau 1eaa3ccd37 win32ada 23.0.0 description (#1361) 2025-01-15 17:26:16 +01:00
Brent Seidel 7f804a7ced loadcpm 0.2.0 (#1360) 2025-01-15 17:23:16 +01:00
Jeremy Grosser 3a18f35176 softdev 1.0.0 (#1359) 2025-01-14 15:48:42 +01:00
John Serock 20c932a9ff pla_util 2.1.3 (#1358)
pla_util 2.1.3
2025-01-13 09:13:50 +01:00
meownium ed51ecfc91 byteflippers 1.0.0 (via alr publish --submit) (#1357) 2025-01-10 14:01:52 +01:00
Brent Seidel 819094aff1 simcpucli 0.2.0 (#1356) 2025-01-08 18:41:54 +01:00
A.J. Ianozi 2dbe82aef1 uuids 1.0.0 (#1355) 2025-01-08 11:57:21 +01:00
Brent Seidel c82742f0b4 loadcpm 0.1.1 (#1354) 2025-01-07 13:31:43 +01:00
Brent Seidel e089ba2d9f bbs_simcpu 0.2.0 (#1353)
* bbs_simcpu 0.2.0 (via `alr publish --submit`)

* Update bbs_simcpu-0.2.0.toml

Update to commit changing file names to lowercase.
2025-01-07 13:30:10 +01:00
Daniel King d5d625360d xoshiro 2.0.0 (#1352) 2025-01-06 11:14:15 +01:00
Maxim Reznik b1749589aa conic_fit 0.1.0 (#1351) 2025-01-06 11:12:33 +01:00
Maxim Reznik ea55670354 nmea_0183 0.1.0 (#1350) 2025-01-05 19:49:56 +01:00
Estevan Castilho 95cae17374 rpio 1.0.0 (#1347)
Merged, thanks. Checks should run automatically on future PRs opened by you.
2025-01-05 19:48:56 +01:00
Maxim Reznik 00fe8d8374 raiden 1.0.0 (#1349) 2025-01-05 19:37:05 +01:00
Maxim Reznik fd38638ab1 mavlink_common 1.0.0 (#1348) 2025-01-05 19:35:34 +01:00
Cre8or 0a33634bab cre8or_generic_image_handling 1.0.0 (#1346)
* Cre8or_Generic_Image_Handling

+ Cre8or_Generic_Image_Handling_Example

* Fix incorrect manifest push
2024-12-30 20:57:07 +01:00
pmunts c1a87fdfdb remoteio 2.22631.1 (#1345)
Added support for transporting Remote I/O Protocol messages
over ZeroMQ.
2024-12-30 19:53:16 +01:00
pmunts 91887edaaa libsimpleio 2.22625.1 (#1344)
Fixed a serious bug (unhandled exception) in package SPI.libsimpleio.
Reworked support for Orange Pi Zero 2W.  It is much cleaner now.
2024-12-29 19:02:23 +01:00
Martin Krischik 663e841019 adacl 6.2.0 (#1342) 2024-12-27 19:24:25 +01:00
Martin Krischik beb2fee55d adacl_eastrings 6.2.0 (#1343) 2024-12-27 19:23:43 +01:00
Vadim Godunko 12dc697bd7 hexapod_simulation_telemetry 0.0.1 (#1341) 2024-12-26 14:39:57 +01:00
Vadim Godunko caf07b30da adagl_gtk3 0.0.1 (#1340) 2024-12-26 12:12:21 +01:00
Stephen Merrony 72c1479f77 emdee 0.2.2 (#1336) 2024-12-26 12:11:07 +01:00
Vadim Godunko 4c2f0f45e6 cgk 0.1.0 (#1339) 2024-12-26 12:06:30 +01:00
Stephane Carrez b8099b563b spdx_tool 0.4.1 (#1338)
* spdx-tool 0.4.1 crate

* Fix name of executable in Alire crate
2024-12-26 12:05:31 +01:00
pmunts 6c082e190b libsimpleio 2.22541.1 (#1337)
Added support for the Mikroelektronika Pi 4 Click Shield.
2024-12-26 11:59:12 +01:00
Léo Germond fbe1937c94 labs_solar_system 1.2.0 (#1335) 2024-12-19 13:38:25 +01:00
KLOC-Karsten b057e96306 pico_ultrasonic_ranger 0.1.0 (#1327) 2024-12-18 10:36:56 +01:00
Martin Krischik d0291b7b08 adacl_eastrings 6.1.1 (#1334) 2024-12-17 21:22:06 +01:00
Lionel Draghi f1f58076a2 bbt 0.0.6 (via alr publish --submit) (#1329) 2024-12-16 15:02:52 +01:00
Martin Krischik 4480059748 adacl 6.1.1 (#1328) 2024-12-16 13:36:12 +01:00
Daniel King e7bf3c39d2 nrf52-runtimes 14.1.0 (#1318) 2024-12-13 13:16:16 +01:00
pmunts 0aeabc43c4 muntsos_aarch64 9.3.1 (#1326)
Added long description.
2024-12-13 13:02:57 +01:00
Vadim Godunko 22ef15dc39 light_arduino_due 0.3.0 (via alr publish --submit) (#1319)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-12 11:36:58 +01:00
Martin Krischik 8f5c665ba8 hp41cx_tools 1.6.3 (via alr publish --submit) (#1324) 2024-12-12 11:16:31 +01:00
Martin Krischik e798fd364c adacl 6.1.0 (via alr publish --submit) (#1323) 2024-12-11 12:08:22 +01:00
Vadim Godunko 258e1ef7ea light_fk723m1_zgt6 0.2.0 (#1321) 2024-12-10 14:27:12 +01:00
Vadim Godunko a1b4222834 light_blackpill_stm32f401 0.3.0 (#1320) 2024-12-10 14:25:55 +01:00
pmunts 97276933e3 muntsos_aarch64 9.3.0 (#1315) 2024-12-10 14:18:42 +01:00
Vadim Godunko b6b799e53f a0b_armv7m 0.3.0 (via alr publish --submit) (#1317)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 18:19:19 +01:00
Vadim Godunko ff7139ffa8 a0b_stm32h723 0.1.0 (via alr publish --submit) (#1316)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 18:05:49 +01:00
Vadim Godunko 7152589f1d a0b_atsam3x8e 0.3.0 (via alr publish --submit) (#1314)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 15:45:25 +01:00
Simon Wright ba24c9317e gnat_math_extensions 1.2.0 (via alr publish --submit) (#1306)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 15:29:22 +01:00
Martin Krischik fa6a47f4a6 adacl 6.0.0 (via alr publish --submit) (#1313)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-12-09 15:28:56 +01:00
Rene Hartmann 431db06cda jintp 0.2.0 (via alr publish --submit) (#1304) 2024-12-09 15:15:14 +01:00
Vadim Godunko a2c07d3e50 a0b_stm32f401 0.2.0 (#1309) 2024-12-03 10:22:27 +01:00
Vadim Godunko d5740d72a4 a0b_armv7m 0.2.0 (#1308) 2024-12-03 09:01:33 +01:00
Vadim Godunko 36731eefdf a0b_base 0.3.0 (#1307) 2024-12-02 21:31:08 +01:00
Simon Wright 759744836b minimal_containers 1.2.1 (via alr publish --submit) (#1310) 2024-12-02 10:56:35 +01:00
Vadim Godunko 4fd83c2410 a0b_callbacks 0.2.0 (#1305) 2024-11-27 07:24:08 +01:00
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
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
Alejandro R Mosteo eaa810c86d whitakers_words metadata (upstream website) (#1239) 2024-10-01 13:27:57 +02:00
Stephane Carrez a802799027 awa 2.5.0 (#1238) 2024-10-01 07:31:48 +02:00
Stephane Carrez 8f76ecb714 utilada_aws 2.6.0 (#1237)
* Add Ada Utility Library AWS support for 2.6.0

* Try to build with AWS 24 or 23 for Windows

* Disable for Windows and MacOS since the automated build failed

* Try to fix crate due to crash in Alire:

DEPLOYING CRATE utilada_aws=2.6.0
stderr: CONSTRAINT_ERROR
stderr: alire-conditional_trees-case_nodes.adb:178 range check failed
stderr: raised CONSTRAINT_ERROR : alire-conditional_trees-case_nodes.adb:178 range check failed
[/usr/bin/alr]
0xd5d8a6 Alire.Toml_Load.Dependency_Loader.Case_Nodes.Leaf_Count.2Xnb at alire-conditional_trees-case_nodes.adb:178
0x5d5f9d Alire.Conditional.For_Dependencies.Leaf_Count at alire-conditional_trees.adb:226
0x6706e5 Alire.Conditional.For_Dependencies.Leaf_Count at alire-conditional_trees.ads:464
0xc14e52 Alire.Releases.Deploy.Create_Authoritative_Manifest at alire-releases.adb:298
0xc14496 Alire.Releases.Deploy at alire-releases.adb:351
0xc4f580 Alire.Roots.Create_For_Release at alire-roots.adb:717
0xc4fbd2 Alire.Roots.Create_For_Release at alire-roots.adb:708
0x4a3aa9 Alr.Commands.Get.Retrieve at alr-commands-get.adb:134
0x4a87b2 Alr.Commands.Get.Execute at alr-commands-get.adb:368
0x4a8a49 Alr.Commands.Get.Execute at alr-commands-get.adb:246
0x53939b Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x54587e Alr.Commands.Execute at alr-commands.adb:561
0x436183 Alr.Main at alr-main.adb:13
0x438de1 Main at b__alr-main.adb:2257
[/lib64/libc.so.6]

* Fix location of project file relative to crate root

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-09-30 20:43:21 +02:00
Maxim Reznik b905298e3f spawn, spawn_glib 24.0.1 (#1232)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-09-30 13:39:18 +02:00
onox 6795b93ce3 json 6.0.0, json 5.0.x metadata (#1164)
* json 5.0.x: Add gnat <= 13 dependency

The json 5.0.x releases do not compile with GNAT >= 14 because the
compiler is checking more SPARK restrictions.

* json 6.0.0

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-09-30 10:57:09 +02:00
Fraser Wilson 7ea3418af6 wl_lib 0.1.4 (#1236) 2024-09-30 10:40:53 +02:00
Alejandro R Mosteo 8fa2461d60 Reinstate macos test on master (#1235) 2024-09-27 17:50:52 +02:00
Maxim Reznik ac5833212f gtkada 24.0.1 (#1233) 2024-09-24 20:46:11 +02:00
Stephane Carrez 09ca77095d serverfaces, serverfaces_unit 1.6.1 (#1229) 2024-09-23 20:16:28 +02:00
Gautier de Montmollin 0f5b1dc197 ulid 20240921.0.0 (#1228)
New stuff:
- UUID 8-4-4-4-12 output like "01920161-d64d-5a3e-589e-c45df155547b"
- Conversion from text representations to a 128-bit number
2024-09-23 20:14:59 +02:00
Fabien Chouteau fb7f72b539 libgnatdoc, liblal_refactor 24.0.0 (#1227) 2024-09-20 11:31:31 +02:00
Gautier de Montmollin fab3867e37 bar_codes 5.0.0 (#1225)
Version 005.
2024-09-17 10:36:11 +02:00
Stephane Carrez 0d250b73f2 Ada Keystore 1.4.1 crate (#1223)
* Ada Keystore 1.4.1 crate

* Fix dependencies

* Remove akt crate since the build with two provided crates at the same time fails
2024-09-09 17:43:18 +02:00
Vadim Godunko beb0e4c002 a0b_callbacks 0.1.0 (#1222) 2024-09-09 14:35:20 +02:00
Fabien Chouteau 8b23428584 raylib 1.0.1 (#1221) 2024-09-09 14:33:56 +02:00
Stephane Carrez d493e5cddd servletada* 1.7.1 (Core, AWS, EWS, Unit tests support) (#1220) 2024-09-02 19:24:15 +02:00
Stephane Carrez 536c5e469e security 1.5.1 (#1219) 2024-09-02 19:23:02 +02:00
Stephane Carrez 7e01f696fe wikiada 1.4.2 (#1218) 2024-09-02 19:21:59 +02:00
Gautier de Montmollin faedd5aebd bar_codes 4.0.0 (#1217)
* Create bar_codes-4.0.0.toml

Added PNG output "media"; fixed Data Matrix.

* Update bar_codes-4.0.0.toml

Improved metadata (tags).
2024-09-02 19:21:00 +02:00
Maxim Reznik 4ed4b7caf8 enet_stm32 1.0.0 (#1208) 2024-08-27 11:21:43 +02:00
Stephane Carrez afa6d2a4a2 utilada 2.7.0 (#1183)
* Add Ada Utility Library 2.7.0 crate

* Update utilada_aws crate to disable Windows because AWS is broken on that host

* Submit update Ada Utility Crate 2.7.0 with Windows re-enabled for AWS

* Try to use AWS 23.0 on Windows since AWS 24.0 is broken
2024-08-26 14:05:01 +02:00
A.J. Ianozi b2fdbad4f6 yass 3.1.0 (#1212)
* yass 3.1.0 (via `alr publish --submit`)

* Fedora's cmark-library only includes end user runtime, now includes headers
2024-08-26 13:56:06 +02:00
Stephane Carrez 285cf8b76c elada 1.8.7 (#1216)
* Add version 1.8.7 for elada crate

* Update
2024-08-26 13:48:40 +02:00
Stephane Carrez c365cc71ab lzmada 1.1.4 (#1215) 2024-08-26 13:47:04 +02:00
Stephane Carrez 4a51b92a60 sciada 0.4.0 (#1214) 2024-08-26 13:45:30 +02:00
Stephane Carrez 10faa8e6c7 printer_toolkit 0.2.0 (#1213)
* Add Printer Toolkit 0.2.0 crates

* Fix wrong install in index

* Remove the SVG part
2024-08-26 13:43:33 +02:00
Gautier de Montmollin 804902151d azip 2.7.0 (#1211) 2024-08-26 13:39:51 +02:00
Bent Bracke 94fceca9ae pragmarc 20240810.0.0 (#1206) 2024-08-24 14:14:47 +02:00
Fabien Chouteau 22ffe9848d GNAT FSF 14.2 (#1207) 2024-08-24 14:03:43 +02:00
Riccardo Bernardini ae05369437 splitter 1.0.2 (#1204) 2024-08-24 13:59:16 +02:00
Fabien Chouteau 137bec496c gnatprove 14.1 on macOS (#1203) 2024-08-24 13:55:00 +02:00
Daniel Norte de Moraes 9f42fb3bf2 Adare Kem and Sign PQC Packages. includes all necessary files to build and use. (#1199)
* Add files via upload

* Add files via upload

* Add files via upload

---------

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2024-08-22 14:43:46 +02:00
Léo Germond 06e9413a67 labs_radar 1.0.0 (via alr publish --submit) (#1205) 2024-08-21 17:35:15 +02:00
Gautier de Montmollin 1ce56fa081 Create gid-13.0.1.toml (#1200)
* Create gid-13.0.1.toml

The library is unchanged, but the demo/tools output now to PNG instead of the unknown PPM.

* Update gid-13.0.1.toml

Improved description.

* Update gid-13.0.1.toml

Fixed typo.
2024-08-19 12:00:18 +02:00
Gautier de Montmollin 6b330d1da8 Create excel_writer-19.0.0.toml (#1201)
* Create excel_writer-19.0.0.toml

V.19, with parsing and storing of simple formulas.

* Update excel_writer-19.0.0.toml

Fixed .gpr name.
2024-08-19 11:59:05 +02:00
Brent Seidel b732ea1de7 blinkenlights 0.1.0 (#1197) 2024-08-15 21:12:50 +02:00
Alejandro R Mosteo 449d098945 Bumps to actions/checkout@v4 (#1196) 2024-08-13 19:11:44 +02:00
Fabien Chouteau 4ebf22e5de chipmunk2d 0.1.0 (#1190) 2024-08-13 13:05:01 +02:00
Gautier de Montmollin e93847f894 bar_codes 3.0.0 metadata (#1194)
.toml metadata changes only.
2024-08-13 13:04:06 +02:00
Brent Seidel 167a1695c5 lispcli 0.1.1 (#1193) 2024-08-13 13:03:31 +02:00
Brent Seidel d24c436e2a bbs_lisp 0.1.1 (#1192) 2024-08-13 13:02:57 +02:00
Brent Seidel 1e864e2f8e bbs_embed_linux 0.1.0 (#1191) 2024-08-13 13:00:49 +02:00
Bent Bracke 283ab30514 image_io 20240725.0.0 (#1189) 2024-08-13 12:57:13 +02:00
Gautier de Montmollin 3d5bec347e bar_codes 3.0.0 (#1184)
* Create bar_codes-3.0.0.toml

New version with Data Matrix 2D bar codes.

* Update bar_codes-3.0.0.toml

Shortened description string.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-08-12 15:11:46 +02:00
Brent Seidel 648a68f475 webif_example 0.1.0 (#1186)
* webif_example 0.1.0 (via `alr publish --submit`)

* Change name of declared executable program.

* Change name of executable and update commit.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-08-12 15:11:02 +02:00
Brent Seidel 460dbc02a0 bbs_embed_common 0.1.0 (#1185)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-08-12 15:10:05 +02:00
Alejandro R Mosteo 12cf519e60 Disable openSUSE testing (#1188)
Enabling openSUSE requires more thorough testing.
2024-08-12 14:59:03 +02:00
Brent Seidel 819f525655 simcpucli 0.1.0 (#1176)
* simcpucli 0.1.0 (via `alr publish --submit`)

* Add long-description and depend on gnat > 7.5.

* Add [origin] block.
2024-08-12 13:31:05 +02:00
Alejandro R Mosteo 73af745604 Disable failing CI check to avoid confusion (#1187) 2024-08-12 13:19:20 +02:00
Fabien Chouteau b3e5d99b9e raylib 1.0.0, libraylib external (#1179) 2024-08-12 12:40:48 +02:00
Bent Bracke 7aba0a2e1d crc_32 20240725.0.0 (#1180) 2024-08-12 12:14:36 +02:00
Bent Bracke 5e2605c849 mine_detector 20220720.0.0 (#1174) 2024-08-12 12:12:56 +02:00
Bent Bracke a44ad09e82 z_compression 20240724.0.0 (#1178) 2024-08-12 12:11:47 +02:00
Bent Bracke b981536288 password_gen 20220720.0.0 (#1175) 2024-08-11 14:45:54 +02:00
Brent Seidel fdca9ff9b0 loadcpm 0.1.0 (#1177) 2024-08-11 14:45:05 +02:00
Bent Bracke 49bd412d4c musicplayer 20210719.0.0 (#1173) 2024-08-07 17:03:46 +02:00
Brent Seidel 9e9456d0c2 bbs_webif 0.1.0 (#1172) 2024-08-07 11:54:01 +02:00
Brent Seidel 1e92fe5427 bbs_simcpu 0.1.0 (#1171) 2024-08-07 11:52:37 +02:00
Brent Seidel ec3e2dc600 lispcli 0.1.0 (#1170)
* lispcli 0.1.0 (via `alr publish --submit`)

* Update hash to point to later commit with fix.

* Build fails on OpenSuSe so make crate unavailable for suse.

* Adjust syntax to exclude OpenSuse.
2024-08-06 13:36:23 +02:00
Fabien Chouteau d1f00c4858 embedded_components 0.3.0 (#1083)
* Add files via upload

* Update embedded_components-0.3.0.toml
2024-08-05 12:54:09 +02:00
Alejandro R Mosteo 5ba57e26c4 Enable OpenSUSE testing (#1096)
Just as we use Ubuntu LTS-only releases, we use the versioned, stable Leap
releases.
2024-08-05 12:52:06 +02:00
Maxim Reznik d14e4dfae1 ethernet 1.0.0 (#1169) 2024-08-02 14:35:46 +02:00
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
Gautier de Montmollin db485dfa0b globe_3d 2023.11.12 metadata (tags) (#1086)
* Update globe_3d-2023.11.12.toml metadata (tags)

Metadata update only in .toml: added a few tags.

* Update globe_3d-2023.11.12.toml metadata (tags)

Metadata update only in .toml: added a few more tags.

* Update globe_3d-2023.11.12.toml metadata (tags)

Metadata update only in .toml: shortened tags (max len=15).
2024-06-04 13:37:32 +02:00
Alejandro R Mosteo 4f891e0e0d optional 0.2.0 (#1060)
* optional 0.2.0 (via `alr publish --submit`)

* Use Intel arch machines for macOS tests

* Downgrade macOS runners to v12

* Update workflows
2024-06-03 15:06:31 +02:00
Gautier de Montmollin 2b083b29c1 Create texcad-4.5.2.toml (#1084)
* Create texcad-4.5.2.toml

First presence of TeXCAD on Alire!

* Update texcad-4.5.2.toml

Correct license naming.

* Update texcad-4.5.2.toml

Enriched the tag list.
2024-06-03 15:05:56 +02:00
Alejandro R Mosteo e255cb600a gnoga metadata: removed conflicting project variable settings (#1082)
* Removed conflicting project variable settings

* Missing externals to increase compatibility

* Restore lost variable in gnoga
2024-05-31 11:57:30 +02:00
Gautier de Montmollin cd81313940 azip 2.6.2 (#1081)
First appearance of AZip ( https://azip.sourceforge.io/ ) on Alire!
2024-05-28 11:53:44 +02:00
pmunts 37a7dec195 mcp2221 2.22364.1 (#1080)
Fixed garbled hyperlink in long description.
2024-05-27 13:32:20 +02:00
pmunts f11370fbfe libsimpleio 2.22364.1 (#1079)
Fixed garbled hyperlink in long description.
2024-05-27 12:47:15 +02:00
Gautier de Montmollin 5c5e25ca1a zipada 59.0.0 (#1078)
New features:
-    UnZip.Streams: added Set_Index & Index subprograms for inward streams from Zip archives.
-    Zip.Create: added procedure Add_Empty_Folder
2024-05-27 12:45:28 +02:00
Blady-Com 7f0a45f50c uxstrings 0.7.1 (#1051)
* Upgrade UXStrings to version 0.7.0.

Add UXStrings 4 implementation (Ada.Containers.Vectors).
Use scenario variables in project files for choosing between UXStrings implementation UXS_VARIANT=UXS1..4.
Add Keep_Empty_Parts default parameter to Split.

* Change GNAT required version.

* Bring back strings_edit source codes from Simple Components since dependancies of SC puzzled Alire.

* Suppress 0.7.0 as it puzzles Alire checks.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-05-27 12:41:13 +02:00
Gautier de Montmollin 84e84f51c3 ini_files 11.0.0 (#1075)
Changes from v.10:
- removed a warning about name hiding (-gnatwh)
- added long description in .toml
2024-05-27 12:39:25 +02:00
A.J. Ianozi 3e12b72791 libcmark external (#1074) 2024-05-27 12:38:24 +02:00
Stephen Merrony 9f9cca2930 dashera 0.15.1 (#1068)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-05-27 12:35:52 +02:00
jgrivera67 b3b1c60ec8 hirtos_separation_kernel 2.0.0 (#1034)
* hirtos_separation_kernel 2.0.0 (via `alr publish --submit`)

* Addressed PR review comments

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

* Fixed post-build errors to pass CI checks

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

* Skip unsupported build steps when building on Windows

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

---------

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
2024-05-23 19:37:16 +02:00
Alejandro R Mosteo 7e1d48b3de libgtk3 CentOS external (#1073) 2024-05-23 19:33:24 +02:00
Alejandro R Mosteo 6867b5859a Set Quartz backend for MacPorts (#1072) 2024-05-23 18:47:22 +02:00
Jeremy Grosser ad7a04a39b hex_format 0.1.0 (#1071) 2024-05-23 17:24:55 +02:00
Gautier de Montmollin d8bc46391b gid 13.0.0 metadata update (#1070)
Added some tags.
2024-05-23 17:24:02 +02:00
Gautier de Montmollin 8239a7d09b mathpaqs 20230121.0.0 metadata update (#1069)
* Update metadata in mathpaqs-20230121.0.0.toml

Only metadata change (long description + tags).

* Update mathpaqs-20230121.0.0.toml

* Update mathpaqs-20230121.0.0.toml

limited tags to 15 chars
2024-05-23 17:23:13 +02:00
jgrivera67 4a079c5448 hirtos 2.0.0 (#1033)
* hirtos 2.0.0 (via `alr publish --submit`)

* Addressed PR review comments

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

* Fixed post-build errors to pass CI

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

* Skip unsupported build steps when building on Windows

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

* Added gprbuild 22 dependency for test crates for CI

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>

---------

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
2024-05-21 18:18:01 +02:00
Gautier de Montmollin b23008ea09 globe_3d 2023.11.12 (#1067)
* Create globe_3d-2023.11.12.toml

* Update globe_3d-2023.11.12.toml

Limited availability to macos and windows
2024-05-21 16:58:49 +02:00
pmunts 4f27bbb74c remoteio 2.22357.1 (#1066)
Rebuilt for alr 2.0, which broke previous post-fetch scripts.

Also moved the source archive repository
from http://repo.munts.com/alire
to   https://raw.githubusercontent.com/pmunts/alire-crates

Also added long description.
2024-05-21 16:47:48 +02:00
pmunts 10fc204d1b mcp2221 2.22357.1 (#1065)
Rebuilt for alr 2.0, which broke previous post-fetch scripts.

Also moved the source archive repository
from http://repo.munts.com/alire
to   https://raw.githubusercontent.com/pmunts/alire-crates

Also added long description.
2024-05-21 16:46:56 +02:00
pmunts 16bef8c5ba libsimpleio 2.22357.1 (#1064)
Added new package External_Command.Pipeline.
Added long description.
2024-05-21 14:10:57 +02:00
Gautier de Montmollin 1e90d3b33c mathpaqs 20230121.0.0 (#1048)
Added list of project files and a long description.

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-05-17 15:21:49 +02:00
Kevin Chadwick 473cc1de0c elogs 1.2.0 (#1059)
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-05-16 15:04:34 +02:00
Alejandro R Mosteo 97c7abe586 Fixes for CI troubles (#1061)
* Use Intel arch machines for macOS tests

* Downgrade macOS runners to v12

* Update workflows

* Touch test crate
2024-05-16 14:20:52 +02:00
Fabien Chouteau 84d8923eef hal 0.3.1 (#1035) 2024-05-10 13:06:26 +02:00
Maxim Reznik 93a5a02a9a Allow zeromq on Mac OS X and Arch Linux (#1050) 2024-05-03 17:30:17 +02:00
pmunts 134218e476 CentOS and RHEL need libusbx-devel (#1047)
which is named libusb1-devel on Fedora, for some unknowable reason.

Co-authored-by: pmunts <pmunts@berea.munts.net>
2024-04-26 11:17:40 +02:00
Léo Germond 2f27cde9de journada 1.0.0 (#1046) 2024-04-25 17:12:23 +02:00
pmunts 2a9c11c27b Added support for CentOS/Fedora/RHEL (#1045)
Co-authored-by: pmunts <pmunts@berea.munts.net>
2024-04-24 10:19:49 +02:00
Gautier de Montmollin 2a4c06d2da Create lea-0.90.0.toml (#1044) 2024-04-23 10:25:48 +02:00
JK 734101706f Add st7789 display driver (#1043) 2024-04-23 10:25:02 +02:00
pmunts 757405771c libsimpleio release 2.22299.1 (#1040)
Rebuilt for alr 2.0, which broke previous post-fetch scripts.

Also moved the source archive repository
from http://repo.munts.com/alire
to   https://raw.githubusercontent.com/pmunts/alire-crates
2024-04-22 18:57:25 +02:00
Gautier de Montmollin 310ba0cd79 Create gwindows-1.4.3.toml (#1036) 2024-04-22 18:54:52 +02:00
Gautier de Montmollin 447945a29a gwindows 1.4.2 (#1029)
* Create gwindows-1.4.2.toml

* Update gwindows-1.4.2.toml

GMGPL license not recognized; put back string from previous release.

* Update gwindows-1.4.2.toml

Zip ball uses the Zip 2.0 compression format (Deflate).

* Update gwindows-1.4.2.toml

Using a single root dir within Zip ball.

* Update gwindows-1.4.2.toml

Using Git (as in previous releases) instead of a Zip ball.
NB: the Alire test failure was something else (GNAT not found), but who knows...

* Update gwindows-1.4.2.toml

Removed extra GNATCOM tools path.
2024-04-15 13:05:15 +02:00
Lionel Draghi da96327126 list_image 1.0.0 (via alr publish --submit) (#1026) 2024-04-15 11:27:07 +02:00
Jeremy Grosser 2b1da5850e tiny_text 1.3.0 (#1027) 2024-04-11 10:32:14 +02:00
Fabien Chouteau a2c99729df hal 0.4.0 (#1025) 2024-04-10 10:04:51 +02:00
Maxim Reznik ad964cb014 gnat_native 13.2.2 for macOS X aarch64 (#1013)
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-04-05 19:07:33 +02:00
Martin Krischik 96128c3076 wikibook 1.0.1 (#1022) 2024-04-01 12:49:50 +02:00
Fabien Chouteau b9c5cd2f98 raylib 0.1.0 (#1021)
* Raylib 0.1.0

* Update raylib-0.1.0.toml
2024-04-01 12:46:26 +02:00
427 changed files with 15398 additions and 96 deletions
+4 -7
View File
@@ -13,7 +13,7 @@ jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -21,17 +21,14 @@ jobs:
# changed files detectors.
- name: Check out alire-index-checks
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up nightly `alr`
uses: alire-project/setup-alire@v2
with:
version: nightly
toolchain: --disable-assistant
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
- name: Test authorship
run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
+15 -6
View File
@@ -7,7 +7,7 @@ name: Build Crate (Distro toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.1
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -18,6 +18,8 @@ jobs:
build:
name: ${{ matrix.tag }}
env:
JOB_NAME: ${{ matrix.tag }}
runs-on: ubuntu-latest
@@ -29,11 +31,13 @@ jobs:
- centos-stream-fsf-latest # CentOS is used for unknown package manager
- debian-stable # Debian has very good Ada support and apt
- fedora-latest # Fedora has its own GNAT and dnf
# - opensuse-leap # OpenSUSE has its own GNAT and zypper
# TODO: diagnose and reinstate problems with tar/compiler installation
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
steps:
- name: Check out alire-index
uses: actions/checkout@v2
uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -42,7 +46,7 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
@@ -50,14 +54,14 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
branch: master
@@ -67,4 +71,9 @@ jobs:
with:
image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
params: >
-v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
-v ${{ github.event_path}}:/etc/event.json
-e GITHUB_EVENT_PATH=/etc/event.json
-e GITHUB_REPOSITORY=${{ github.repository }}
-e GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }}
+11 -4
View File
@@ -21,6 +21,8 @@ jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
@@ -28,13 +30,14 @@ jobs:
fail-fast: false
matrix:
os:
- macos-latest
- macos-13 # amd64
- macos-latest # arm64
- ubuntu-latest
- windows-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v2
uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -43,14 +46,14 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up devel `alr`
uses: alire-project/setup-alire@v2
uses: alire-project/setup-alire@v4
with:
branch: 'master'
@@ -61,3 +64,7 @@ jobs:
- name: Test crate
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
shell: bash
env:
GITHUB_EVENT_PATH: ${{ github.event_path }}
GITHUB_REPOSITORY: ${{ github.repository }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment
+13 -6
View File
@@ -6,7 +6,7 @@ name: Build Crate (Alire toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.1
ALR_VERSION: 2.0.2
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
on:
@@ -18,6 +18,8 @@ jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
@@ -25,13 +27,14 @@ jobs:
fail-fast: false
matrix:
os:
- macos-latest
- macos-13 # amd64
- macos-latest # arm64
- ubuntu-latest
- windows-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v2
uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -40,7 +43,7 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
@@ -49,14 +52,14 @@ jobs:
# By default, this also sets up the newest indexed native toolchain
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
version: ${{env.ALR_VERSION}}
# By default, this also sets up the newest indexed native toolchain
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
branch: 'master'
@@ -67,3 +70,7 @@ jobs:
- name: Test crate
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
shell: bash
env:
GITHUB_EVENT_PATH: ${{ github.event_path }}
GITHUB_REPOSITORY: ${{ github.repository }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment
+18 -6
View File
@@ -9,6 +9,7 @@ name: Build Crate (MacPorts)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -19,6 +20,8 @@ jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
@@ -26,11 +29,12 @@ jobs:
fail-fast: false
matrix:
os:
- macos-latest
- macos-13 # amd64
- macos-latest # arm64
steps:
- name: Check out alire-index
uses: actions/checkout@v2
uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -39,16 +43,16 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up devel `alr`
uses: alire-project/setup-alire@v2
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
with:
branch: 'master'
version: ${{env.ALR_VERSION}}
- name: Disable Homebrew
run: rm -f $(which brew)
@@ -57,6 +61,14 @@ jobs:
- name: Install Ports
uses: melusina-org/setup-macports@v1
- name: Prefer Quartz to X11 for MacPorts
shell: bash
run: echo '-x11 +no_x11 +quartz' >> /opt/local/etc/macports/variants.conf
- name: Test crate
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
shell: bash
env:
GITHUB_EVENT_PATH: ${{ github.event_path }}
GITHUB_REPOSITORY: ${{ github.repository }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment
+4 -4
View File
@@ -1,7 +1,7 @@
name: Check Index
env:
ALR_VERSION: 2.0.1
ALR_VERSION: 2.0.2
on: pull_request
@@ -9,17 +9,17 @@ jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: actions/checkout@v4
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
branch: master
+4 -4
View File
@@ -8,7 +8,7 @@ name: Diff release
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.1
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -23,7 +23,7 @@ jobs:
steps:
- name: Check out alire-index
uses: actions/checkout@v2
uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -31,7 +31,7 @@ jobs:
# changed files detector
- name: Check out alire-index-checks
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
@@ -46,7 +46,7 @@ jobs:
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v4
with:
toolchain: --disable-assistant # We don't need the compiler
branch: master
+34
View File
@@ -0,0 +1,34 @@
name = "a0b_armv7m"
description = "A0B: ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_armv7m.gpr"]
tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[configuration.variables]
FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
[[depends-on]]
gnat_arm_elf = "*"
a0b_base = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "8727264e0e3b4c87440ff900d82a557dfa216cf4"
url = "git+https://github.com/godunko/a0b-armv7m.git"
+35
View File
@@ -0,0 +1,35 @@
name = "a0b_armv7m"
description = "A0B: ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
version = "0.2.0"
website = "https://github.com/godunko/a0b-base"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_armv7m.gpr"]
tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[configuration.variables]
FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
[[depends-on]]
a0b_base = "*"
gnat_arm_elf = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "50acd6d03b9bbd6604692098189712a34130340c"
url = "git+https://github.com/godunko/a0b-armv7m.git"
+35
View File
@@ -0,0 +1,35 @@
name = "a0b_armv7m"
description = "ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
website = "https://github.com/godunko/a0b-base"
version = "0.3.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_armv7m.gpr"]
tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[configuration.variables]
FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
[[depends-on]]
a0b_base = "*"
gnat_arm_elf = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "cf4e40c75068127c315b808565022be3891112c1"
url = "git+https://github.com/godunko/a0b-armv7m.git"
@@ -0,0 +1,33 @@
name = "a0b_armv7m_systick_clock"
description = "A0B Monotonic Clock by ARMv7M SysTick"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "time", "armv7m"]
project-files = ["gnat/a0b_time_platform.gpr"]
provides = ["a0b_time_platform=0.1.0"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
a0b_armv7m = "*"
[[forbids]]
a0b_armv7m_systick_clock_timer = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "46417dbd3107df4c9512763f49510d8373541a48"
url = "git+https://github.com/godunko/a0b-armv7m-systick_clock.git"
@@ -0,0 +1,25 @@
name = "a0b_armv7m_systick_clock_timer"
description = "A0B Monotonic Clock and Timer by ARMv7M SysTick"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "time", "timer", "systick"]
project-files = ["gnat/a0b_time_platform.gpr", "gnat/a0b_timer_platform.gpr"]
provides = ["a0b_time_platform=0.1.0", "a0b_timer_platform=0.1.0"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
a0b_armv7m = "*"
[origin]
commit = "825079c39f3674ca94e2fc5b015f0b8c5afda6c3"
url = "git+https://github.com/godunko/a0b-armv7m-systick_clock_timer.git"
@@ -0,0 +1,25 @@
name = "a0b_atsam3x8e"
description = "A0B ATSAM3X8E MCU Support"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
project-files = ["gnat/a0b_atsam3x8e.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
gnat_arm_elf = "*"
[origin]
commit = "31363204286f8f5f5215a021c6a86ebd87ba6056"
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
@@ -0,0 +1,30 @@
name = "a0b_atsam3x8e"
description = "A0B ATSAM3X8E MCU Support"
version = "0.2.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
project-files = ["gnat/a0b_atsam3x8e.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_armv7m = "*"
gnat_arm_elf = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "994df7d551caa73512a431ea785f3b68d11d899e"
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
@@ -0,0 +1,30 @@
name = "a0b_atsam3x8e"
description = "A0B ATSAM3X8E base and SVD package"
website = "https://github.com/godunko/a0b-stm32f401"
version = "0.3.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
project-files = ["gnat/a0b_atsam3x8e.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_armv7m = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "87c93b97c09284d4d6973b23ca1d1d793730209a"
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
@@ -0,0 +1,31 @@
name = "a0b_atsam3x8e_gpio"
description = "A0B ATSAM3X8E GPIO/EXTI"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "gpio", "atsam3x8e", "sam3x8e", "arduino", "due"]
project-files = ["gnat/a0b_atsam3x8e_gpio.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_gpio = "*"
a0b_exti = "*"
a0b_atsam3x8e = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "331318aec82244e5419f6b9407d9a478db754fad"
url = "git+https://github.com/godunko/a0b-atsam3x8e-gpio.git"
@@ -0,0 +1,28 @@
name = "a0b_atsam3x8e_tc5_timer"
description = "A0B ATSAM3X8E High Resulotion Timer on top of TC5"
version = "0.1.0"
provides = ["a0b_timer_platform=0.1.0"]
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "timer", "atsam3x8e", "sam3x8e", "arduino", "due"]
project-files = ["gnat/a0b_timer_platform.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_atsam3x8e = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "a57a8417673016dbfbe3e62b0e454fbc046d8c0b"
url = "git+https://github.com/godunko/a0b-atsam3x8e-tc5_timer.git"
@@ -0,0 +1,28 @@
name = "a0b_atsam3x8e_twi_i2c"
description = "A0B ATSAM3X8E TWI I2C Driver"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["embedded", "i2c", "atsam3x8e", "twi", "arduino", "due"]
project-files = ["gnat/a0b_atsam3x8e_twi_i2c.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_i2c = "*"
a0b_atsam3x8e_gpio = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "22ca4e5226de9a2a3019354aa84f20ab2403eae6"
url = "git+https://github.com/godunko/a0b-atsam32x8e-twi-i2c.git"
+19
View File
@@ -0,0 +1,19 @@
name = "a0b_base"
description = "A0B: Base components"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
disabled = true
[origin]
commit = "ae3e56f0be698970859a91eaa88855595b2f777e"
url = "git+https://github.com/godunko/a0b-base.git"
+19
View File
@@ -0,0 +1,19 @@
name = "a0b_base"
description = "A0B: Base components"
version = "0.2.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
disabled = true
[origin]
commit = "b8702bfc8b1a4f3b708343072ecbc9da21b89eff"
url = "git+https://github.com/godunko/a0b-base.git"
+20
View File
@@ -0,0 +1,20 @@
name = "a0b_base"
description = "A0B: Base components"
version = "0.3.0"
website = "https://github.com/godunko/a0b-base"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
disabled = true
[origin]
commit = "1270711d1968f3313095079fe5c5bde168a6ebf1"
url = "git+https://github.com/godunko/a0b-base.git"
+25
View File
@@ -0,0 +1,25 @@
name = "a0b_base"
description = "A0B: Base components"
website = "https://github.com/godunko/a0b-base"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[configuration.variables]
Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"}
[origin]
commit = "a7acf07031a63eb9d31d51f2bf28dab0799ab5c5"
url = "git+https://github.com/godunko/a0b-base.git"
@@ -0,0 +1,22 @@
name = "a0b_callbacks"
description = "A0B Callbacks"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["embedded", "callbacks"]
project-files = ["gnat/a0b_callbacks.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
[origin]
commit = "2087a3c368cee421e966b621f6e6b7534077a814"
url = "git+https://github.com/godunko/a0b-callbacks.git"
@@ -0,0 +1,23 @@
name = "a0b_callbacks"
description = "A0B Callbacks"
website = "https://github.com/godunko/a0b-callbacks"
version = "0.2.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "callbacks"]
project-files = ["gnat/a0b_callbacks.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
[origin]
commit = "aaca17d9134068f1d8e3ca2cda771a45d5577d14"
url = "git+https://github.com/godunko/a0b-callbacks.git"
+30
View File
@@ -0,0 +1,30 @@
name = "a0b_exti"
description = "A0B: EXTI API"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "exti"]
project-files = ["gnat/a0b_exti.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
a0b_callbacks = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "6090acf5a03d4b9dfc2bf7c9ccf4840e364d95d1"
url = "git+https://github.com/godunko/a0b-exti.git"
+29
View File
@@ -0,0 +1,29 @@
name = "a0b_gpio"
description = "A0B GIOP API"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["embedded", "gpio"]
project-files = ["gnat/a0b_gpio.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "011067c7f5fae261ec4b30e015b324b895e2948b"
url = "git+https://github.com/godunko/a0b-gpio.git"
+28
View File
@@ -0,0 +1,28 @@
name = "a0b_i2c"
description = "A0B I2C API"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "i2c"]
project-files = ["gnat/a0b_i2c.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
a0b_callbacks = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "67a3e9f5443bdaf500ce46beab1414c73ea4ed8e"
url = "git+https://github.com/godunko/a0b-i2c.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32f2_generic_exti"
description = "A0B: STM32F2+ Generic EXTI"
version = "0.1.0"
website = "https://github.com/godunko/a0b-stm32f2-generic_exti"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "exti"]
project-files = ["gnat/a0b_stm32f2_generic_exti.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_exti = "*"
a0b_stm32f2_generic_gpio = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "462715064e668a486d4ee4b09819f6f33709941b"
url = "git+https://github.com/godunko/a0b-stm32f2-generic_exti.git"
@@ -0,0 +1,29 @@
name = "a0b_stm32f2_generic_gpio"
description = "A0B: STM32F2+ Generic GPIO"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "gpio"]
project-files = ["gnat/a0b_stm32f2_generic_gpio.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_gpio = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "8f38aacb92d84b69bcc702b740bad5eeb366631b"
url = "git+https://github.com/godunko/a0b-stm32f2-generic_gpio.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32f401"
description = "A0B: STM32F401 base and SVD package"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_armv7m="*"
a0b_base = "*"
gnat_arm_elf="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "c9b0dbbe547baf12d2d06f483dbf4d64c6485ff3"
url = "git+https://github.com/godunko/a0b-stm32f401.git"
@@ -0,0 +1,30 @@
name = "a0b_stm32f401"
description = "A0B: STM32F401 base and SVD package"
version = "0.2.0"
website = "https://github.com/godunko/a0b-stm32f401"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_armv7m="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "290ce149a071aed877007bd7f6127556dd0e3da0"
url = "git+https://github.com/godunko/a0b-stm32f401.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32f401_dma"
description = "A0B: STM32F401 DMA"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "dma", "stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401_dma.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
a0b_callbacks = "*"
a0b_stm32f401 = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "12b38cb33dfd7646c152091a82c1173c3ffa0442"
url = "git+https://github.com/godunko/a0b-stm32f401-dma.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32f401_gpio"
description = "A0B: STM32F401 GPIO/EXTI"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32f401", "gpio", "exti"]
project-files = ["gnat/a0b_stm32f401_gpio.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_exti = "*"
a0b_gpio = "*"
a0b_stm32f401 = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "ebe3a94278642ecd18ae693a0517bf70ac28d76e"
url = "git+https://github.com/godunko/a0b-stm32f401-gpio.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32f401_i2c"
description = "A0B: STM32F401 I2C"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "i2c", "stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401_i2c.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_i2c = "*"
a0b_stm32f401_dma = "*"
a0b_stm32f401_gpio = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "1974923691493f57c9bdde889866c82cc01b5a5c"
url = "git+https://github.com/godunko/a0b-stm32f401-i2c.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32f401_tim11_timer"
description = "A0B: Timer based on STM32F401 TIM11"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "timer", "stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_timer_platform.gpr"]
provides = ["a0b_timer_platform=0.1.0"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
a0b_stm32f401 = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "ba04b148d16743bbf6b1f18e5c0586fa7cca2d9e"
url = "git+https://github.com/godunko/a0b-stm32f401-tim11_timer.git"
@@ -0,0 +1,30 @@
name = "a0b_stm32g4"
description = "A0B: STM32G4 base support"
version = "0.1.0"
website = "https://github.com/godunko/a0b-stm32g4"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32g4"]
project-files = ["gnat/a0b_stm32g4.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_armv7m="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "b78590b950a83ffaef2626d112dbf6979b99c80d"
url = "git+https://github.com/godunko/a0b-stm32g4.git"
@@ -0,0 +1,30 @@
name = "a0b_stm32g474"
description = "A0B: STM32G474 base support and SVD files"
version = "0.1.0"
website = "https://github.com/godunko/a0b-stm32g474"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32g4", "stm32g474"]
project-files = ["gnat/a0b_stm32g474.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_stm32g4 ="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "b5a23766903099f974120678719a8ba09355863f"
url = "git+https://github.com/godunko/a0b-stm32g474.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32g474_gpio"
description = "A0B: STM32G474 GPIO/EXTI"
version = "0.1.0"
website = "https://github.com/godunko/a0b-stm32g474-gpio"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "gpio", "exti", "stm32", "stm32g4", "stm32g474"]
project-files = ["gnat/a0b_stm32g474_gpio.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_stm32g4_gpio = "*"
a0b_stm32g474 = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "00017fb2e5b7904d8603017eb347b747df4acda4"
url = "git+https://github.com/godunko/a0b-stm32g474-gpio.git"
@@ -0,0 +1,30 @@
name = "a0b_stm32g4_gpio"
description = "A0B: STM32G4 GPIO"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32g4", "gpio", "exti"]
project-files = ["gnat/a0b_stm32g4_gpio.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_stm32f2_generic_exti = "*"
a0b_stm32g4 = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "2bc15160646b448fd070310dfd2110419ed86a73"
url = "git+https://github.com/godunko/a0b-stm32g4-gpio.git"
@@ -0,0 +1,31 @@
name = "a0b_stm32h723"
description = "STM32H723 base and SVD package"
website = "https://github.com/godunko/a0b-stm32h723"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_stm32h723.gpr"]
tags = ["a0b", "embedded", "svd", "stm32", "stm32h7", "stm32h723"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_armv7m = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "fa53524f934264edaed2ec5482ccb0bc8c8e83ab"
url = "git+https://github.com/godunko/a0b-stm32h723.git"
+23
View File
@@ -0,0 +1,23 @@
name = "a0b_time"
description = "A0B Monotonic Time"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "time"]
project-files = ["gnat/a0b_time.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
a0b_time_platform = "0.1.0"
[origin]
commit = "83e4276026a6a9e099920fc4ef6ec09a876c75ea"
url = "git+https://github.com/godunko/a0b-time.git"
+28
View File
@@ -0,0 +1,28 @@
name = "a0b_time"
description = "A0B Monotonic Time"
version = "0.2.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "time"]
project-files = ["gnat/a0b_time.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
a0b_time_platform = "0.1.0"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "fe82dcefa0416c4dce8d0b7ce71f9b04419d2fb5"
url = "git+https://github.com/godunko/a0b-time.git"
+25
View File
@@ -0,0 +1,25 @@
name = "a0b_timer"
description = "A0B Timer"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "timer"]
project-files = ["gnat/a0b_timer.gpr"]
[configuration]
disabled = true
[[depends-on]]
a0b_base = "*"
a0b_callbacks = "*"
a0b_time = "*"
a0b_timer_platform = "0.1.0"
[origin]
commit = "8fb913ab0f7a5d25ef511b7be96e3e909b5d2447"
url = "git+https://github.com/godunko/a0b-timer.git"
+36
View File
@@ -0,0 +1,36 @@
name = "aaa"
version = "0.3.0"
description = "Alex's Ada Assortment (of miscellaneous utilities)"
long-description = """
Alex's Ada Assortment of Utilities
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
"""
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["miscellanea", "utility"]
website = "https://github.com/mosteo/aaa"
[[actions]]
type = "test"
directory = "tests"
command = ["alr", "build"]
# [test]
# runner = "alire"
[origin]
commit = "7bfebd18eb1c9a7eb283ec1a8a05009449239c88"
subdir = "./aaa_base/"
url = "git+https://github.com/mosteo/aaa.git"
+25
View File
@@ -0,0 +1,25 @@
name = "aaa_texts"
description = "Utilities to deal with enriched human texts (ANSI, Unicode)"
version = "0.3.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
licenses = "LGPL-3.0-only"
website = "https://github.com/mosteo/aaa"
tags = ["unicode", "ansi", "console", "terminal", "tables"]
[[depends-on]]
aaa = "~0.3.0"
ansiada = "^1.1.0"
lml = "~0.1.0"
umwi = "~0.1.0"
# [test]
# runner = "alire"
[origin]
commit = "7bfebd18eb1c9a7eb283ec1a8a05009449239c88"
subdir = "./aaa_texts/"
url = "git+https://github.com/mosteo/aaa.git"
+27
View File
@@ -0,0 +1,27 @@
name = "ada_caser"
description = "Applies casing rules to Ada source code."
version = "0.1.0"
authors = ["Simon Wright"]
maintainers = ["Simon Wright <simon@pushface.org>"]
maintainers-logins = ["simonjwright"]
licenses = "Apache-2.0"
website = "https://github.com/simonjwright/ada_caser"
tags = ["ada", "source", "editor", "casing"]
executables = ["ada_caser"]
[[depends-on]]
gnatcoll = "^25.0.0"
libadalang = "^25.0.0"
langkit_support = "^25.0.0"
vss = "^25.0.0"
# exsytrawo decodes stack traces for macos.
[depends-on.'case(os)'.macos]
exsytrawo = "^1.2.0"
[origin]
commit = "ca30fd1328e91e9c07bbfa85265174c9ca9936ed"
url = "git+https://github.com/simonjwright/ada_caser.git"
@@ -0,0 +1,24 @@
name = "ada_gui"
description = "An Ada-oriented GUI"
version = "20240224"
authors = ["Jeff Carter"]
maintainers = ["Bent Bracke <bent@bracke.dk>"]
maintainers-logins = ["bracke"]
licenses = "BSD-3-Clause"
website = "https://github.com/bracke/Ada_GUI"
tags = ["gui","widgets","html"]
[build-switches]
"*".style_checks = "No"
[[depends-on]] # Avoid bug in GNAT 13
gnat = "<13.0 | >=13.3"
[[depends-on]]
simple_components = "^4.68.0"
[origin]
commit = "eaae4ffcf5b622d33b9e47c08cd174903b1cadab"
url = "git+https://github.com/bracke/Ada_GUI.git"
@@ -0,0 +1,59 @@
name = "ada_gui"
description = "An Ada-oriented GUI"
version = "20240224.0.1"
authors = ["Jeff Carter"]
maintainers = ["Bent Bracke <bent@bracke.dk>"]
maintainers-logins = ["bracke"]
licenses = "BSD-3-Clause"
website = "https://github.com/bracke/Ada_GUI"
tags = ["gui","widgets","html"]
long-description = """
# Ada_GUI
An Ada-oriented GUI
Traditionally, GUIs have been implemented by the client registering callback operations, then giving up its thread of control to the GUI. This is a hack to address the inherent parallelism of a GUI in sequential languages. It results in code that is unnecessarily difficult to understand.
In a concurrent language like Ada, a better design for a GUI is for the GUI to have its own task, so it doesn't require that its client give up a thread of control. GUI events are communicated to the client through a protected queue of events. The client software can be written in the clearest way possible, unconstrained by the GUI.
Ada_GUI is such a GUI.
The purpose of Ada_GUI is to provide the specification, in hopes that multiple implementations will be created. Note that some of the comments in the specification are specific to the sample implementation, and should be removed or modified for other implementations. Especially interesting would be an implementation that is not GNAT specific.
## Sample Implementation
A sample implementation of Ada_GUI is supplied, derived from Gnoga, but simplified, reorganized, and converted to put events on a protected queue rather than call callbacks. The name Gnoga has been retained for the name of the implementation hierarchy, located at Ada_GUI.Gnoga, in recognition. Those parts of Kazakov's Simple Components used by the implementation are provided as well, with some minor modifications. If you have your own version of the Simple Components, you may use it instead: Delete all Ada source files that do not begin with ada_gui.
The sample implementation is reasonably full-featured and useful. The implementation is more responsive than the former proof-of-concept directly on full Gnoga.
The Test directory contains boot.html, boot.js, and jquery.min.js. These files must be available to every Ada-GUI program. It also contains favicon.ico, an icon of Ada.
Show_All creates at least one of each widget. Visibility, playing audio, and responding to key-press events is demonstrated. Changing this program is the easiest way to experiment with the sample implementation. The audio file glass.ogg and image file rgb.jpg are used by Show_All.
Luhn_Gen calculates Luhn checksum digits. Enter the first 15 digits of your credit-card number and it will generate the 16th.
Random_Int is a Gnoga program that has been revised to use Ada GUI instead. It will generate random integers in a desired range.
## Installation of the Sample Implementation
Gnoga and the Simple Components require a recent GNAT compiler, so Ada_GUI cannot be compiled with another compiler. The file gnat.adc is needed to compile the Simple Components extensions to GNAT.Sockets. The use of gnatmake is recommended, as gprbuild is for mixed-language or complicated builds, which this is not. After compiling, it is recommended that you write-protect the .ali files. Typically, you can use a command such as
gnatmake -m -j0 -gnat12 -gnatan -gnato2 -O2 -fstack-check Test/show_all.adb
If you keep the Ada-GUI source files in a single directory, including the Simple Components source files, and have the compiler put the object and .ali files in that directory, then you need only add -I/path/to/Ada_GUI/ to your program's gnatmake command to use Ada_GUI.
"""
[build-switches]
"*".style_checks = "No"
[[depends-on]] # Avoid bug in GNAT 13
gnat = "<13.0 | >=13.3"
[[depends-on]]
simple_components = "^4.68.0"
[origin]
commit = "dc57a5593e7a1105458d23dfaf40aa4b13bf01d7"
url = "git+https://github.com/bracke/Ada_GUI.git"
@@ -0,0 +1,30 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "24.0.0"
website = "https://github.com/AdaCore/ada_language_server"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/lsp_server.gpr"]
tags = ["lsp", "vscode"]
[configuration]
disabled = true
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
gnatcoll = "24.0.0"
libadalang = "24.0.0"
libadalang_tools = "24.0.0"
libgnatdoc = "24.0.0"
liblal_refactor = "24.0.0"
vss = "24.0.0"
spawn = "24.0.1"
[origin]
archive-name = "ada_language_server-24.0.0.tar.gz"
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v24.0.0.tar.gz"
hashes = ["sha512:a8b6ee7c6cf4f50589400478809a7e6a8bf12650698a7dea0880029ad882ce8ff2389c4b744b43ed31aef8cd975dc8975e77a991d9900b1842690f29fe45b714"]
@@ -0,0 +1,32 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "25.0.0"
website = "https://github.com/AdaCore/ada_language_server"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/lsp_server.gpr"]
tags = ["lsp", "vscode"]
[configuration]
disabled = true
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
gnatcoll = "25.0.0"
libadalang = "25.0.0"
libadalang_tools = "25.0.0"
libgnatdoc = "25.0.0"
libgnatformat = "25.0.0"
liblal_refactor = "25.0.0"
prettier_ada = "25.0.0"
vss = "25.0.0"
spawn = "25.0.0"
[origin]
archive-name = "ada_language_server-25.0.0.tar.gz"
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v25.0.0.tar.gz"
hashes = ["sha512:72b68d6be46b8b9b6572f71b5c46ed6c53c218a0d40fb4531300a1014e62512ed19f86352dafaa86f83960d3d3c6c5d10d96e939674546cd94e782451cad89c9"]
+107
View File
@@ -0,0 +1,107 @@
description = "TOML parser for Ada"
name = "ada_toml"
version = "0.5.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
licenses = "BSD-3-Clause"
maintainers = ["pmderodat@kawie.fr"]
maintainers-logins = ["pmderodat"]
project-files = ["ada_toml.gpr"]
long-description = """
ada-toml: TOML parser for Ada
=============================
`ada-toml` is a pure Ada library for parsing and creating
[TOML](https://github.com/toml-lang/toml#toml) documents. It conforms to the
[version 1.0.0](https://toml.io/en/v1.0.0) of the format standard.
Quick tutorial
--------------
All basic types and subprograms are in the `TOML` package. All "nodes" in a
TOML documents are materialized using the `TOML.TOML_Value` type. Since TOML
values make up a tree, this type has reference semantics. This means that
modifying a TOML node does not modify the corresponding `TOML_Value` value
itself, but rather the TOML value that is referenced.
Parsing a TOML file is as easy as using the `TOML.File_IO.Load_File` function:
```ada
declare
Result : constant TOML.Read_Result :=
TOML.File_IO.Load_File ("config.toml");
begin
if Result.Success then
Ada.Text_IO.Put_Line ("config.toml loaded with success!");
else
Ada.Text_IO.Put_Line ("error while loading config.toml:");
Ada.Text_IO.Put_Line
(Ada.Strings.Unbounded.To_String (Result.Message));
end if;
end;
```
Each TOML value has kind, defining which data it contains (a boolean, an
integer, a string, a table, ...). To each kind, one or several primitives are
associated to let one process the underlying data:
```ada
case Result.Kind is
when TOML.TOML_Boolean =>
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Boolean'Image);
when TOML.TOML_Integer =>
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Integer'Image);
when TOML.TOML_String =>
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_String);
when TOML.TOML_Array =>
Ada.Text_IO.Put_Line ("Array of " & Result.Length & " elements");
when others =>
null;
end case;
```
There are also primitives to build TOML values:
```ada
declare
Bool : constant TOML.TOML_Value := TOML.Create_Boolean (False);
Int : constant TOML.TOML_Value := TOML.Create_Integer (10);
Str : constant TOML.TOML_Value := TOML.Create_String ("Hello, world");
Table : constant TOML.TOML_Value := TOML.Create_Table;
begin
Table.Set ("bool_field", Bool);
Table.Set ("int_field", Int);
Table.Set ("str_field", Str);
end;
```
And finally one can turn a tree of TOML nodes back in text form:
```ada
Ada.Text_IO.Put_Line ("TOML document:");
Ada.Text_IO.Put_Line (Table.Dump_As_String);
```
Contributing
------------
The development of `ada-toml` happens on
[GitHub](https://github.com/pmderodat/ada-toml). Everyone is welcome to
contribute to this project: please read our [contribution
rules](https://github.com/pmderodat/ada-toml/tree/master/CONTRIBUTING.rst) if
you consider doing so.
"""
[gpr-externals]
ADA_TOML_BUILD_MODE = ["dev", "prod"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[origin]
url = "https://github.com/pmderodat/ada-toml/archive/v0.5.tar.gz"
hashes = ["sha512:33dcb0dddc8023fb3e7893d8c0790e6e30fbb007456dcc327ac0e2b64c20a4d67852c905f176d5e9ab62b5754f571e5d53b82f27d5f86e962ddb6b37949a5410"]
+22
View File
@@ -0,0 +1,22 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.9.0"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]]
utilada_curl = "^2.5.0"
[[depends-on]]
json = "^5.0.3"
[origin]
commit = "14ac73038354fe6aaa5aaa1bf53cceac4d49eefd"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
+23
View File
@@ -0,0 +1,23 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "2.0.0"
website = "adabots.net"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]]
utilada_curl = "^2.5.0"
[[depends-on]]
json = "^5.0.3"
[origin]
commit = "bcc39bed3978c8f39624c7a0b3dbbbed005097bd"
url = "git+https://github.com/TamaMcGlinn/adabots.git"
+65
View File
@@ -0,0 +1,65 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser
* String utilities
* Trace utility
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for float types
* generic for vector types
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "5.16.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
development.runtime_checks = "Overflow"
release.runtime_checks = "Default"
validation.runtime_checks = "Everything"
development.contracts = "Yes"
release.contracts = "No"
validation.contracts = "Yes"
[[depends-on]]
gnat_native = "^14.2"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:efafbf03188c21a23d5342a636c987e043502475492e5f3d6f8a283e30513878",
"sha512:283e24530899218bcc73aa0cd11e6139972ddd958784529019a4c7886b36711f71ebce0ae37f58a823ca321db30a20b50754e578207de77f8ae7e707d3a0b928",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.16.0.tgz"
+65
View File
@@ -0,0 +1,65 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser
* String utilities
* Trace utility
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for float types
* generic for vector types
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "5.16.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
development.runtime_checks = "Overflow"
release.runtime_checks = "Default"
validation.runtime_checks = "Everything"
development.contracts = "Yes"
release.contracts = "No"
validation.contracts = "Yes"
[[depends-on]]
gnat_native = "^14.2"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:5d12aabe67b78c7dee0d9066e4be8175cb8c0a919b80a0a71be512eb7ebdd73e",
"sha512:44da40822cfa63e8d62999ae3881a5c474ca820fb7a184383ddbc81a32eb87fc3ec8b89f6a2d5ea06324205c793d56b51f4370c6a62387c99f3cc3aeb9985f6e",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.16.1.tgz"
+73
View File
@@ -0,0 +1,73 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Trace utility - with wide character support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
aunit = "24.0.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:efd190e25b6b60d460ff4b5553f0eb96037d8065fad20fd1066806e2eaafeeda",
"sha512:a0735f2e5823bdbbdb930026730027fa89fe777bdd1201016e5b8400210af8575f5f4266459904c1e597bdf5cd8158f7747adfa99154d8e6bd2ca7d17e6ac911",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.0.0.tgz"
+74
View File
@@ -0,0 +1,74 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
aunit = "24.0.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:474019fd958355a9abe6a9e2e251f34e0200ab4027168961ff6b756527caa260",
"sha512:c421608dff00950fc644fae709ba7004f27eed5106cdc17a2eb17527e093debec76c351df1ba10e527c6c1b6234e6390e39aaddda1bfc723589c02ff8080e6b4",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.1.0.tgz"
+74
View File
@@ -0,0 +1,74 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.1.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
aunit = "24.0.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:9615232cee3b51857fb505b6d82dc225199f33b7993a6b021c03c514bd0bbdc6",
"sha512:3b9e4effd9a4b66c017b884b9225f12c756a3ce67cbb5cac8daf9aeec59b29c2867a5cbc1fd4d8b327685074d098ce80d7057602db79970ee6ab69c3041f887a",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.1.1.tgz"
+75
View File
@@ -0,0 +1,75 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* Protected queue - with finish, wait for finish and abort support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
aunit = "24.0.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:77fc9a8cc2eedb4cced8551fe7e22ab5b265dcdbc951116ad8b917430e721e42",
"sha512:b99a6d5b8fd8c0628a8b4d553df2e33d8bb5019a92c79335ffacbf721c29d8eb2fc8ba3a326f06b09027c8fb0e0f762b21fb142d2ff1506f7306f1c57c3dfe41",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.0.tgz"
@@ -0,0 +1,53 @@
name = "adacl_eastrings"
description = "Ada Class Library - EAStrings"
long-description = """A class library for Ada for those who like OO programming.
Encoding aware strings.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.1.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
adacl = "6.1.1"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:e075ab39076f6524137a8f18966672990bbeaeed3c2d606d0224fea4d4e88b03",
"sha512:2d21e698922f3204ee5285b47bf4fbf604fe46d176879204ad29f32304595e08b4540444bf1725cd83b091bbfea124c556c9064e5cc50c8833bc4ce7aa6b5f6e",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.1.1.tgz"
@@ -0,0 +1,53 @@
name = "adacl_eastrings"
description = "Ada Class Library - EAStrings"
long-description = """A class library for Ada for those who like OO programming.
Encoding aware strings.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
adacl = "^6.1.1"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:7d32d817834417050cae64aefc8a3f394004ff47bf47469b46d3519dd111e569",
"sha512:7ed506c843374878d4a38d0a43639db498d6ee65f3e59025b1b12baa26376d3cbb27135550efbf2301bcf341384bd3d4f560ff395b4906daf9b1ba874330db59",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.0.tgz"
@@ -0,0 +1,54 @@
name = "adacl_regexp"
description = "Ada Class Library - Regular Expressions"
long-description = """A class library for Ada for those who like OO programming.
Regular expression for String, Wide_String and Wide_Wide_Strings using a
generic implementation that could be used for any array of descreete elements.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
adacl = "6.2.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:338a86dab6cfe6a49c7b3fffa1af040a9afd7903ce6e7d2f95165e7ee8d9e395",
"sha512:771faabd888f90bcea85209c87613c1081a3f10fb0a7f4fff37dbece4c76a991084c1fb00b47d87b5a9c2dae06e5e5a5140f5b5431b182ed7f977505f9e63644",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.0.tgz"
@@ -0,0 +1,54 @@
name = "adacl_regexp"
description = "Ada Class Library - Regular Expressions"
long-description = """A class library for Ada for those who like OO programming.
Regular expression for String, Wide_String and Wide_Wide_Strings using a
generic implementation that could be used for any array of descreete elements.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
adacl = "6.2.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:d25d08b193d4e5f93b2c67c39dd54dfaccc24eb4a0bdb92466a5e8a3d40d4721",
"sha512:427e5ab1c579b63b822d81e55a3e25c0a3106a9406d3981e5cf19ffeb83854632e2b7b6418cdc39ad258ef0e064be2b925a348282fedb6c39c2e53129749458d",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.1.tgz"
+28
View File
@@ -0,0 +1,28 @@
name = "adagl_gtk3"
description = "OpenGL/Gtk3 binding"
version = "0.0.1"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
website = "https://github.com/godunko/adagl"
tags = ["opengl", "gtk"]
project-files = ["../gnat/adagl_gtk3.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
gnat = ">=14" # VSS 25.0.0 limits compiler to be >=11, but only 14 support necessary language features
gtkada = "*"
vss = "*"
[origin]
commit = "4faa8fd31ab0614269e10b40a9c82cebb3d14b0f"
subdir = "./adagl_gtk3/"
url = "git+https://github.com/godunko/adagl.git"
@@ -0,0 +1,38 @@
name = "adare_dilithium5"
description = "Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind."
version = "0.2.3"
authors = ["Daniel Norte de Moraes"]
maintainers = ["Daniel Norte de Moraes <danieagle@zohomail.com>"]
maintainers-logins = ["danieagle"]
long-description = """
Dilithium is a digital signature scheme that is strongly secure under
chosen message attacks based on the hardness of lattice problems
over module lattices. The security notion means that an adversary
having access to a signing oracle cannot produce a signature of a
message whose signature he hasn't yet seen, nor produce a different
signature of a message that he already saw signed. Dilithium is one
of the candidate algorithms submitted to the
NIST post-quantum cryptography project.
Adare_Dilithium5 is a Ada 2012 bind to Dilithium5 C.
(C version at https://github.com/PQClean/PQClean)
How a Bonus all Ada packages in this lib is "Ada Pure"! :-)
"""
licenses = "Unlicense"
tags = ["signature", "pqc"]
website = ""
[build-switches]
"*".Ada_Version = "Ada12"
"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"]
[origin]
commit = "48a77cb59ddc827ce785553e4a5307b31389ffa4"
url = "git+https://github.com/danieagle/adare_dilithium5.git"
@@ -0,0 +1,36 @@
name = "adare_hqc256"
description = "Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind."
version = "0.2.3"
authors = ["Daniel Norte de Moraes"]
maintainers = ["Daniel Norte de Moraes <danieagle@zohomail.com>"]
maintainers-logins = ["danieagle"]
long-description = """
HQC (Hamming Quasi-Cyclic) is a code-based public key encryption scheme
designed to provide security against attacks by
both classical and quantum computers. HQC has been submitted
to the NIST's Post-Quantum Cryptography Standardization Project.
Adare_HQC256 is a Ada 2012 bind to HQC-256 C.
Adare_HQC256 has a 512 bits Shared Secret size.
(C version at https://github.com/PQClean/PQClean)
How a Bonus all Ada packages in this lib is "Ada Pure"! :-)
"""
licenses = "Unlicense"
tags = ["kem", "pqc", "ss512bits"]
website = ""
[build-switches]
"*".Ada_Version = "Ada12"
"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"]
[origin]
commit = "bbba67491702dff110606508f1832140f049381f"
url = "git+https://github.com/danieagle/adare_hqc256.git"
+24
View File
@@ -0,0 +1,24 @@
name = "adasat"
description = "Implementation of a DPLL-based SAT solver in Ada."
long-description = """
Main features:
- [X] Conflict analysis and backjumping
- [X] Two-watched literals scheme
- [X] Built-in support for At-Most-One constraints
- [X] Custom theories
"""
version = "25.0.0"
website = "https://github.com/AdaCore/adasat"
authors = ["AdaCore"]
licenses = "Apache-2.0 WITH LLVM-exception"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["chouteau", "roldak"]
tags = ["sat", "solver", "theories"]
[configuration]
disabled = true
[origin]
url="https://github.com/adacore/AdaSAT/archive/v25.0.0/AdaSAT-25.0.0.zip"
hashes=['sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258']
+61
View File
@@ -0,0 +1,61 @@
description = "Ada Database Objects (Core library)"
tags = ["database", "uml", "sql"]
name = "ado"
version = "2.4.1"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
Ada Database Objects is an Ada05 library that provides
object relational mapping to access a database in Ada05.
The library supports Postgresql, MySQL, SQLite as databases.
Most of the concepts developped for ADO come from the Java Hibernate ORM.
The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
for the implementation. It provides a database driver for [Postgresql](https://www.postgresql.org/),
[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/). The ORM helps your
application by providing a mapping of your database tables directly in the target programming
language: Ada05 in our case. The development process is the following:
* You design your database model either using a UML tool or by writing a YAML or XML description,
* You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
* You generate the SQL database tables by using the same tool,
* You write your application on top of the generated code that gives you direct and simplified access to your database.
![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
You need at least one of these databases (or all of then). The configure script will now
fail if no supported database was found. Check the [Database Drivers](#database-drivers)
section to install them and run the configure again after the installation.
# Documentation
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
* [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
"""
[[depends-on]]
utilada = "^2.6.0"
utilada_xml = "^2.6.0"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+42
View File
@@ -0,0 +1,42 @@
description = "Ada Database Objects (Mysql)"
tags = ["database", "uml", "sql", "mysql", "mariadb"]
name = "ado_mysql"
version = "2.4.1"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_mysql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the MySQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.4.0"
libmariadb = "*"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[[actions]]
type = "pre-build"
command = ["sh", "./alire-setup.sh"]
[origin]
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
subdir = "./mysql/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
@@ -0,0 +1,38 @@
description = "Ada Database Objects (PostgreSQL)"
tags = ["database", "uml", "sql", "postgresql"]
name = "ado_postgresql"
version = "2.4.1"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_postgresql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the PostgreSQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.4.0"
libpq = "*"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
subdir = "./postgresql/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+38
View File
@@ -0,0 +1,38 @@
description = "Ada Database Objects (SQLite)"
tags = ["database", "uml", "sql", "sqlite"]
name = "ado_sqlite"
version = "2.4.1"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_sqlite.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the SQLite driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.4.0"
libsqlite3 = "any"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
subdir = "./sqlite/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+95
View File
@@ -0,0 +1,95 @@
description = "Ada Keystore Tool"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
# Overview
AKT is a tool to store and protect your sensitive information and documents by
encrypting them in secure keystore (AES-256, HMAC-256).
Create the keystore and protect it with a gpg public key:
```
akt create secure.akt --gpg <keyid> ...
```
Store a small content:
```
akt set secure.akt bank.password 012345
```
Store files, directory or a tar file:
```
akt store secure.akt notes.txt
akt store secure.akt contract.doc
akt store secure.akt directory
tar czf - . | akt store secure.akt -- backup
```
Edit a content with your $EDITOR:
```
akt edit secure.akt bank.password
akt edit secure.akt notes.txt
```
Get a content:
```
akt get secure.akt bank.password
akt extract secure.akt contract.doc
akt extract secure.akt -- backup | tar xzf -
```
## Documents
* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
"""
name = "akt"
version = "1.4.1"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
tags = ["security", "storage", "nosql"]
website = "https://gitlab.com/stcarrez/ada-keystore"
[project-files.'case(os)']
linux = ["akt_fuse.gpr"]
macos = ["akt_nofuse.gpr"]
windows = ["akt_nofuse.gpr"]
'...' = ["akt_nofuse.gpr"]
[[actions]]
type = "post-fetch"
command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.4.1\"",
"src/akt-configs.gpb",
"src/akt-configs.ads"
]
[[depends-on]]
utilada = "^2.6.0"
keystoreada = "^1.4.0"
intl = "^1.0.1"
[depends-on.'case(os)'.linux]
ada_fuse = "*"
[gpr-externals]
KEYSTORE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
MANPATH.prepend = "${CRATE_ROOT}/man"
[origin]
commit = "1b5f25019cb41dbd897ddc4bd95b493fca7cc565"
subdir = "./akt/"
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
@@ -0,0 +1,57 @@
name = "alr2appimage"
description = "Tool to create an AppImage executable from an Alire crate"
version = "1.0.0"
website = "https://github.com/mgrojo/alr2appimage"
long-description = """
There are two prerequisites for your project to work with this tool:
- It has to be an Alire crate with an `executables` field. Its first value
has to be the main application program. Otherwise, the executable program
can be specified on the command line.
- It must be installable using Alire, including all the needed resources.
`alr2appimage` will use the following command for installing it (this requires Alire 2.0):
```shell
alr install
```
Or it will run `gprinstall` inside `alr exec`, if the former fails (Alire 1.x).
If you simply run the tool inside an Alire crate, it will read the
metadata from your `alire.toml` file and create a default AppImage
from it.
NOTE: `alr2appimage` is an independent project; it is not
affiliated to, nor supported by, the Alire or AppImage projects.
"""
licenses = "GPL-3.0-only"
tags = ["utility", "appimage", "alire", "linux", "packaging"]
authors = ["Manuel Gomez"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
maintainers-logins = ["mgrojo"]
executables = ["alr2appimage"]
[[depends-on]]
ada_toml = "^0.3.0"
[[depends-on]]
spoon = "^1.0.1"
[[depends-on]]
parse_args = "~0.9.0"
[[depends-on]]
resources = "~0.1.0"
[available.'case(os)']
'linux' = true
'...' = false
[build-switches]
"*".style_checks = ["-gnaty3abBCrfklM99nptx"]
[origin]
commit = "19b5459f5b5553d6b861746eacd19e434fb0e146"
url = "git+https://github.com/mgrojo/alr2appimage"
+15
View File
@@ -0,0 +1,15 @@
name = "ansiada"
description = "ANSI escape sequences"
version = "1.1.0"
licenses = "MIT"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
tags = ["ansi", "terminal", "escape"]
[origin]
commit = "405f110b571d0a9abba465aa6b933d2a7a7634bf"
url = "git+https://github.com/mosteo/ansi-ada.git"
+27
View File
@@ -0,0 +1,27 @@
name = "aoa_22"
description = "Advent of Ada 22 Solutions"
version = "20220720"
authors = ["Jeff Carter"]
maintainers = ["Bent Bracke <bent@bracke.dk>"]
maintainers-logins = ["bracke"]
licenses = "BSD-3-Clause"
website = "https://github.com/bracke/AoA_22"
tags = ["adventofada", "2022"]
executables = ["aoa_22","day01_2","day02_2","day03_2","day04_2","day05_2","day06_2","day08_2","day09_2","day10_2","day11_2","day14_2","day01_1","day02_1","day03_1","day04_1","day05_1","day06_1","day08_1","day09_1","day10_1","day11_1","day14_1","day15_1"]
[build-switches]
"*".style_checks = "No"
"*".ada_version = "Ada12"
[[depends-on]] # Avoid bug in GNAT 13
gnat = "<13.0 | >=13.3"
[[depends-on]]
pragmarc = "^20240323.0.0"
[origin]
commit = "6d9ebd7195e134dbece445ca7eecd1c66fdc1775"
url = "git+https://github.com/bracke/AoA_22.git"
+27
View File
@@ -0,0 +1,27 @@
name = "aoa_23"
description = "Some Advent of Ada 2023 solutions"
version = "20230119"
authors = ["Jeff Carter"]
maintainers = ["Bent Bracke <bent@bracke.dk>"]
maintainers-logins = ["bracke"]
licenses = "BSD-3-Clause"
website = "https://github.com/bracke/AoA_23"
tags = ["2023"]
executables = ["aoa_01_1","aoa_02_2","aoa_04_1","aoa_06_1","aoa_07_1","aoa_09_1","aoa_10_1","aoa_11_2","aoa_13_1","aoa_15_1","aoa_16_1","aoa_19_1","aoa_23_1","aoa_02_1","aoa_03_1","aoa_05_1","aoa_06_2","aoa_08_1","aoa_09_2","aoa_11_1","aoa_12_1","aoa_14_1","aoa_15_2","aoa_18_1","aoa_20_1","aoa_23"]
[build-switches]
"*".style_checks = "No"
"*".ada_version = "Ada12"
[[depends-on]] # Avoid bug in GNAT 13
gnat = "<13.0 | >=13.3"
[[depends-on]]
pragmarc = "^20240323.0.0"
[origin]
commit = "38d1c7e521a9abb8c3f4269f689e00f35fe81362"
url = "git+https://github.com/bracke/AoA_23.git"
+55
View File
@@ -0,0 +1,55 @@
description = "Portable package for producing dynamically PDF documents"
name = "apdf"
version = "7.0.0"
authors = ["Gautier de Montmollin"]
website = "https://apdf.sourceforge.io/"
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_gnat_w_gid.gpr"]
executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
tags = ["pdf", "adobe"]
long-description = """
**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics.
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_parcel_m.png "Screenshot of a page produced by PDF_Out")
* Ideal for the dynamic production of reports, invoices, tickets, charts, maps etc.
* Vector graphics
* Inclusion of JPEG images
* Object oriented
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later language versions
* Free, open-source
The creation of a PDF file is as simple as this small procedure:
```ada
with PDF_Out;
procedure Small_Demo is
pdf : PDF_Out.PDF_Out_File;
begin
pdf.Create ("small.pdf");
pdf.Put_Line ("This is a very small demo for PDF_Out...");
pdf.Close;
end Small_Demo;
```
"""
[gpr-externals]
PDF_Build_Mode = ["Debug", "Fast"]
[[depends-on]]
gid = ">=9.0.0"
[origin]
url = "https://sourceforge.net/projects/apdf/files/apdf_007.zip"
hashes = ["sha512:11c5d525f3e77d88f673dc8921af4304f33188c0ca54c3ab3da3013212d48027019f31b935933aeaad8d40ead76a3711f8ed491810e63f546e1f550e15cfb7ea"]
+55
View File
@@ -0,0 +1,55 @@
description = "Portable package for producing dynamically PDF documents"
name = "apdf"
version = "8.0.0"
authors = ["Gautier de Montmollin"]
website = "https://github.com/zertovitch/ada-pdf-writer"
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_w_gid.gpr"]
executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
tags = ["pdf", "adobe", "acrobat"]
long-description = """
**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics.
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_delivery_m.png "Screenshot of a page produced by PDF_Out")
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_sowebio_m.jpg "Screenshot of a report produced by PDF_Out")
* Ideal for the dynamic production of reports, invoices, tickets, labels, delivery notes, charts, maps etc.
* Vector graphics
* Inclusion of JPEG images
* Object oriented
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Unconditionally portable code: OS-, CPU-, compiler- independent code
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later language versions
* *Free*, open-source
The creation of a PDF file is as simple as this small procedure:
```ada
with PDF_Out;
procedure Small_Demo is
pdf : PDF_Out.PDF_Out_File;
begin
pdf.Create ("small.pdf");
pdf.Put_Line ("This is a very small demo for PDF_Out...");
pdf.Close;
end Small_Demo;
```
"""
[gpr-externals]
PDF_Build_Mode = ["Debug", "Fast"]
[[depends-on]]
gid = ">=13.0.1"
[origin]
url = "https://sourceforge.net/projects/apdf/files/apdf_008.zip"
hashes = ["sha512:7dddb047dc67854f9c0879715704f66dda3ea19c31bf4f81f5de91b72a9367720d3f170131ea61e380acffc5a2f0d3bcb0d2bf31ffb8376173be293514851d1c"]
+91
View File
@@ -0,0 +1,91 @@
description = "Advanced Resource Embedder"
name = "are"
version = "1.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["are_tool.gpr"]
tags = ["resource", "embedder", "generator"]
website = "https://gitlab.com/stcarrez/resource-embedder"
executables = ["are"]
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
files that contain the original files.
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
```
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
```
Complex resource integrations are best described with and XML and are generated with:
```
are --lang=Ada -o src --rule=package.xml --name-access .
```
For Ada, it generates the following package declaration with the `Get_Content` function
that gives access to the files. The Ada body contains the content of each embedded file.
```Ada
package Config is
function Get_Content (Name : in String)
return access constant String;
end Config;
```
"""
[available.'case(os)']
linux = true
windows = true
macos = true
'...' = false
[[depends-on]]
xmlada = "~23.0.0"
utilada = "^2.6.0"
elada = "^1.8.6"
[gpr-externals]
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
[gpr-set-externals]
ARE_BUILD = "distrib"
ARE_SWITCH = "HAS_CALLBACK"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
UTIL_OS = "linux32"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
UTIL_OS = "linux64"
[gpr-set-externals."case(os)".macos]
UTIL_OS = "macos64"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
UTIL_OS = "win32"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
UTIL_OS = "win64"
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
MANPATH.prepend = "${CRATE_ROOT}/man"
[origin]
commit = "492468e6cc293a393949ac800ce0ba76d6e899b0"
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
+91
View File
@@ -0,0 +1,91 @@
description = "Advanced Resource Embedder"
name = "are"
version = "1.5.1"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["are_tool.gpr"]
tags = ["resource", "embedder", "generator"]
website = "https://gitlab.com/stcarrez/resource-embedder"
executables = ["are"]
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
files that contain the original files.
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
```
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
```
Complex resource integrations are best described with and XML and are generated with:
```
are --lang=Ada -o src --rule=package.xml --name-access .
```
For Ada, it generates the following package declaration with the `Get_Content` function
that gives access to the files. The Ada body contains the content of each embedded file.
```Ada
package Config is
function Get_Content (Name : in String)
return access constant String;
end Config;
```
"""
[available.'case(os)']
linux = true
windows = true
macos = true
'...' = false
[[depends-on]]
xmlada = "^23.0.0"
utilada = "^2.6.0"
elada = "^1.8.6"
[gpr-externals]
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
[gpr-set-externals]
ARE_BUILD = "distrib"
ARE_SWITCH = "HAS_CALLBACK"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
UTIL_OS = "linux32"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
UTIL_OS = "linux64"
[gpr-set-externals."case(os)".macos]
UTIL_OS = "macos64"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
UTIL_OS = "win32"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
UTIL_OS = "win64"
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
MANPATH.prepend = "${CRATE_ROOT}/man"
[origin]
commit = "a029ed06a8227b51b79253c1cb49b26d83c7c262"
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
+39
View File
@@ -0,0 +1,39 @@
name = "asfml"
description = "Ada binding to SFML, the Simple and Fast Multimedia Library"
version = "2.6.1"
long-description = """
[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org)
![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg)
[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)
[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada)
ASFML is an Ada semi-thick binding to the
[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
portable defined types which eliminates the inclusion of Ada interface
libraries, but most of the functions are directly imported.
# Documentation
Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
with some changes and additions for ease of use.
Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
"""
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
maintainers-logins = ["mgrojo"]
licenses = "custom-zlib-acknowledgement"
website = "https://mgrojo.github.io/ASFML/"
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
[[depends-on]]
libcsfml = "^2.6.1"
[origin]
commit = "52ca4a2bb983b73af2e6e1251c9c82ece94499e2"
url = "git+https://github.com/mgrojo/ASFML.git"
+19
View File
@@ -0,0 +1,19 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "1.0.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m", "rp2040_spinlock"], default = "Intrinsic"}
RP2040_Spinlock_ID = {type = "Integer", first = 0, last = 31, default = 31 }
[origin]
commit = "de36e4a83a15f8b158c0d390a343c5da80499894"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+20
View File
@@ -0,0 +1,20 @@
description = "Ada unit test framework"
name = "aunit"
version = "25.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[configuration]
disabled = true
[gpr-externals]
AUNIT_BUILD_MODE = ["Devel", "Install"]
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
[origin]
url="https://github.com/adacore/aunit/archive/v25.0.0/aunit-25.0.0.zip"
hashes=['sha512:3882c581a7a9d3c592cae44f683bb4c4d341135359ca8895d2f6c9eff8a083f9147b9d0f8f7201ed677f32ac67bea47477529d839731b56f07bbcce68c514191']
+90
View File
@@ -0,0 +1,90 @@
description = "Ada Web Application"
name = "awa"
version = "2.5.0"
tags = ["web", "users", "jobs", "wiki", "framework", "storage", "blog"]
website = "https://gitlab.com/stcarrez/ada-awa"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-util/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-util/badge/?version=latest)](https://ada-util.readthedocs.io/en/latest/?badge=latest)
Ada Web Application is a framework to build a Web Application in Ada 2012.
The framework provides several ready to use and extendable modules that are common
to many web application. This includes the login, authentication, users, permissions,
managing comments, tags, votes, documents, images. It provides a complete blog,
question and answers and a wiki module.
AWA simplifies the Web Application development by taking care of user management with
Google+, Facebook authentication and by providing the foundations on top of which you
can construct your own application. AWA provides a powerful permission management
that gives flexibility to applications to grant access and protect your user's resources.
![AWA Features](https://github.com/stcarrez/ada-awa/wiki/images/awa-features.png)
# Documentation
The Ada Web Application programmer's guide describes how to setup the framework,
how you can setup and design your first web application with it,
and it provides detailed description of AWA components:
* [Ada Web Application programmer's guide](https://ada-awa.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-awa/blob/master/awa/docs/awa-book.pdf)
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
* [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/)
* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)
"""
project-files = [
".alire/awa_blogs.gpr", ".alire/awa.gpr", ".alire/awa_settings.gpr", ".alire/awa_wikis.gpr",
".alire/awa_changelogs.gpr", ".alire/awa_images.gpr", ".alire/awa_setup.gpr", ".alire/awa_workspaces.gpr",
".alire/awa_comments.gpr", ".alire/awa_jobs.gpr", ".alire/awa_storages.gpr",
".alire/awa_counters.gpr", ".alire/awa_mail.gpr", ".alire/awa_tags.gpr",
".alire/awa_countries.gpr", ".alire/awa_questions.gpr", ".alire/awa_votes.gpr"
]
[available.'case(os)']
linux = true
freebsd = true
windows = false
macos = false
'...' = false
[[depends-on]]
utilada = "^2.6.0"
utilada_xml = "^2.6.0"
ado = "^2.4.0"
wikiada = "^1.4.1"
elada = "^1.8.6"
security = "^1.5.0"
serverfaces = "^1.6.0"
servletada = "^1.7.0"
keystoreada = "^1.4.0"
aws = "~24.0"
[[actions]]
type = "post-fetch"
command = ["sh", "./alire-setup.sh"]
[gpr-externals]
AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
AWA_AWS_IMPL = ["none", "1", "2", "3", "4"]
[gpr-set-externals]
AWA_AWS_IMPL = "4"
[environment]
DYNAMO_SEARCH_PATH.prepend = "${CRATE_ROOT}/awa/plugins"
DYNAMO_UML_PATH.prepend = "${CRATE_ROOT}/awa/uml"
[origin]
commit = "e34bd6db1a23d6f47214d7001b3c0ce55a7cf54f"
url = "git+https://github.com/stcarrez/ada-awa.git"
+55
View File
@@ -0,0 +1,55 @@
description = "Ada Web Application (Testing framework)"
name = "awa_unit"
version = "2.5.0"
tags = ["web", "users", "jobs", "framework", "testing"]
website = "https://gitlab.com/stcarrez/ada-awa"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-util/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-util/badge/?version=latest)](https://ada-util.readthedocs.io/en/latest/?badge=latest)
Ada Web Application is a framework to build a Web Application in Ada 2012.
The framework provides several ready to use and extendable modules that are common
to many web application. This includes the login, authentication, users, permissions,
managing comments, tags, votes, documents, images. It provides a complete blog,
question and answers and a wiki module.
This library provides a testing framework on top of AWA top help implementing
unit tests for AWA applications.
# Documentation
The Ada Web Application programmer's guide describes how to setup the framework,
how you can setup and design your first web application with it,
and it provides detailed description of AWA components:
* [Ada Web Application programmer's guide](https://ada-awa.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-awa/blob/master/awa/docs/awa-book.pdf)
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
* [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/)
* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)
"""
project-files = ["awa_unit.gpr"]
[[depends-on]]
awa = "^2.5.0"
serverfaces_unit = "^1.6.0"
servletada_unit = "^1.7.0"
[gpr-externals]
AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[origin]
commit = "e34bd6db1a23d6f47214d7001b3c0ce55a7cf54f"
subdir = "./.alire/unit/"
url = "git+https://github.com/stcarrez/ada-awa.git"
+58
View File
@@ -0,0 +1,58 @@
description = "AZip - A portable Zip Archive Manager"
name = "azip"
version = "2.6.2"
authors = ["Gautier de Montmollin"]
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch"]
website = "https://azip.sourceforge.io/"
licenses = "MIT"
tags = ["application", "azip", "zip", "archive", "file-manager"]
long-description = """
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip_recomp.png" ><img src="https://azip.sourceforge.io/azip_recomp_mini.png" alt="azip screenshot 1" width="auto" height="140"></a>
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip%20014%20overview.png" ><img src="https://azip.sourceforge.io/azip%20014%20overview%20mini.png" alt="azip screenshot 2" width="auto" height="140"></a>
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip_columns_anim_354_KiB.gif"><img src="https://azip.sourceforge.io/azip_columns_anim_175px.gif" alt="azip screenshot 3" width="auto" height="140"></a>
**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression.
Features:
* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions:
* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written!
* Smart archive Updater: changes only new, modified files
* Archive Recompression: makes Zip archives smaller
* Easy toggle from Flat view to Tree view, and back
* Multi-document
* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA
* Encryption
* Portable (no installation needed, no DLL)
* Can operate with a config file instead of the registry (stealth mode)
* Installable if desired (application is its own installer)
* Compatible with other Zip archivers, regardless of the Operating System
* **Free**, Open-Source
"""
project-files = ["gwindows/azip_gw_project_tree.gpr"]
executables = ["azip"]
[available.'case(os)']
windows = true
'...' = false
[gpr-externals]
AZip_Build_Mode = ["Debug", "Fast", "Small"]
[gpr-set-externals]
AZip_Build_Mode = "Fast"
Zip_Build_Mode = "Fast"
[[depends-on]]
ini_files = ">=11.0.0"
[[depends-on]]
gwindows = ">=1.4.3"
[[depends-on]]
zipada = ">=59.0.0"
[origin]
url = "https://sourceforge.net/projects/azip/files/azip-src-2.6.2.zip"
hashes = ["sha512:8516998ea2ec24ec5c76992fd31ab1bd7c10958e534705989d56f77eef152454f95cef5d97aa490a8730a0afed5b53ad52cbc946bdffd647268d9a75372212ec"]
+58
View File
@@ -0,0 +1,58 @@
description = "AZip - A portable Zip Archive Manager"
name = "azip"
version = "2.7.0"
authors = ["Gautier de Montmollin"]
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch"]
website = "https://azip.sourceforge.io/"
licenses = "MIT"
tags = ["application", "azip", "zip", "archive", "file-manager"]
long-description = """
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip_recomp.png" ><img src="https://azip.sourceforge.io/azip_recomp_mini.png" alt="azip screenshot 1" width="auto" height="140"></a>
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip%20014%20overview.png" ><img src="https://azip.sourceforge.io/azip%20014%20overview%20mini.png" alt="azip screenshot 2" width="auto" height="140"></a>
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip_columns_anim_354_KiB.gif"><img src="https://azip.sourceforge.io/azip_columns_anim_175px.gif" alt="azip screenshot 3" width="auto" height="140"></a>
**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression.
Features:
* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions:
* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written!
* Smart archive Updater: changes only new, modified files
* Archive Recompression: makes Zip archives smaller
* Easy toggle from Flat view to Tree view, and back
* Multi-document
* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA
* Encryption
* Portable (no installation needed, no DLL)
* Can operate with a config file instead of the registry (stealth mode)
* Installable if desired (application is its own installer)
* Compatible with other Zip archivers, regardless of the Operating System
* **Free**, Open-Source
"""
project-files = ["gwindows/azip_gw_project_tree.gpr"]
executables = ["azip"]
[available.'case(os)']
windows = true
'...' = false
[gpr-externals]
AZip_Build_Mode = ["Debug", "Fast", "Small"]
[gpr-set-externals]
AZip_Build_Mode = "Small"
Zip_Build_Mode = "Small"
[[depends-on]]
ini_files = ">=11.0.0"
[[depends-on]]
gwindows = ">=1.4.3"
[[depends-on]]
zipada = ">=59.0.0"
[origin]
url = "https://sourceforge.net/projects/azip/files/azip-src-2.7.0.zip"
hashes = ["sha512:b26fbf15ed59383acd4021bcbbd0b6ff7595d04da5f20da5f7ada8405b9e93d8ac47a80ff5756271146aced07d4816777f01c519be3b1ef10873438605b2a2ed"]
+59
View File
@@ -0,0 +1,59 @@
description = "AZip - A portable Zip Archive Manager"
name = "azip"
version = "2.7.1"
authors = ["Gautier de Montmollin"]
website = "https://github.com/zertovitch/azip"
licenses = "MIT"
tags = ["application", "azip", "zip", "archive", "file-manager"]
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch"]
long-description = """
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip_recomp.png" ><img src="https://azip.sourceforge.io/azip_recomp_mini.png" alt="azip screenshot 1" width="auto" height="140"></a>
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip%20014%20overview.png" ><img src="https://azip.sourceforge.io/azip%20014%20overview%20mini.png" alt="azip screenshot 2" width="auto" height="140"></a>
&nbsp; <a target="_blank" href="https://azip.sourceforge.io/azip_columns_anim_354_KiB.gif"><img src="https://azip.sourceforge.io/azip_columns_anim_175px.gif" alt="azip screenshot 3" width="auto" height="140"></a>
**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression.
Features:
* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions:
* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written!
* Smart archive Updater: changes only new, modified files
* Archive Recompression: makes Zip archives smaller
* Easy toggle from Flat view to Tree view, and back
* Multi-document
* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA
* Encryption
* Portable (no installation needed, no DLL)
* Can operate with a config file instead of the registry (stealth mode)
* Installable if desired (application is its own installer)
* Compatible with other Zip archivers, regardless of the Operating System
* **Free**, Open-Source
"""
project-files = ["gwindows/azip_gw_project_tree.gpr"]
executables = ["azip"]
[available.'case(os)']
windows = true
'...' = false
[gpr-externals]
AZip_Build_Mode = ["Debug", "Fast", "Small"]
[gpr-set-externals]
AZip_Build_Mode = "Small"
Zip_Build_Mode = "Small"
[[depends-on]]
ini_files = ">=11.0.0"
[[depends-on]]
gwindows = ">=1.5.0"
[[depends-on]]
zipada = ">=61.0.0"
[origin]
url = "https://sourceforge.net/projects/azip/files/azip-src-2.7.1.zip"
hashes = ["sha512:ae934972307b2c08f8db391ae8363cef1d59bc338f1a425ae97d1f35b99e194f6005261c605a13b47dbf9ea08c1f602d3ac87c0f084845faa8bca4b448173cca"]
@@ -0,0 +1,31 @@
name = "bar_code_drawing"
description = "Creation of bar codes and qr codes"
version = "20240701"
authors = ["Jeffrey Carter"]
maintainers = ["Bent Bracke <bent@bracke.dk>"]
maintainers-logins = ["bracke"]
licenses = "BSD-3-Clause"
website = "https://github.com/bracke/Bar_Code_Drawing"
tags = ["barcode", "code128", "msi", "qr", "upca", "ean13", "bmp", "pbm", "svg"]
[build-switches]
"*".style_checks = "No"
"*".ada_version = "Ada12"
[[depends-on]] # Avoid bug in GNAT 13
gnat = "<13.0 | >=13.3"
[[depends-on]]
pragmarc = "^20240323.0.0"
[[depends-on]]
ada_gui = "^20240224.0.0"
[[depends-on]]
image_io = "^20240601.0.0"
[origin]
commit = "9f093ffd8c68776445dab6c1a976eca28bf1eb6b"
url = "git+https://github.com/bracke/Bar_Code_Drawing.git"
+59
View File
@@ -0,0 +1,59 @@
description = "Generate various types of bar codes (1D or 2D) on various media"
name = "bar_codes"
version = "3.0.0"
authors = ["Gautier de Montmollin"]
website = "https://ada-bar-codes.sourceforge.io/"
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["ada_bar_codes.gpr"]
tags = ["bar", "code", "barcode", "bar-code",
"datamatrix", "data-matrix", "qr", "qrcode", "qr-code", "code128",
"pbm", "pdf", "svg"]
executables = ["bar_codes_demo"]
long-description = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128
* 2D bar codes supported: Data Matrix, QR Codes
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code.
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language
* Tests and demos included
* Free, open-source
The creation of a bar code is as simple as this small procedure:
```ada
with Ada.Text_IO, Bar_Codes, Bar_Codes_Media;
procedure Small_Demo is
use Ada.Text_IO;
svg : File_Type;
begin
Create (svg, Out_File, "qr_code.svg");
Put_Line
(svg,
Bar_Codes_Media.SVG_Bar_Code
(Bar_Codes.Code_QR_Low, 100.0, 100.0, "mm", "Hello"));
Close (svg);
end Small_Demo;
```
"""
[gpr-externals]
Build_Mode = ["Debug", "Fast"]
[origin]
url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_003.zip"
hashes = ["sha512:ed998c1f89c6970dce157aea2256197a2c1affd9afae90c296bacb6b4019ddf361904113bb60a1642e6558ed0f501909935145d8d735ec3b8b2267794040fc0b"]
+59
View File
@@ -0,0 +1,59 @@
description = "Generate various types of bar codes (1D or 2D) on various media"
name = "bar_codes"
version = "4.0.0"
authors = ["Gautier de Montmollin"]
website = "https://ada-bar-codes.sourceforge.io/"
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["ada_bar_codes.gpr"]
tags = ["bar", "code", "barcode", "bar-code",
"datamatrix", "data-matrix", "qr", "qrcode", "qr-code", "code128",
"pbm", "pdf", "png", "svg"]
executables = ["bar_codes_demo"]
long-description = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128
* 2D bar codes supported: Data Matrix, QR Codes
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code.
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language
* Tests and demos included
* *Free*, open-source
The creation of a bar code is as simple as this small procedure:
```ada
with Ada.Text_IO, Bar_Codes, Bar_Codes_Media;
procedure Small_Demo is
use Ada.Text_IO;
svg : File_Type;
begin
Create (svg, Out_File, "qr_code.svg");
Put_Line
(svg,
Bar_Codes_Media.SVG_Bar_Code
(Bar_Codes.Code_QR_Low, 100.0, 100.0, "mm", "Hello"));
Close (svg);
end Small_Demo;
```
"""
[gpr-externals]
Build_Mode = ["Debug", "Fast"]
[origin]
url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_004.zip"
hashes = ["sha512:ba95da5c0f28785f9bf48be22bbd52d2878f0b8337047e288e5b37d2d64d782c170eb7484a11048456b98a2caf12a7538046bdb944dbf5ef6a4b32be4c75d243"]
+61
View File
@@ -0,0 +1,61 @@
description = "Generate various types of bar codes (1D or 2D) on various media"
name = "bar_codes"
version = "5.0.0"
authors = ["Gautier de Montmollin"]
website = "https://ada-bar-codes.sourceforge.io/"
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["ada_bar_codes.gpr"]
tags = ["bar", "code", "barcode", "bar-code",
"datamatrix", "data-matrix",
"qr", "qrcode", "qr-code",
"code128", "msi", "ean13", "upca",
"pbm", "pdf", "png", "svg"]
executables = ["bar_codes_demo"]
long-description = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128, EAN-13, MSI, UPC-A
* 2D bar codes supported: Data Matrix, QR Codes
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code.
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language
* Tests and demos included
* *Free*, open-source
The creation of a bar code is as simple as this small procedure:
```ada
with Ada.Text_IO, Bar_Codes, Bar_Codes_Media;
procedure Small_Demo is
use Ada.Text_IO;
svg : File_Type;
begin
Create (svg, Out_File, "qr_code.svg");
Put_Line
(svg,
Bar_Codes_Media.SVG_Bar_Code
(Bar_Codes.Code_QR_Low, 100.0, 100.0, "mm", "Hello"));
Close (svg);
end Small_Demo;
```
"""
[gpr-externals]
Build_Mode = ["Debug", "Fast"]
[origin]
url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_005.zip"
hashes = ["sha512:c211b27c745a38409ecdf858277e0456fbb41692ee4534f4ae05ae75f75d37407f66a89d394a18f99c59a11f83fd4319f5cc41fb7416016a96b9576deb7dcac5"]
@@ -0,0 +1,57 @@
name = "bare_runtime"
description = "Minimal Ada/SPARK run-time for embedded or other restricted targets"
version = "14.0.0"
long-description = """
## Usage
First edit you `alire.toml` file and add the following elements:
- Add `bare_runtime` in the dependency list:
```toml
[[depends-on]]
bare_runtime = "*"
```
- Add cross GNAT in the dependency list (e.g. gnat_arm_elf):
```toml
[[depends-on]]
gnat_arm_elf = "*"
```
- Set the architecture build switches, we use ARM Cortex-M4F as an example here:
```toml
[gpr-set-externals]
BARE_RUNTIME_SWITCHES = "-mlittle-endian -mthumb -mfloat-abi=hard -mcpu=cortex-m4 -mfpu=fpv4-sp-d16"
```
Then edit your project file to add the following elements:
- "with" the run-time project file. With this, gprbuild will compile the run-time before your application
```ada
with "bare_runtime.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use "arm-eabi";
for Runtime ("Ada") use Bare_Runtime'Runtime ("Ada");
"""
authors = ["AdaCore"]
maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["embedded", "runtime"]
website = "https://github.com/Fabien-Chouteau/bare_runtime"
[configuration]
generate_gpr = false
generate_c = false
[configuration.variables]
LCH_Print_Info = { type = "Boolean", default = false }
LCH_Reset = { type = "Boolean", default = false }
[[depends-on]]
gnat = "^14"
[origin]
commit = "095db6f0be63e3ee266b8dea6d00e8d0e07e7144"
url = "git+https://github.com/Fabien-Chouteau/bare_runtime.git"
+25
View File
@@ -0,0 +1,25 @@
name = "bbqueue"
description = "DMA friendly lock-free BipBuffer"
version = "1.0.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
long-description = """An Ada/SPARK proved implementation of James Munns'
BBQueue (https://github.com/jamesmunns/bbqueue)"""
[build-switches]
release.runtime_checks = "none"
[[depends-on]]
atomic = "^1.0.0"
gnat = ">=10"
[origin]
commit = "f508818cae5c23e45864e19c618fe2b1dc7c6362"
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+15
View File
@@ -0,0 +1,15 @@
name = "bbs"
description = "Root package for other crates and contains some physical units"
version = "0.1.0"
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "0BSD"
website = "https://github.com/BrentSeidel/BBS-Ada"
tags = ["units"]
[origin]
commit = "d0806fabe7cd506e0be1c8cbaf9bc7e806c2c193"
url = "git+https://github.com/BrentSeidel/BBS-Ada.git"
@@ -0,0 +1,25 @@
name = "bbs_ansiterm"
description = "Generate Escape Sequences for ANSI terminals"
version = "0.1.0"
long-description="""
Constants, functions, and procedures for generating ANSI escape sequences.
If you need something that provides more than this, you should take a look
at one of the curses/ncurses variants.
Refer to the documentation for more information.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["vt100", "escape", "ansi"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "a8537e1458bf13771638d2f7f9223097cae50e22"
url = "git+https://github.com/BrentSeidel/ANSITerm.git"
@@ -0,0 +1,29 @@
name = "bbs_embed_common"
description = "Abstract hardware drivers and drivers for some i2c bus devices."
version = "0.1.0"
long-description="""
This crate contains base classes for some hardware devices such as Analog
Inputs, GPIO pins, I2C bus, and SPI bus. It also contains drivers for
devices that use, for example, an I2C bus.
By itself, this crate isn't much use. It will need to be used with the
bbs_embed_linux crate which contains hardware drivers for the Raspberry Pi
and BeagleBone Black.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
tags = ["embedded"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "cfbd52e3e8b1f17751acdecdec70c3f6acaa14a1"
subdir = "./src-common/"
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
@@ -0,0 +1,29 @@
name = "bbs_embed_common"
description = "Abstract hardware drivers and drivers for some i2c bus devices."
version = "0.2.0"
long-description="""
This crate contains base classes for some hardware devices such as Analog
Inputs, GPIO pins, I2C bus, and SPI bus. It also contains drivers for
devices that use, for example, an I2C bus.
By itself, this crate isn't much use. It will need to be used with the
bbs_embed_linux crate which contains hardware drivers for the Raspberry Pi
and BeagleBone Black.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
tags = ["embedded"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "37c1a69b6cb64b0b7b7ac63a7ed5a1459d22e237"
subdir = "./src-common/"
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
@@ -0,0 +1,32 @@
name = "bbs_embed_linux"
description = "Physical device drivers for Raspberry Pi and BeagleBone Black"
version = "0.1.0"
long-description = """
This contains device drivers for unix-type systems. The physical devices
are defined for the Raspberry Pi and BeagleBone Black, but it should
compile on any unix-type environment.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
tags = ["embedded", "devices", "hardware"]
[available."case(os)"]
"windows" = false
"..." = true
[[depends-on]]
bbs = "~0.1.0"
[[depends-on]]
bbs_embed_common = "~0.1.0"
[origin]
commit = "17b6af3a282e68d129d65288c7add354393fe76a"
subdir = "./src-linux/"
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
@@ -0,0 +1,32 @@
name = "bbs_embed_linux"
description = "Physical device drivers for Raspberry Pi and BeagleBone Black"
version = "0.2.0"
long-description = """
This contains device drivers for unix-type systems. The physical devices
are defined for the Raspberry Pi and BeagleBone Black, but it should
compile on any unix-type environment.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
tags = ["embedded", "devices", "hardware"]
[available."case(os)"]
"windows" = false
"..." = true
[[depends-on]]
bbs = "~0.1.0"
[[depends-on]]
bbs_embed_common = "~0.2.0"
[origin]
commit = "bc3a1eafa18eb9aa755631b198455dd6b9bb6c09"
subdir = "./src-linux/"
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"

Some files were not shown because too many files have changed in this diff Show More