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
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