 César Sagaert
|
155321e60f
|
gnatdoc_bin 26.0.0 metadata fix path (#1900)
|
2026-05-11 13:22:39 +02:00 |
|
|
César Sagaert
|
d227e36248
|
gnatcov_bin 26.2.1 (#1887)
|
2026-05-04 17:16:57 +02:00 |
|
|
César Sagaert
|
b7111626c5
|
gnatdoc_bin 26.0.0 (#1883)
|
2026-05-04 17:16:24 +02:00 |
|
|
César Sagaert
|
757423a167
|
gnatcov 26.2 (#1874)
|
2026-04-20 15:01:41 +02:00 |
|
|
César Sagaert
|
9dd280537c
|
libgnatdoc 26.0.0 (#1786)
|
2026-01-26 10:14:32 +01:00 |
|
|
César Sagaert
|
9ecbbfb0f9
|
sparklib 15.1.0 (#1779)
|
2026-01-21 12:13:10 +01:00 |
|
|
César Sagaert
|
3b5d80d479
|
gnatformat relocatable fix (#1781)
|
2026-01-21 10:30:16 +01:00 |
|
|
César Sagaert
|
30f7667c93
|
gnatcoll_xref 26.0.0 (#1777)
|
2026-01-20 18:14:17 +01:00 |
|
|
César Sagaert
|
ac62c85b86
|
gnattest 26.0.0 (#1774)
|
2026-01-16 17:17:57 +01:00 |
|
|
César Sagaert
|
dc8ed3e87b
|
remove gnatcoll_core build action (#1772)
|
2026-01-16 14:21:09 +01:00 |
|
|
César Sagaert
|
4fa3e6acde
|
gnatcoll_sqlite 26.0.0 (#1755)
|
2026-01-08 20:53:47 +01:00 |
|
|
César Sagaert
|
670898f1fb
|
gnatcoll_postgres 26.0.0 (#1754)
|
2026-01-08 20:50:33 +01:00 |
|
|
César Sagaert
|
1097de8421
|
gnatdoc 26.0.0 (#1750)
|
2026-01-08 19:08:34 +01:00 |
|
|
César Sagaert
|
791cade5fc
|
gnatformat 26.0.0 (#1749)
|
2026-01-08 18:07:01 +01:00 |
|
|
César Sagaert
|
6fa5de7a24
|
fix: limit GNAT version for gnatdoc (#1737)
|
2026-01-07 10:23:35 +01:00 |
|
|
César Sagaert
|
dd62206b06
|
gnatcoll_sql 26.0.0 (#1745)
|
2026-01-06 16:34:53 +01:00 |
|
|
César Sagaert
|
099b689b85
|
gnatcoll_syslog 26.0.0 (#1739)
|
2026-01-06 11:36:23 +01:00 |
|
|
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 |
|