This package is 167.4 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/o/otter/formed_3.3f-1.1_amd64.deb
.
View its full control file here:
debian/control
.
formula editor for first-order logic formulae
formed 3.3f-1.1 is in ubuntu - trusty / universe. This package's architecture is: amd64.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/formed
|
application/x-executable | root:root | 0o755 | 356.7 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/formed/
|
root:root | 0o755 | ||
/usr/share/doc/formed/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 384 bytes |
/usr/share/doc/formed/copyright
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/formed/README
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/formed.1.gz
|
application/gzip | root:root | 0o644 | 911 bytes |