dev-lang/gnat-gpl: remove unused patch
[gentoo.git] / dev-lang / gnat-gpl /
drwxr-xr-x   ..
-rw-r--r-- 8188 Manifest
drwxr-xr-x - files
-rw-r--r-- 4778 gnat-gpl-2016-r4.ebuild
-rw-r--r-- 4106 gnat-gpl-2017-r1.ebuild
-rw-r--r-- 4250 gnat-gpl-2018-r3.ebuild
-rw-r--r-- 4054 gnat-gpl-2019-r1.ebuild
-rw-r--r-- 2152 metadata.xml