Merge remote-tracking branch 'github/pr/703'. Fixes bug 560362.
[gentoo.git] / dev-ros / resource_retriever /
drwxr-xr-x   ..
-rw-r--r-- 390 Manifest
-rw-r--r-- 336 metadata.xml
-rw-r--r-- 414 resource_retriever-1.11.6.ebuild
-rw-r--r-- 414 resource_retriever-9999.ebuild