| -rwxr-xr-x | 5886260 | root |
root |
/usr/bin/alt-ergo
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/alt-ergo
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/c5
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/c6
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/eb
|
| lrwxrwxrwx | 44 | root |
root |
/usr/lib/.build-id/c5/63644e03dd990684875ee358ac6c538578ea2c
|
| lrwxrwxrwx | 28 | root |
root |
/usr/lib/.build-id/c6/4e3ca5a2f442279b794bed976ad75825d922b5
|
| lrwxrwxrwx | 59 | root |
root |
/usr/lib/.build-id/eb/e1bfd98c66104b92b16196c4666b982dd6e672
|
| -rw-r--r-- | 342 | root |
root |
/usr/lib/alt-ergo/META
|
| -rw-r--r-- | 3679228 | root |
root |
/usr/lib/alt-ergo/altErgoLib.a
|
| -rw-r--r-- | 8610031 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cma
|
| -rw-r--r-- | 520731 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmi
|
| -rw-r--r-- | 8610024 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmo
|
| -rw-r--r-- | 1050011 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmt
|
| -rw-r--r-- | 347778 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmx
|
| -rw-r--r-- | 4147 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmxa
|
| -rwxr-xr-x | 2714336 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmxs
|
| -rw-r--r-- | 3488024 | root |
root |
/usr/lib/alt-ergo/altErgoLib.o
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/alt-ergo/plugins
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/alt-ergo/preludes
|
| -rwxr-xr-x | 181092 | root |
root |
/usr/lib/alt-ergo/plugins/fm-simplex-plugin.cmxs
|
| -rw-r--r-- | 31579 | root |
root |
/usr/lib/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/alt-ergo
|
| -rw-r--r-- | 19393 | root |
root |
/usr/share/doc/alt-ergo/CHANGES
|
| -rw-r--r-- | 1263 | root |
root |
/usr/share/doc/alt-ergo/LICENSE.md
|
| -rw-r--r-- | 722 | root |
root |
/usr/share/doc/alt-ergo/README.md
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/alt-ergo/doc
|
| -rw-r--r-- | 2301 | root |
root |
/usr/share/doc/alt-ergo/doc/alt-ergo.1
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/alt-ergo/doc/gtk-lang
|
| -rw-r--r-- | 7490 | root |
root |
/usr/share/doc/alt-ergo/doc/gtk-lang/alt-ergo.lang
|
| -rw-r--r-- | 1260 | root |
root |
/usr/share/man/man1/alt-ergo.1.xz
|
