| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| gnatcoll-core-2018-gentoo.patch | 2018-Nov-20 19:09:26 | 0.5K | text/x-diff |
| gnatcoll-core-24.0.0-gentoo.patch | 2024-Mar-01 21:10:34 | 0.6K | text/x-diff |
| gnatcoll-core-25.0.0-gentoo.patch | 2025-Jan-09 20:10:59 | 0.5K | text/x-diff |