Index of /pub/Linux/gentoo/dev-ada/gpr/files/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
gpr-25.0.0-gcc16.patch
14.9 KiB
2025-Dec-07 08:11
gpr-26.0.0-gcc16.patch
14.6 KiB
2025-Dec-26 06:10