Commit Graph

1123 Commits

Author SHA1 Message Date
Paul Jarrett 834338fcaf septum 0.0.8 (#967) 2024-01-19 11:44:07 +01:00
Fabien Chouteau 514d363441 langkit_support, libadalang 24.0.0 (#970) 2024-01-19 11:33:41 +01:00
Fabien Chouteau ed68b4e0c4 Fix description for RISC-V and AVR GNAT 13.2.1 (#969) 2024-01-19 11:29:07 +01:00
pmunts ef1e18e385 muntsos_* 9.0.0 (#965)
* muntsos_beaglebone release 9.0.0

Updated to use either old Debian 11 toolchain packages
or new Debian 12 toolchain packages.

* muntsos_raspberrypi1 release 9.0.0

Updated to use either old Debian 11 toolchain packages
or new Debian 12 toolchain packages.

* muntsos_raspberrypi2 release 9.0.0

Updated to use either old Debian 11 toolchain packages
or new Debian 12 toolchain packages.

* muntsos_raspberrypi3 release 9.0.0

Updated to use either old Debian 11 toolchain packages
or new Debian 12 toolchain packages.

* muntsos_raspberrypi4 release 9.0.0

Updated to use either old Debian 11 toolchain packages
or new Debian 12 toolchain packages.

* muntsos_raspberrypi5 release 9.0.0

Updated to use either old Debian 11 toolchain packages
or new Debian 12 toolchain packages.
2024-01-16 11:35:15 +01:00
Simon Wright 4aff70e289 libglfw3-external for homebrew, macports (#964)
* index/li/libglfw3/libglfw3-external.toml: As summary. Both are "glfw".
2024-01-15 17:10:53 +01:00
pmunts 59257f284f remoteio 1.21805.1 (#963) 2024-01-15 17:09:11 +01:00
pmunts 5b75c2be9a libsimpleio 1.21805.1 (#962) 2024-01-15 17:08:21 +01:00
Vadim Godunko bc3f27cf2f light_arduino due, light_fk723m1_zgt6 0.1.0 (#961) 2024-01-15 17:07:07 +01:00
Luke A. Guest 5b3b65a514 learnadainy 0.2.0 (#960) 2024-01-15 17:04:14 +01:00
Luke A. Guest c3ef5cbe96 sdlada 2.5.20 (#959) 2024-01-15 16:55:52 +01:00
pmunts e9634f1be3 muntsos_aarch64 9.0.0 (#958) 2024-01-15 16:51:24 +01:00
Fabien Chouteau 3ae57d18ba aws 24.0.0 (#937) 2024-01-10 11:37:43 +01:00
Alejandro R. Mosteo e5b40c7083 Cosmetic change to diff workflow 2024-01-10 11:31:08 +01:00
Maxim Reznik 9e52f10fb8 bme280 1.0.0 (via alr publish --submit) (#944) 2024-01-03 12:45:39 +01:00
jgrivera67 87f4e0366b hirtos 1.0.0 and hirtos_separation_kernel 1.0.0 (#943)
Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
2024-01-03 12:42:09 +01:00
Fraser Wilson 5d18acdbed wl_lib 0.1.2 (via alr publish --submit) (#948) 2024-01-03 12:33:12 +01:00
John Serock 0f5ba1a0d6 pla_util 2.1.2 (#955) 2024-01-02 16:38:46 +01:00
Stephane Carrez 5bc4d01dae Add crate for the SCI Ada library (Collection of Scientific Operations) (#953) 2024-01-02 16:36:37 +01:00
Luke A. Guest dcdecfec80 Add missing SDL2 mixer external library. (#951) 2024-01-02 16:31:52 +01:00
John Serock 1e57885c82 Add suse distribution to libgmp-external (#946) 2024-01-02 15:57:27 +01:00
John Serock f21e304d59 pla_util 2.1.1 (#935)
* pla_util 2.1.1

* Remove header as requested

* Remove build-profiles as requested
2023-12-20 16:28:23 +01:00
Fabien Chouteau b5eb5aa08c gtkada 24.0.0 (#936)
* GtkAda 24.0.0

* pkg_config-external.toml: add homebrew and macport distrib
2023-12-18 20:07:52 +01:00
Fabien Chouteau eb022c1a79 adasat 24.0.0 (#941) 2023-12-18 19:11:46 +01:00
jgrivera67 453f25b110 portable_minimal_ada_rts 1.0.0 (#940)
Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
Co-authored-by: J. German Rivera <jgrivera@google.com>
2023-12-18 19:05:30 +01:00
pmunts 356e375c3e remoteio 1.21527.1 (#931) 2023-12-11 18:50:40 +01:00
Francesc Rocher 0805012282 euler_tools 1.3.0 (#928)
* euler_tools 1.2.0

* Fix compilation with gnat-13.1.1

* euler_tool 1.3.0
2023-12-11 18:49:14 +01:00
John Serock cd3c06986b libpcap external (#927) 2023-12-11 18:34:38 +01:00
pmunts 400f6f41d1 libsimpleio 1.21527.1 (#929) 2023-12-11 18:25:51 +01:00
pmunts 4ab407edb7 mcp2221 1.21527.1 (#930) 2023-12-11 18:18:27 +01:00
Rowan Walshe 064bfe6e31 gnat/gprbuild external broader regex (#924) 2023-11-27 16:35:10 +01:00
Stephane Carrez a8589243b8 magicada 1.0, libmagic external (#926) 2023-11-27 16:26:25 +01:00
Fabien Chouteau 0cae39b728 AdaCore libraries 24.0 II (#925) 2023-11-27 16:23:52 +01:00
Francesc Rocher ac2dce34eb mold_lib 2.0.0 (#923) 2023-11-27 16:16:56 +01:00
Manuel d8df16e4ee asfml 2.5.5 (#922) 2023-11-20 18:40:41 +01:00
Fabien Chouteau 49b8a71a00 AdaCore libraries 24.0 (#921) 2023-11-20 18:38:49 +01:00
Fabien Chouteau 9c1101813a bbqueue 0.3.2 (#896) 2023-11-16 07:22:28 +01:00
Alejandro R Mosteo b86e41b797 dirty_booleans 0.1.0 (via alr publish --submit) (#893) 2023-11-15 16:01:39 +01:00
Stephen Leake a9e17f624e emacs_gpr_mode 1.0.5 (#920) 2023-11-15 11:08:43 +01:00
Fabien Chouteau 6a964e7a2b gnatprove 13.2.1: GPR_PROJECT_PATH for sparklib (#917) 2023-11-13 19:11:41 +01:00
Stephane Carrez 6712cb7e2f New crate intl for a small NLS library on top of Unix gettext (3) (#918) 2023-11-13 10:36:17 +01:00
Fabien Chouteau 543c19cb46 gnatprove 13.2.1 (#916) 2023-11-10 10:02:06 +01:00
Simon Wright df12ae1d76 Don't look for gprbuild from system provider. (#913)
* Don't look for gprbuild from system provider.

Because the manifest currently asks for Alire to attempt to download
gprbuild from the system package manager, alr <anything> spends
several fruitless seconds trying to find gprbuild.

  * index/gp/gprbuild/gprbuild-external.toml: remove the 'system' external.

* macOS distributions don't provide gprbuild, others do.

  * index/gp/gprbuild/gprbuild-external.toml: the "system" external isn't
    available on macOS, so specify it explicitly for the other operating
    systems.
2023-11-09 14:52:02 +01:00
Simon Wright 332abd761f libgtk3 external for brew/port on macOS (#915)
* Add externals for libgtk3 on macOS.

* Add check from alr devel branch

* Add specific Ports CI test

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2023-11-08 17:17:55 +01:00
Blady-Com c3adb36e51 automate 3.0.0. (#914)
Upgrade to UXStrings 0.6.0, UXStrings.Lists and Ada.Containers.Ordered_Maps.
Automate name input has been moved to command line.
Automate information inputs have been moved to parameters.
Add embedded debug support in automate description for each read event.
Miscellaneous improvements.
2023-11-03 08:22:29 +01:00
Stephen Leake 9099ace37b emacs_wisi 4.3.2, wisitoken 4.2.1 (#912)
* Release emacs_wisi 4.3.1

* Better fix for gnat 13 bug

* index/wi/wisitoken/wisitoken-4.2.1.toml: New file.

* index/em/emacs_wisi/emacs_wisi-4.3.2.toml: New file.
2023-10-26 14:23:00 +02:00
Francesc Rocher 1e39daf0c2 mold_lib 1.0.3 (#911)
* mold_lib 1.0.0

* Update release

* Update release 1.0.0 (main)

* Update release to 1.0.2

* Update commit id

* Update release to 1.0.3
2023-10-25 13:04:12 +02:00
Stephen Leake ad7f97ac4f emacs_wisi 4.3.1 (#910) 2023-10-23 14:48:39 +02:00
Adel Noureddine 13d5f35941 powerJoular 0.7.0 (#909)
* Add files via upload

* Add files via upload

* Add files via upload

* Delete index/po/powerjoular/alire.toml

* Version 0.7.0
2023-10-23 10:48:04 +02:00
Fabien Chouteau 0ffe703dec GNAT FSF 13.2.1 (#908) 2023-10-19 11:00:25 +02:00
Stephen Leake c460cca531 emacs_ada_mode 8.1.0, emacs_gpr_mode 1.0.4 (#905)
* Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies

* Fix "incorrect line termination" bug

* index/wi/wisitoken/wisitoken-4.2.0.toml: Patched for "incorrect line
termination" in s-memory.adb.

* One more try for "incorrect line termination" bug

* index/wi/wisitoken/wisitoken-4.2.0.toml: Fix syntax in .gitattributes.

* * index/wi/wisitoken/wisitoken-4.2.0.toml: One more try

* * index/wi/wisitoken/wisitoken-4.2.0.toml: Another try

* * index/wi/wisitoken/wisitoken-4.2.0.toml: One more try

* * index/wi/wisitoken/wisitoken-4.2.0.toml: This should work
2023-10-14 22:04:34 +02:00