profiles: mask media-video/vmaid for removal
[gentoo.git] / virtual / texi2dvi /
drwxr-xr-x   ..
-rw-r--r-- 181 metadata.xml
-rw-r--r-- 500 texi2dvi-0.ebuild