-rwxr-xr-x | 7564536 | 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/0e
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/10
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/fc
|
lrwxrwxrwx | 28 | root |
root |
/usr/lib/.build-id/0e/023c2e68d6ba8131a782661954ab92b6c080f0
|
lrwxrwxrwx | 61 | root |
root |
/usr/lib/.build-id/10/d07665c39d7ad8a991cd7d34249a8e6e5a0646
|
lrwxrwxrwx | 46 | root |
root |
/usr/lib/.build-id/fc/bb2e9f8aa46799000e7c1c70fbd7dd9be2746b
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/alt-ergo
|
-rw-r--r-- | 342 | root |
root |
/usr/lib64/alt-ergo/META
|
-rw-r--r-- | 5327690 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.a
|
-rw-r--r-- | 7668246 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cma
|
-rw-r--r-- | 491427 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmi
|
-rw-r--r-- | 7668239 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmo
|
-rw-r--r-- | 991724 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmt
|
-rw-r--r-- | 271567 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmx
|
-rw-r--r-- | 4190 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmxa
|
-rwxr-xr-x | 4101376 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmxs
|
-rw-r--r-- | 4887040 | 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 | 280256 | 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-- | 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
|