drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/70
|
lrwxrwxrwx | 59 | root |
root |
/usr/lib/.build-id/70/a50609829a38004e533621012726de0e8bd8dc
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/psmt2-frontend
|
-rw-r--r-- | 342 | root |
root |
/usr/lib/ocaml/psmt2-frontend/META
|
-rw-r--r-- | 119 | root |
root |
/usr/lib/ocaml/psmt2-frontend/options.mli
|
-rw-r--r-- | 1279124 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
|
-rw-r--r-- | 1986253 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
|
-rw-r--r-- | 62805 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi
|
-rw-r--r-- | 1986246 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmo
|
-rw-r--r-- | 129024 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmt
|
-rw-r--r-- | 539055 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmx
|
-rw-r--r-- | 1207 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxa
|
-rwxr-xr-x | 1113512 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs
|
-rw-r--r-- | 1240720 | root |
root |
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.o
|
-rw-r--r-- | 1807 | root |
root |
/usr/lib/ocaml/psmt2-frontend/smtlib_parser.mli
|
-rw-r--r-- | 0 | root |
root |
/usr/lib/ocaml/psmt2-frontend/version.mli
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/ocaml-psmt2-frontend
|
-rw-r--r-- | 83 | root |
root |
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
|
-rw-r--r-- | 917 | root |
root |
/usr/share/doc/ocaml-psmt2-frontend/README.md
|