Files
-rwxr-xr-x | 2024828 | root | root | /usr/bin/alt-ergo |
drwxr-xr-x | 4096 | root | root | /usr/share/alt-ergo |
-rw-r--r-- | 209 | root | root | /usr/share/alt-ergo/META |
-rw-r--r-- | 210086 | root | root | /usr/share/alt-ergo/altErgo.cmi |
-rw-r--r-- | 4110426 | root | root | /usr/share/alt-ergo/altErgo.cmo |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/alt-ergo-0.95.1 |
-rw-r--r-- | 5323 | root | root | /usr/share/doc/alt-ergo-0.95.1/CHANGES |
-rw-r--r-- | 486 | root | root | /usr/share/doc/alt-ergo-0.95.1/COPYING |
-rw-r--r-- | 21865 | root | root | /usr/share/doc/alt-ergo-0.95.1/CeCILL-C |
-rw-r--r-- | 298 | root | root | /usr/share/doc/alt-ergo-0.95.1/README.alt-ergo |
-rw-r--r-- | 1177 | root | root | /usr/share/man/man1/alt-ergo.1.gz |