| -rwxr-xr-x | 1895516 | root |
root |
/usr/bin/alt-ergo
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/alt-ergo
|
| -rw-r--r-- | 164191 | root |
root |
/usr/lib/ocaml/alt-ergo/altErgo.cmi
|
| -rw-r--r-- | 3268562 | root |
root |
/usr/lib/ocaml/alt-ergo/altErgo.cmo
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/alt-ergo
|
| -rw-r--r-- | 3575 | root |
root |
/usr/share/doc/alt-ergo/CHANGES
|
| -rw-r--r-- | 21863 | root |
root |
/usr/share/doc/alt-ergo/CeCILL-C
|
| -rw-r--r-- | 1675 | root |
root |
/usr/share/doc/alt-ergo/README
|
| -rw-r--r-- | 1080 | root |
root |
/usr/share/man/man1/alt-ergo.1.xz
|
