From bf0d1efd501242b6b65af7a9f25deea33d3bdaac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= Date: Tue, 16 May 2023 12:02:03 +0200 Subject: [PATCH] libports: update ada-runtime .ali files for GCC 12 Issue #4880. --- repos/libports/ports/ada-runtime.port | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/libports/ports/ada-runtime.port b/repos/libports/ports/ada-runtime.port index a9bbbebd403..feee7b415ac 100644 --- a/repos/libports/ports/ada-runtime.port +++ b/repos/libports/ports/ada-runtime.port @@ -6,6 +6,6 @@ URL(ada-runtime) := https://github.com/m-stein/ada-runtime.git REV(ada-runtime) := c3e46dbb46a088cc305addee4556062c7624eb90 DIR(ada-runtime) := ada-runtime -URL(ada-runtime-alis) := https://github.com/m-stein/ada-runtime-alis.git -REV(ada-runtime-alis) := de89be3a0eba9ee46ef870b234d1234b84c0beb0 +URL(ada-runtime-alis) := https://github.com/cnuke/ada-runtime-alis.git +REV(ada-runtime-alis) := 7af7f59cccb52ed472895f4ec095260716233c13 DIR(ada-runtime-alis) := ada-runtime-alis