Files
| -rwxr-xr-x | 1829424 | root | root | /usr/bin/alt-ergo |
| drwxr-xr-x | 4096 | root | root | /usr/share/alt-ergo |
| -rw-r--r-- | 962 | root | root | /usr/share/alt-ergo/smt_prelude.mlw |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/alt-ergo-0.92.1 |
| -rw-r--r-- | 2369 | root | root | /usr/share/doc/alt-ergo-0.92.1/CHANGES |
| -rw-r--r-- | 486 | root | root | /usr/share/doc/alt-ergo-0.92.1/COPYING |
| -rw-r--r-- | 21865 | root | root | /usr/share/doc/alt-ergo-0.92.1/CeCILL-C |
| -rw-r--r-- | 298 | root | root | /usr/share/doc/alt-ergo-0.92.1/README.alt-ergo |
| -rw-r--r-- | 786 | root | root | /usr/share/man/man1/alt-ergo.1.gz |
