Commit Graph

13 Commits

Author SHA1 Message Date
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
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 22ffe9848d GNAT FSF 14.2 (#1207) 2024-08-24 14:03:43 +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 e04f0d4da2 Bump version to 1.3 and related fixes 2024-02-29 09:35:55 +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
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
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
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 7a09619df4 gnatprove 11.2.3, gnat 11.2.4 (#488) 2022-03-31 21:47:00 +02:00