/usr/share/acl2-7.1/books/centaur/aignet/ is in acl2-books-certs 7.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/acl2-7.1/books/centaur/aignet/aig-cnf.cert
|
application/octet-stream | root:root | 0o644 | 50.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aig-sim.cert
|
application/octet-stream | root:root | 0o644 | 64.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aiger.cert
|
application/octet-stream | root:root | 0o644 | 84.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-absstobj.cert
|
application/octet-stream | root:root | 0o644 | 54.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec-thms.cert
|
application/octet-stream | root:root | 0o644 | 46.3 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec.cert
|
application/octet-stream | root:root | 0o644 | 25.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic-interface.cert
|
application/octet-stream | root:root | 0o644 | 72.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic.cert
|
application/octet-stream | root:root | 0o644 | 135.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/arrays.cert
|
application/octet-stream | root:root | 0o644 | 29.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/bit-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/cnf.cert
|
application/octet-stream | root:root | 0o644 | 85.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/construction.cert
|
application/octet-stream | root:root | 0o644 | 113.7 KB |
/usr/share/acl2-7.1/books/centaur/aignet/copying.cert
|
application/octet-stream | root:root | 0o644 | 107.0 KB |
/usr/share/acl2-7.1/books/centaur/aignet/eval.cert
|
application/octet-stream | root:root | 0o644 | 44.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig-fast.cert
|
application/octet-stream | root:root | 0o644 | 45.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig.cert
|
application/octet-stream | root:root | 0o644 | 84.0 KB |
/usr/share/acl2-7.1/books/centaur/aignet/litp.cert
|
application/octet-stream | root:root | 0o644 | 48.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/prune.cert
|
application/octet-stream | root:root | 0o644 | 98.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/refcounts.cert
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/semantics.cert
|
application/octet-stream | root:root | 0o644 | 96.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/snodes.cert
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/to-hons-aig.cert
|
application/octet-stream | root:root | 0o644 | 51.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/types.cert
|
application/octet-stream | root:root | 0o644 | 57.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/vecsim.cert
|
application/octet-stream | root:root | 0o644 | 39.2 KB |