-rwxr-xr-x | 3849000 | 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/38
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/92
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/d2
|
lrwxrwxrwx | 59 | root |
root |
/usr/lib/.build-id/38/4396ca45935c8b2c0c1b0a10b010fad120a8e5
|
lrwxrwxrwx | 44 | root |
root |
/usr/lib/.build-id/92/b7d00839114c75645d18d8f94fb21aedae7afa
|
lrwxrwxrwx | 28 | root |
root |
/usr/lib/.build-id/d2/230d4d5a7d7ca8aaf3b0c10605faef5b46d406
|
-rw-r--r-- | 346 | root |
root |
/usr/lib/alt-ergo/META
|
-rw-r--r-- | 3406962 | root |
root |
/usr/lib/alt-ergo/altErgoLib.a
|
-rw-r--r-- | 7776832 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cma
|
-rw-r--r-- | 496319 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmi
|
-rw-r--r-- | 7776825 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmo
|
-rw-r--r-- | 999514 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmt
|
-rw-r--r-- | 262186 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmx
|
-rw-r--r-- | 3990 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmxa
|
-rwxr-xr-x | 2296224 | root |
root |
/usr/lib/alt-ergo/altErgoLib.cmxs
|
-rw-r--r-- | 3207756 | 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 | 159084 | 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-- | 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
|