Commit Graph

1950 Commits

Author SHA1 Message Date
Alejandro R Mosteo 005469c580 openssl external +SUSE (#1934) 2026-05-23 18:03:19 +02:00
Martin Krischik 70ada14c0a pico_xbsp 1.7.0 (#1924)
* pico_xbsp 1.7.0 (via `alr publish`)

* pico_xbsp update tar
2026-05-23 14:34:24 +02:00
Paul Jarrett 36b33a3fff trendy_terminal 0.0.7 (#1921)
* trendy_terminal 0.0.7 (via `alr publish`)

* Update trendy_terminal-0.0.7.toml

* Update trendy_terminal-0.0.7.toml
2026-05-23 14:32:51 +02:00
Rene Hartmann 321fda5e78 jintp 1.0.1 (#1920) 2026-05-23 14:28:48 +02:00
Gautier de Montmollin e81f5c55da gwindows 1.5.4 metadata (examples removed) (#1917)
Removed build of examples: this causes a new, mysterious issue in at least one crate (LEA) using the GWindows crate.
Examples will be built in a separate crate.
Note that gwindows_contrib.gpr also has some own examples but is not exposed to that issue which is related to an extra file added for the linker.
2026-05-23 13:51:59 +02:00
Martin Krischik 85a3691b34 pico_ada_c07_buzzer 1.7.1 (#1936) 2026-05-23 13:46:28 +02:00
Blady-Com fd4a04f9e9 Update UXStrings to version 0.9.1 (some fixes). (#1919) 2026-05-18 12:01:15 +02:00
Martin Krischik 41908ea266 pico_xbsp 1.6.1 (via alr publish) (#1918) 2026-05-18 11:49:56 +02:00
Gautier de Montmollin 4137ced849 gwindows 1.5.4 (#1904)
GWindows release, 09-May-2026 [revision 635]
=========================================

629: GWindows.Clipboard: added Clipboard_HTML procedure (copy HTML fragment
        to the clipboard; useful for copying more than plain texts)

626: GWindows.Common_Controls: added check box feature to List_View's
2026-05-14 16:02:33 +02:00
Blady-Com 01c0e3c2fa tp7_gnoga_examples=11.0.0 (#1915)
* Add examples for TP7 Gnoga.

* Remove deprecated switch -no_pie.
2026-05-14 15:58:48 +02:00
Vadim Godunko b602ef0b9c a0b_base 0.5.0 (via alr publish) (#1913) 2026-05-13 10:37:01 +02:00
Vadim Godunko 51656c38a2 a0b_tools 0.2.0 (via alr publish) (#1912) 2026-05-13 10:35:07 +02:00
Vadim Godunko 9d6957c8c5 espidf_gnat_runtime 0.1.0 (via alr publish) (#1911) 2026-05-13 10:34:07 +02:00
Blady-Com 54bfc0961e ZanyBlue tools release 1.5.0. (#1910) 2026-05-13 10:33:23 +02:00
Paul Jarrett 95be73882b septum 0.2.1 (via alr publish) (#1914) 2026-05-13 10:32:30 +02:00
Sebastián Benítez e5dade16e1 Add SUSE support in libzmq (#1906) 2026-05-11 15:57:33 +02:00
Fabien Chouteau ccc1c917f4 Raylib 2.0.0 (#1909) 2026-05-11 14:51:22 +02:00
Blady-Com d691a27028 zanyblue 1.4.1 (#1803)
* Add ZanyBlue framework 1.4.0.

* Fix folder hierarchy.

* Fix name of ZanyBlue library crate.

* Sync also origin repo.

* Adapt bin and obj folder location to Alire requirement.
Fix typos in alire (zbinfo and zbmcompile).

* Change version for Alire as 1.4.0 is already registered.

* Suppress old 1.4.0 version.

* restore disabled 1.4.0 releases

* Restore original commit

* Restore original commit

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2026-05-11 14:10:33 +02:00
Mahesh Chandra Teja 8c00c9caad aion 1.0.0 (#1897) 2026-05-11 13:51:31 +02:00
Quentin Dauprat, PhD 0099dd91eb termicap 1.0.0 (#1907)
* termicap 1.0.0 (via `alr publish`)

* chore: Update website and commit information in TOML file
2026-05-11 13:45:34 +02:00
Blady-Com ac5111d136 zblib 1.5.0 (#1826)
* ZanyBlue release 1.5.0.

* Add .gitattributes with eol=lf for Ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].

* Add .gitattributes with eol=lf for ads files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].

* Add .gitattributes with "text=auto eol=lf" for ads, adb and ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].

* Synchronize zbinfo and zbmcompile crates.

* Remove zbinfo and zbmcompile crates.
Only one at a time.

* Change .gitattributes back without auto.

* Avoid (style) incorrect line terminator [-gnatyd] with BUILD = "Production".
2026-05-11 13:29:29 +02:00
César Sagaert 4ba1bd04f3 gprbuild 26.0.1 (#1903) 2026-05-11 13:28:59 +02:00
César Sagaert efe50551b5 gnatformat_bin 26.0.0 (#1902) 2026-05-11 13:26:29 +02:00
César Sagaert 3f6a0856e9 gnattest_bin 26.2.0 (#1901) 2026-05-11 13:25:54 +02:00
César Sagaert 155321e60f gnatdoc_bin 26.0.0 metadata fix path (#1900) 2026-05-11 13:22:39 +02:00
Jochen Lillich b3948f0b36 czmq_ada 0.5.0 (via alr publish) (#1905) 2026-05-11 12:50:19 +02:00
Daniel King 75537c14bb community-bb-runtimes 15.4.0 (#1908) 2026-05-11 12:34:46 +02:00
Paul Jarrett f02e58e864 septum 0.2.0 (via alr publish) (#1899) 2026-05-06 11:43:12 +02:00
0xA672 4e2d9d262e Add oherr 0.1.0 (#1890)
* Add oherr 0.1.0-dev

* Update index/oh/oherr/oherr-0.1.0-dev.toml

Co-authored-by: César Sagaert <aldantanneo@gmail.com>

* "-dev" has been removed

Update commit hash in oherr-0.1.0.toml

* Bump version from 0.1.0-dev to 0.1.0

---------

Co-authored-by: 0xA672 <“3629574623@qq.com”>
Co-authored-by: César Sagaert <aldantanneo@gmail.com>
2026-05-06 11:00:04 +02:00
Baris Erdem de5ba6186d Add p256_ada 0.1.0 (#1893)
* Add p256_ada 0.1.0

* Re-trigger CI
2026-05-04 17:20:36 +02:00
Baris Erdem a6762c98e7 cose_ada 0.1.0 (via alr publish) (#1892)
Co-authored-by: Baris Erdem <example@example.com>
2026-05-04 17:17:58 +02:00
César Sagaert d227e36248 gnatcov_bin 26.2.1 (#1887) 2026-05-04 17:16:57 +02:00
César Sagaert b7111626c5 gnatdoc_bin 26.0.0 (#1883) 2026-05-04 17:16:24 +02:00
Martin Krischik aeed2f34b1 Pi Ada Tutorial release 1.6.0 (#1898)
* Pi Ada Tutorial release 1.6.0

* Remove extra newline before URL in TOML file

Force rebuild by removing redundant lines at the end of the file

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
2026-05-04 16:16:28 +02:00
Baris Erdem dc89797378 hkdf_ada 0.1.0 (via alr publish) (#1891)
Co-authored-by: Baris Erdem <example@example.com>
2026-05-04 14:54:43 +02:00
Paul Jarrett 601e0e2604 septum 0.1.1 (via alr publish) (#1894) 2026-05-04 13:38:10 +02:00
Paul Jarrett fbaee67fc7 progress_indicators 0.0.2 (via alr publish) (#1895) 2026-05-04 12:10:44 +02:00
Paul Jarrett 981ec864e5 trendy_terminal 0.0.6 (via alr publish) (#1896) 2026-05-04 12:09:06 +02:00
Baris Erdem 7dca3fe0ce hmac_ada 0.2.0 (#1885) 2026-04-27 13:18:09 +02:00
Martin Krischik 4115555bab Pi Ada tutorial 1.5.2 (#1884)
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
2026-04-25 12:46:06 +02:00
Baris Erdem 0c186dbbb1 ccsds_ada 0.1.0 (#1875)
SPARK-proved CCSDS protocol suite for Ada 2022. Covers Space Packet,
Time Code Formats (CUC / CDS), AOS Transfer Frame with FECF,
Encapsulation Packet, CFDP PDU with optional CRC, SLE identifiers,
and the shared CRC-16-CCITT-FALSE primitive. 440 SPARK Level 2 proof
obligations, all discharged, no pragma Assume, no justified checks.
2026-04-25 12:35:16 +02:00
Baris Erdem 5e368ffe1c cbor_ada 0.2.0 (#1870) 2026-04-25 12:28:15 +02:00
Baris Erdem 9bdbbbc9ec hmac_ada 0.1.0 (#1871)
SPARK-proved HMAC (RFC 2104) with standalone SHA-256 for Ada 2022.
2026-04-25 12:26:00 +02:00
Darren Bane f1b7e7e579 florist, ncursesada external metadata (#1855) 2026-04-25 12:09:35 +02:00
pmunts e551c9ed23 munts_rp2040_firmware_embedded release 2.24840.1 Tue Apr 14 01:12:29 PM PDT 2026 (#1859)
Phil's RP2040 Microcontroller Embedded Profile Firmware Template

Added web site link.
Added long description.
Refined postbuild.sh to make search for implicit mount point much more robust.
2026-04-21 11:36:28 +02:00
Vadim Godunko 114f9939ae espidf_driver_i2c 0.1.0 (via alr publish) (#1882) 2026-04-21 11:30:16 +02:00
Martin Krischik b20c7e5b1e Pi Ada Tutorial release 1.5.1 (#1878)
* Pi Ada Tutorial release 1.5.1

Add installation via openocd. Update description.

* Fix URL formatting in pico_ada_c01_blink TOML file

Remove new lines - will also trigger a rebuild.

* Remove unnecessary line break in TOML file

And trigger a rebuild.

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
2026-04-20 18:31:49 +02:00
Vadim Godunko 1284c5494b a0b_sensirion 0.1.0 (via alr publish) (#1881) 2026-04-20 18:30:05 +02:00
Vadim Godunko 299e0216cc espidf 0.1.0 (via alr publish) (#1880) 2026-04-20 15:05:17 +02:00
Daniel King 83ea866704 libsap 0.1.0 (#1879) 2026-04-20 15:04:39 +02:00