Commit Graph

1131 Commits

Author SHA1 Message Date
Jan Verschelde 188820ddb9 phcpack 2.4.88 (#949)
* Add files via upload

* Update phcpack-2.4.88.toml

added dependency

* attempt to declare dependency on libstdc++-static

the file aims to declare the dependency on libstdc++static

* Update phcpack-2.4.88.toml

removed empty lines

* Rename libstdcpp-external.toml to index/li/libstdcpp/libstdcpp-external.toml

* Remove dependency on libstdc++

Keep libstdc++ external separate for the future.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2024-01-24 01:02:02 +01:00
Gautier de Montmollin b0987f02fc gid 11.0.0 (#975) 2024-01-23 17:57:39 +01:00
pmunts f52d985009 muntsos_* 9.1.0 (#974)
Incorporating:

muntsos_aarch64      release 9.1.0
muntsos_beaglebone   release 9.1.0
muntsos_raspberrypi1 release 9.1.0
muntsos_raspberrypi2 release 9.1.0
muntsos_raspberrypi3 release 9.1.0
muntsos_raspberrypi4 release 9.1.0
muntsos_raspberrypi5 release 9.1.0

Corrected invalid toolchain path wildcard for old Debian 11 /
Crosstool-NG 1.25.0 / GCC 10.3.0 toolchains.

Reworked the post fetch action script to be much more robust.
2024-01-23 17:56:45 +01:00
Fabien Chouteau 0bca58fa07 libadalang_tools 24.0.0 (#973) 2024-01-22 18:02:52 +01:00
RajaSrinivasan 63bedf966f gsl 0.1.0 (#934)
* Add files via upload

* Update gsl-0.1.0-dev.toml

* Update and rename gsl-0.1.0-dev.toml to gsl-0.1.0.toml

* Update gsl-0.1.0.toml

* Update gsl-0.1.0.toml
2024-01-22 11:47:56 +01:00
Blady-Com d9dbe53002 simple_components 4.68 (#972)
Add MacPorts and Brew support for macOS in dependancies.
2024-01-22 09:59:00 +01:00
Fabien Chouteau 2903f7f5c7 gnatdoc 24.0.0 (#971) 2024-01-19 19:01:09 +01:00
Alejandro R Mosteo 6eb9514673 Use new Windows cache location in direct pacman call (#968)
* Use new Windows cache location

* Revert hello-1.0.2.toml

Remove change intended to temporarily trigger checks
2024-01-19 18:58:29 +01:00
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