alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,782 Commits 27 Branches 1 Tag
748c28b448ff059ae0e202947e103bbd9dbb22d8
Commit Graph

93 Commits

Author SHA1 Message Date
César Sagaert 748c28b448 gnatcoll_iconv 26.0.0 (#1738) 2026-01-06 11:35:46 +01:00
César Sagaert e6f920b3d4 gnatcoll_projects 26.0.0 (#1736) 2026-01-06 11:33:07 +01:00
César Sagaert 2cd9c0e7cc gnatcoll_zlib 26.0.0 (#1730) 2025-12-24 19:14:39 +01:00
César Sagaert 254eeb8371 gnatcoll_readline 26.0.0 (#1729) 2025-12-24 19:12:36 +01:00
César Sagaert 73216b781b gnatcoll_omp 26.0.0 (#1728) 2025-12-24 19:11:44 +01:00
César Sagaert 27fe4eba3d gnatcoll_lzma 26.0.0 (#1727) 2025-12-24 19:10:55 +01:00
César Sagaert b2f2405634 gnatcoll_gmp 26.0.0 (#1726) 2025-12-24 19:09:57 +01:00
César Sagaert db054156a1 gnatcoll 26.0.0 (#1725) 2025-12-24 19:08:34 +01:00
César Sagaert e325bc9cbc gnatcoll_minimal 26.0.0 (#1723) 2025-12-22 11:44:49 +01:00
César Sagaert b7615e306d gnat 15.2.0-1 (#1586) 2025-09-09 14:48:44 +02:00
César Sagaert 809638fab8 GNAT FSF 15.1.0 (#1500) 2025-06-04 18:58:08 +02:00
César Sagaert cee8642ff4 gnatprove fsf build for 15.1.0 (#1493) 
* gnatprove fsf build for 15.1.0

* add myself to maintainers list
 2025-05-21 11:26:21 +02:00
M. Anthony Aiello d1fe9756c8 gnatprove 14.1.1 metadata (#1444) 
Add an author, website, and long description that provides links for getting started with GNATprove
 2025-03-20 19:05:53 +01:00
Alejandro R Mosteo 1e7da33757 GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440) 
* Update gprbuild-24.0.1.toml

* GNAT 14.2.1 cross compilers

---------

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Co-authored-by: Fabien Chouteau <chouteau@adacore.com>
 2025-03-18 21:02:01 +01:00
Fabien Chouteau a4c4737be9 gnatdoc 25.2 (#1390) 2025-02-19 12:36:45 +01:00
Simon Wright ba24c9317e gnat_math_extensions 1.2.0 (via alr publish --submit) (#1306) 
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
 2024-12-09 15:29:22 +01:00
Fabien Chouteau 48f9df3812 gnatformat, lal_refactor 25.0.0 (#1284) 
* gnatformat and lal_refactor 25.0.0

* libadalang_tools-24.0.0.toml: switch builds to production

* Typos
 2024-11-13 10:40:03 +01:00
Fabien Chouteau 3e420f4661 gnatdoc, markdown, libadalang_tools 25.0.0 (#1282) 
* gnatdoc, markdown, and libadalang_tools 25.0.0

* gnatdoc: fix executables field

* libadalang_tools 25.0.0 set build mode to prod
 2024-11-06 12:04:08 +01:00
Fabien Chouteau ccfa443ac2 gnatcoll bindings and DB 25.0.0 (#1279) 2024-10-28 17:52:37 +01:00
Fabien Chouteau 23706caac0 gnatcoll, libgpr, xmlada 25.0.0 (#1273) 
* gnatcoll, libgpr, xmlada 25.0.0

* Update gnatcoll-25.0.0.toml
 2024-10-28 14:55:21 +01:00
Fabien Chouteau 22ffe9848d GNAT FSF 14.2 (#1207) 2024-08-24 14:03:43 +02:00
Fabien Chouteau 137bec496c gnatprove 14.1 on macOS (#1203) 2024-08-24 13:55:00 +02:00
Fabien Chouteau 32d9394055 gnatprove 14.1.1 (#1118) 2024-07-19 14:15:42 +02:00
Maxim Reznik f8893d9989 GNAT 14.1 for MacOS X ARM64 (#1115) 2024-07-08 18:08:16 +02:00
Fabien Chouteau 9876169397 GNAT FSF 14.1.3 (#1087) 
* GNAT FSF 14.1

* Replace GNAT 14.1.2 by 14.1.3

This new build fixes a problem with Arm Cortex-M run-times.

* Update gnat_native-14.1.3.toml
 2024-06-10 10:37:12 +02:00
Alejandro R Mosteo e255cb600a gnoga metadata: removed conflicting project variable settings (#1082) 
* Removed conflicting project variable settings

* Missing externals to increase compatibility

* Restore lost variable in gnoga
 2024-05-31 11:57:30 +02:00
Maxim Reznik ad964cb014 gnat_native 13.2.2 for macOS X aarch64 (#1013) 
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
 2024-04-05 19:07:33 +02:00
Alejandro R. Mosteo e04f0d4da2 Bump version to 1.3 and related fixes 2024-02-29 09:35:55 +01:00
Fabien Chouteau 2903f7f5c7 gnatdoc 24.0.0 (#971) 2024-01-19 19:01:09 +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
Rowan Walshe 064bfe6e31 gnat/gprbuild external broader regex (#924) 2023-11-27 16:35:10 +01:00
Fabien Chouteau 49b8a71a00 AdaCore libraries 24.0 (#921) 2023-11-20 18:38:49 +01:00
Fabien Chouteau 6a964e7a2b gnatprove 13.2.1: GPR_PROJECT_PATH for sparklib (#917) 2023-11-13 19:11:41 +01:00
Fabien Chouteau 543c19cb46 gnatprove 13.2.1 (#916) 2023-11-10 10:02:06 +01:00
Fabien Chouteau 0ffe703dec GNAT FSF 13.2.1 (#908) 2023-10-19 11:00:25 +02:00
Fabien Chouteau 3a01f97f06 gnat_native, gnat_riscv_elf, gnat_avr_elf, gnat_arm_elf 13.1.0 on macOS (#907) 2023-10-10 12:22:52 +02:00
Fabien Chouteau 7136f5a8b3 gnat_native, gnat_arm_elf, gnat_avr_elf, gnat_riscv64_elf 13.1.0 (#890) 
* GNAT 13.1 Native, ARM, RISC-V and AVR hosted on Windows x86_64 and Linux x86_64

* Fix tarball URLs
 2023-09-06 10:05:22 +02:00
Maxim Reznik a42f59e0fb Add gnatdoc 23.0 (#686) 2022-11-16 17:00:40 +01:00
Fabien Chouteau 7253e60c03 aunit, gnatcoll, lal, xmlada... 23.0.0 (#668) 
* First batch of 23.0.0 releases for GNATcoll, LAL, XMLAda, etc.

* Update libadalang_tools-23.0.0.toml
 2022-10-31 10:55:51 +01:00
Fabien Chouteau 244a85d34f GNAT FSF 12.2.1 (#664) 
* GNAT FSF 12.2.1

* Convert case(word-size) to case(host-arch) in binary crates
 2022-10-25 20:31:09 +02:00
Blady-Com 58f1131b7e gnoga 1.6.2, gnoga 2.1.2 (#607) 2022-08-18 11:02:05 +02:00
Fabien Chouteau 4ded60916f gnat, gnatprove 12.1.1 (#550) 
* gnatprove-12.1.1

* Update gnatprove-12.1.1.toml

* Update gnatprove-12.1.1.toml

* GNAT and GNATprove 12.1.1

* Update gnat_riscv64_elf-12.1.1.toml

* Update gnat_native-12.1.1.toml

* GNAT FSF 12.1.2

* Update gnat_native-12.1.2.toml
 2022-07-27 11:28:24 +02:00
Fabien Chouteau 7b7c753344 gnatcoll 22.0.0: set build mode to PROD (#570) 2022-07-19 10:37:01 +02:00
Simon Wright 245294cf39 gnat_math_extensions 1.1.0 (#547) 
* gnat_math_extensions 1.1.0 - first Alire release (the project started
  in 2010).
 2022-06-21 17:49:01 +02:00
Maxim Reznik d8afd1e41a Annex E: garlic and gnatdist (#553) 2022-06-20 10:24:03 +02:00
Fabien Chouteau 7a09619df4 gnatprove 11.2.3, gnat 11.2.4 (#488) 2022-03-31 21:47:00 +02:00
Fabien Chouteau 680313cbaf gnat 11.2.3 (#407) 2021-11-19 12:25:14 +01:00
Fabien Chouteau c7315f8c83 gnatcov 22.0.1 (#406) 
* GNATcov 22.0.1

* GPRbuild 22.0.1

* GNATcov: add tags
 2021-11-19 12:24:47 +01:00
Fabien Chouteau 134fff113b gnatcoll_{core|db|bindings} 22.0.0 (#392) 2021-11-03 06:57:53 +01:00
Fabien Chouteau 3ee44941ee gnatcov: add missing GPR_PROJECT_PATH for instrumentation run-time (#378) 2021-10-07 09:15:51 +02:00