media-libs/libextractor: remove unused patches
[gentoo.git] / dev-util / opencl-headers /
drwxr-xr-x   ..
-rw-r--r-- 317 Manifest
-rw-r--r-- 1055 metadata.xml
-rw-r--r-- 609 opencl-headers-2020.03.13-r1.ebuild