-rwxr-xr-x | 6617608 | 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/2f
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/3d
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/a0
|
lrwxrwxrwx | 61 | root |
root |
/usr/lib/.build-id/2f/3f16c850541fa86e0c7cf637297e6c7d41128f
|
lrwxrwxrwx | 28 | root |
root |
/usr/lib/.build-id/3d/95fab9f6bb6c2ff0b232629a7ea4dd18facfa3
|
lrwxrwxrwx | 46 | root |
root |
/usr/lib/.build-id/a0/55c60dde8b7e4a058ce38d6047b02b5c18fa2d
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/alt-ergo
|
-rw-r--r-- | 342 | root |
root |
/usr/lib64/alt-ergo/META
|
-rw-r--r-- | 5303828 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.a
|
-rw-r--r-- | 8610037 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cma
|
-rw-r--r-- | 520731 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmi
|
-rw-r--r-- | 8610030 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmo
|
-rw-r--r-- | 1050023 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmt
|
-rw-r--r-- | 347784 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmx
|
-rw-r--r-- | 4147 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmxa
|
-rwxr-xr-x | 3149912 | root |
root |
/usr/lib64/alt-ergo/altErgoLib.cmxs
|
-rw-r--r-- | 5112624 | 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 | 224608 | 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
|