Commit Graph

1783 Commits

Author SHA1 Message Date
César Sagaert 099b689b85 gnatcoll_syslog 26.0.0 (#1739) 2026-01-06 11:36:23 +01:00
César Sagaert 748c28b448 gnatcoll_iconv 26.0.0 (#1738) 2026-01-06 11:35:46 +01:00
César Sagaert f2efdfbbf0 prettier_ada 26.0.0 (#1735) 2026-01-06 11:34:16 +01:00
César Sagaert e6f920b3d4 gnatcoll_projects 26.0.0 (#1736) 2026-01-06 11:33:07 +01:00
Jochen Lillich 1b3837365d tinyaml 0.2.0 (via alr publish) (#1733) 2026-01-05 12:00:34 +01:00
Paul Jarrett 74e67abf7e anteforth 0.1.0 (#1734)
* anteforth 0.1.0 (via `alr publish`)

* Update to revision with loops.

* Update to revision with more words, including RECURSE.

* One last repl fix.
2026-01-05 11:57:57 +01:00
Jochen Lillich bcfc08188c tinyaml 0.1.0 (#1732) 2025-12-29 19:16:33 +01:00
César Sagaert 2cd9c0e7cc gnatcoll_zlib 26.0.0 (#1730) 2025-12-24 19:14:39 +01:00
César Sagaert 254eeb8371 gnatcoll_readline 26.0.0 (#1729) 2025-12-24 19:12:36 +01:00
César Sagaert 73216b781b gnatcoll_omp 26.0.0 (#1728) 2025-12-24 19:11:44 +01:00
César Sagaert 27fe4eba3d gnatcoll_lzma 26.0.0 (#1727) 2025-12-24 19:10:55 +01:00
César Sagaert b2f2405634 gnatcoll_gmp 26.0.0 (#1726) 2025-12-24 19:09:57 +01:00
César Sagaert db054156a1 gnatcoll 26.0.0 (#1725) 2025-12-24 19:08:34 +01:00
Martin Krischik b2c3e781ac hp41cx_tools 1.8.8 (#1731) 2025-12-23 20:08:26 +01:00
Michael Gardner 85cc5776e0 zoneinfo 1.1.1 (#1724) 2025-12-22 11:46:46 +01:00
César Sagaert e82631172b vss_extra 26.0.0 (#1722)
* vss_extra 26.0.0

* Remove redundant gpr-externals in vss_extra.toml

Comment out gpr-externals and related OS settings.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-12-22 11:45:12 +01:00
César Sagaert e325bc9cbc gnatcoll_minimal 26.0.0 (#1723) 2025-12-22 11:44:49 +01:00
Michael Gardner be1f4ef28a tzif 3.0.3 (#1717) 2025-12-19 12:14:40 +01:00
Jochen Lillich 8fc191540e rabbitmq 0.1.0 (#1712)
* rabbitmq 0.1.0 (via `alr publish`)

* fix: Dependency declaration missing in alire.toml

* fix: librabbitmq-external.toml missing

* fix: MacPorts is missing librabbitmq

* fix: Typo in TOML

* fix: library not available on CentOS

* fix: wrong mingw library name

* fix: Gentoo dependency missing

* fix: macports and centos library names

* Disable CentOS and Gentoo

* fix: Platform support enabled in wrong file

* fix: Missing depends-on in manifest
2025-12-18 14:33:47 +01:00
César Sagaert bacc3b1c01 aunit 26.0.0 (#1721) 2025-12-18 14:23:25 +01:00
César Sagaert 40b28db280 vss_text 26.0.0 (#1720) 2025-12-18 14:21:49 +01:00
César Sagaert 1ed6bd8b6d adasat 26.0.0 (#1719) 2025-12-18 14:19:33 +01:00
Alejandro R. Mosteo 73780a273b dev: disable Gentoo, not yet in stable Alire 2025-12-18 13:44:02 +01:00
dsauvage 957a722f0e aor_jsona 1.6.6 (#1710) 2025-12-18 13:36:13 +01:00
Brent Seidel 81e3a59aed bbs_lisp 0.2.2 (#1718) 2025-12-18 13:16:55 +01:00
Jeremy Grosser d6e713e042 softdev 1.2.0 (#1713) 2025-12-18 13:04:29 +01:00
César Sagaert d5f1b6821e libgpr 26.0.0 (#1709) 2025-12-18 13:03:14 +01:00
Alejandro R Mosteo 60f8db7ff7 dev: add Gentoo as supported distro to checks (#1711) 2025-12-13 20:28:43 +01:00
Michael Gardner 6a715f5469 functional 4.0.0 (#1708)
* functional 4.0.0 (via `alr publish`)

* Update maintainers-logins in functional-4.0.0.toml

* Fix formatting of licenses entry in TOML file
2025-12-13 13:27:43 +01:00
César Sagaert 6ac1d4906c xmlada 26.0.0 (#1706) 2025-12-13 13:23:35 +01:00
Michael Gardner 2a901bb2aa hybrid_app_ada 2.0.0 (#1703)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-12-12 00:21:56 +01:00
Michael Gardner c685b55fee hybrid_lib_ada 2.0.0 (#1704)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-12-11 16:11:30 +01:00
César Sagaert c16ddefd48 fedora externals (#1701)
* add external for liblzma on fedora

* add external for libgomp on fedora

* add external for zlib on fedora
2025-12-11 11:15:54 +01:00
César Sagaert a026227ba1 dev: transition retired macos-13 images to macos-15-intel (#1702)
* transition retired macos-13 images to macos-15-intel

* Touch test crate

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2025-12-11 11:12:43 +01:00
Michael Gardner 01f5d82ca8 tzif 2.0.0 (#1700) 2025-12-09 11:07:11 +01:00
Michael Gardner aff4db1475 functional 3.0.0 (#1698)
* functional 3.0.0 (via `alr publish`)

* Update commit hash in functional-3.0.0.toml
2025-12-07 19:39:10 +01:00
Gautier de Montmollin 9a4304fe57 bar_codes 6.0.0 (#1697)
Improvements regarding white space around 1D & 2D bar codes (esp. QR codes).
2025-12-07 19:35:47 +01:00
Michael Gardner e855dd0694 functional 2.3.0 (#1696)
* functional 2.3.0 (via `alr publish`)

* Update commit hash in functional-2.3.0.toml
2025-12-06 11:18:56 +01:00
pmunts 311edf0a0c muntsos 11.0.1 (#1695)
* muntsos_aarch64 release 11.0.1 Tue Dec  2 01:22:11 PM PST 2025

Add a post-build script to the superordinate program project that will
optionally scp the executable file(s) from bin/ to the MuntsOS Embedded
Linux target computer indicated by the TARGETCOMPUTER environment variable,
which must contain a value of the following form:

root@snoopy:/usr/local/bin

* muntsos_raspberrypi1 release 11.0.1 Tue Dec  2 01:22:57 PM PST 2025

Add a post-build script to the superordinate program project that will
optionally scp the executable file(s) from bin/ to the MuntsOS Embedded
Linux target computer indicated by the TARGETCOMPUTER environment variable,
which must contain a value of the following form:

root@snoopy:/usr/local/bin
2025-12-05 10:35:35 +01:00
Michael Gardner 8a3e29b946 functional 2.2.1 (#1694) 2025-12-05 10:28:30 +01:00
Michael Gardner 0ff5c158d7 functional 2.2.0 (#1693) 2025-12-01 20:27:07 +01:00
Manuel 4585a58ae2 coap_spark, coap_client 0.10.0 (#1684)
* Add coap_spark-0.10.0 

CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) in SPARK/Ada, with client and server sides.

* Add coap_client-0.10.0
2025-12-01 20:21:06 +01:00
Quentin Dauprat, PhD f8d7893814 spark_math 0.1.0 (via alr publish) (#1692) 2025-12-01 12:09:31 +01:00
Quentin Dauprat, PhD a02e4d5452 distance 0.1.0 (via alr publish) (#1691) 2025-12-01 12:08:29 +01:00
Juan Antonio de la Puente f04cafedd2 astro 1.4.1 (#1686) 2025-11-27 16:45:53 +01:00
Brent Seidel 19b38f7442 blinkenlights 0.3.0 (#1685) 2025-11-27 11:36:39 +01:00
pmunts 12d513dec9 muntsos_raspberrypi1 11.0.0 (#1681)
Added support for running the MuntsOS cross-toolchain on x86-64 Windows.
2025-11-27 11:28:09 +01:00
pmunts 02b90b60c5 muntsos_aarch64 11.0.0 (#1680)
Added support for running a MuntsOS cross-toolchain on Windows.
2025-11-27 11:25:26 +01:00
Michael Gardner e28f6e133d functional 2.1.1 (#1676) 2025-11-26 13:56:22 +01:00
Brent Seidel 8eb7339f95 bbs_simcpu 0.4.0 (#1683) 2025-11-25 18:38:44 +01:00