/sci-mathematics/nusmv/files/
../
MiniSat_v1.14-optimizedlib.patch
MiniSat_v1.14_gcc41.patch