Commit Graph

930 Commits

Author SHA1 Message Date
Stephane Carrez 4d40453ebc ayacc 1.4.1 (#994)
Minor fixes
2024-02-12 16:02:51 +01:00
Stephane Carrez 6e0f48e11d aflex 1.7.0 (#993) 2024-02-12 16:02:02 +01:00
Stephane Carrez f4483d5081 are 1.4.0 (#992) 2024-02-12 16:00:19 +01:00
Stephane Carrez de4ffc5fc9 intl 1.0.1 (#991)
Fixes compilation warnings
2024-02-12 15:59:18 +01:00
Gautier de Montmollin e878859cf8 gid 12.0.0 (#990)
New version of GID (12), with an addition: the decoding of progressive JPEGs (e.g., most images on asocial networks)
2024-02-12 15:58:12 +01:00
Gautier de Montmollin 9e8d76780a zipada 58.0.0 metadata (#989)
The footnote was not displayed correctly (some markdown->html converters seem to need more white space).
Sorry for the trouble...
2024-02-12 15:57:06 +01:00
Gautier de Montmollin d626b23dc8 excel_writer 18.0.0 (#988)
The footnote was not displayed correctly (some markdown->html converters seem to need more white space) + not well placed.
Sorry for the trouble...
2024-02-12 15:56:20 +01:00
Gautier de Montmollin 0dd95e2f0e ulid 20240205.0.0 (#984)
* Create ulid-20240205.0.0.toml

* Update ulid-20240205.0.0.toml

Fixed a glitch in tags

* Add minimum GNAT version restriction

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-02-09 13:25:51 +01:00
Jeremy Grosser 9f5c7b9ce1 rp2040_hal 2.2.1 (#978) 2024-02-08 19:23:09 +01:00
Gautier de Montmollin 013daf78a9 excel_writer 18.0.0 (#986)
* Update excel_writer-18.0.0.toml - changed only TOML's metadata

* Update excel_writer-18.0.0.toml

Added an empty line in the long description.

* Update excel_writer-18.0.0.toml

Added a small application example in the long-description.
2024-02-08 19:21:08 +01:00
Gautier de Montmollin dcd28bb41a zipada 58.0.0 (#985)
* Update zipada-58.0.0.toml - Added long-description

* Update zipada-58.0.0.toml

Removed a spurious '/'
2024-02-08 19:17:53 +01:00
Stephane Carrez 2516b49b2e magicada 1.0.1 (#982) 2024-02-08 19:16:02 +01:00
Blady-Com 90afef8c7d florist_blady 6.1.0 (#983) 2024-02-08 19:14:22 +01:00
Maxim Reznik 42036804e4 qmc5883 1.0.0 (#981) 2024-01-29 16:43:58 +01:00
Maxim Reznik ed60834dd7 hmc5883 1.0.0 (#980) 2024-01-29 16:42:39 +01:00
Simon Wright b8aaa0d216 xia 1.4.1. (#979)
Mainly, change dependencies from "^" to ">=".
Also, the test/ crate is updated to 1.4.1-2 to cope with CI issues.

  * index/xi/xia/xia-1.4.1.toml: new.

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2024-01-29 12:46:20 +01:00
Simon Wright 753ebd5ed4 libreadline macOS external (#976)
* Add macOS support to libreadline.

"brew info readline" shows that the library is "keg-only", i.e. it's
not symlinked into Homebrew's normally-visible include/, lib/
folders. This doesn't matter for the main usage in Alire
(gnatcoll_readline), because it's only requirement is to link against
"-lreadline". On macOS this is provided by BSD libedit.

In that case, why bother installing it? To stop alr warning
"Generating possibly incomplete environment because of missing
dependencies".

  * index/li/libreadline/libreadline-external.toml: For Homebrew & MacPorts,
      the external package is "readline".

* Add libreadline support for Centos, Fedora

  * index/li/libreadline/libreadline-external.toml: as summary.
2024-01-29 12:08:39 +01:00
Gautier de Montmollin 785780a733 Update gid-11.0.0.toml (only changed description fields) (#977)
* Update gid-11.0.0.toml

Added long description

* Update gid-11.0.0.toml

Added footnote.
2024-01-29 12:08:09 +01:00
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
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