/sci-mathematics/nusmv/files/

• ../
• MiniSat_v1.14-optimizedlib.patch
• digest-nusmv-2.3.1