Lista plików pakietu minisat2 z gałęzi lucid na architekturę i386

/usr/bin/minisat2
/usr/include/minisat2/Alg.h
/usr/include/minisat2/BasicHeap.h
/usr/include/minisat2/BoxedVec.h
/usr/include/minisat2/Heap.h
/usr/include/minisat2/Map.h
/usr/include/minisat2/Queue.h
/usr/include/minisat2/Solver.h
/usr/include/minisat2/SolverTypes.h
/usr/include/minisat2/Sort.h
/usr/include/minisat2/Vec.h
/usr/lib/libminisat.a
/usr/lib/libminisat.so
/usr/lib/libminisat.so.1
/usr/lib/libminisat.so.1.0.0
/usr/share/doc-base/minisat-user-guide
/usr/share/doc/minisat2/changelog.Debian.gz
/usr/share/doc/minisat2/copyright
/usr/share/doc/minisat2/minisat-user-guide.html
/usr/share/man/man1/minisat2.1.gz