/usr/ is in minisat 1:2.2.1-5+b3.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/minisat
|
application/x-sharedlib | root:root | 0o755 | 22.7 KB |
/usr/include/
|
root:root | 0o755 | ||
/usr/include/minisat/
|
root:root | 0o755 | ||
/usr/include/minisat/core/
|
root:root | 0o755 | ||
/usr/include/minisat/core/Dimacs.h
|
text/x-c | root:root | 0o644 | 3.2 KB |
/usr/include/minisat/core/Solver.h
|
text/x-c++ | root:root | 0o644 | 21.6 KB |
/usr/include/minisat/core/SolverTypes.h
|
text/x-c++ | root:root | 0o644 | 15.2 KB |
/usr/include/minisat/mtl/
|
root:root | 0o755 | ||
/usr/include/minisat/mtl/Alg.h
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/include/minisat/mtl/Alloc.h
|
text/x-c | root:root | 0o644 | 4.3 KB |
/usr/include/minisat/mtl/Heap.h
|
text/x-c | root:root | 0o644 | 4.6 KB |
/usr/include/minisat/mtl/IntTypes.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/include/minisat/mtl/Map.h
|
text/x-c | root:root | 0o644 | 6.5 KB |
/usr/include/minisat/mtl/Queue.h
|
text/x-c++ | root:root | 0o644 | 2.9 KB |
/usr/include/minisat/mtl/Sort.h
|
text/x-c++ | root:root | 0o644 | 3.2 KB |
/usr/include/minisat/mtl/Vec.h
|
text/x-c++ | root:root | 0o644 | 5.4 KB |
/usr/include/minisat/mtl/XAlloc.h
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/include/minisat/simp/
|
root:root | 0o755 | ||
/usr/include/minisat/simp/SimpSolver.h
|
text/x-c | root:root | 0o644 | 9.5 KB |
/usr/include/minisat/utils/
|
root:root | 0o755 | ||
/usr/include/minisat/utils/Options.h
|
text/x-c | root:root | 0o644 | 11.9 KB |
/usr/include/minisat/utils/ParseUtils.h
|
text/x-c++ | root:root | 0o644 | 3.9 KB |
/usr/include/minisat/utils/System.h
|
text/x-c | root:root | 0o644 | 2.4 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/libminisat.a
|
application/x-archive | root:root | 0o644 | 154.3 KB |
/usr/lib/libminisat.so.2.1.0
|
application/x-sharedlib | root:root | 0o644 | 78.9 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/minisat/
|
root:root | 0o755 | ||
/usr/share/doc/minisat/changelog.Debian.amd64.gz
|
application/gzip | root:root | 0o644 | 221 bytes |
/usr/share/doc/minisat/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/minisat/changelog.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/minisat/copyright
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/minisat/minisat-user-guide.html
|
text/html | root:root | 0o644 | 8.1 KB |
/usr/share/doc-base/
|
root:root | 0o755 | ||
/usr/share/doc-base/minisat-user-guide
|
text/plain | root:root | 0o644 | 481 bytes |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/minisat.1.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/lib/libminisat.so
|
root:root | 0o777 | ||
/usr/lib/libminisat.so.2
|
root:root | 0o777 |