app-eselect/eselect-lcdfilter: x86 stable wrt bug #699680
[gentoo.git] / sci-mathematics / nusmv /
drwxr-xr-x   ..
-rw-r--r-- 616 Manifest
-rw-r--r-- 475 metadata.xml
-rw-r--r-- 2385 nusmv-2.6.0.ebuild