/dev-ada/gnatcoll-core/files/

• ../
• gnatcoll-core-2018-gentoo.patch