-rwxr-xr-x | 5150984 | root |
root |
/usr/bin/alt-ergo
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/3a
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/56
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/5a
|
lrwxrwxrwx | 61 | root |
root |
/usr/lib/.build-id/3a/0ee7c57a789a461df2e650bfacd8908c31fd41
|
lrwxrwxrwx | 28 | root |
root |
/usr/lib/.build-id/56/3e673821309e1ff5e55b81aaad0863fb3a4b33
|
lrwxrwxrwx | 46 | root |
root |
/usr/lib/.build-id/5a/60319796f35ae3a220f8b56d519fed1ded8012
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/alt-ergo
|
-rw-r--r-- | 346 | root |
root |
/usr/lib64/alt-ergo/META
|
-rw-r--r-- | 5303150 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.a
|
-rw-r--r-- | 7776838 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cma
|
-rw-r--r-- | 496319 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmi
|
-rw-r--r-- | 7776831 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmo
|
-rw-r--r-- | 999530 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmt
|
-rw-r--r-- | 262324 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmx
|
-rw-r--r-- | 3990 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmxa
|
-rwxr-xr-x | 3457200 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmxs
|
-rw-r--r-- | 5103944 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.o
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/alt-ergo/plugins
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/alt-ergo/preludes
|
-rwxr-xr-x | 244296 | root |
root |
/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs
|
-rw-r--r-- | 31579 | root |
root |
/usr/lib64/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/alt-ergo
|
-rw-r--r-- | 19199 | 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
|