Files
gentoo/dev-ada
Michael Mair-Keimberger daf8b0a421 dev-ada/gprbuild: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/29120
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-01-15 21:54:22 +01:00
..
2023-01-14 13:51:19 +01:00
2022-12-16 08:10:03 +01:00
2023-01-15 10:35:58 +01:00
2022-12-19 14:48:37 +01:00
2022-12-07 08:15:02 +01:00