This package is 12.3 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/c/cafeobj/cafeobj_1.5.7-1_amd64.deb
.
View its full control file here:
debian/control.
new generation algebraic specification and programming language
cafeobj 1.5.7-1 is in ubuntu - bionic / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/cafeobj
|
text/x-shellscript | root:root | 0o755 | 5.3 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/cafeobj-1.5/
|
root:root | 0o755 | ||
/usr/lib/cafeobj-1.5/sbcl/
|
root:root | 0o755 | ||
/usr/lib/cafeobj-1.5/sbcl/cafeobj.sbcl
|
application/x-executable | root:root | 0o755 | 56.9 MB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/cafeobj-1.5/
|
root:root | 0o755 | ||
/usr/share/cafeobj-1.5/lib/
|
root:root | 0o755 | ||
/usr/share/cafeobj-1.5/lib/2tuple.cafe
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/cafeobj-1.5/lib/3tuple.cafe
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/cafeobj-1.5/lib/4tuple.cafe
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/cafeobj-1.5/lib/base_bool.cafe
|
text/x-lisp | root:root | 0o644 | 2.2 KB |
/usr/share/cafeobj-1.5/lib/bool.cafe
|
text/x-lisp | root:root | 0o644 | 3.9 KB |
/usr/share/cafeobj-1.5/lib/bool+.cafe
|
text/plain | root:root | 0o644 | 446 bytes |
/usr/share/cafeobj-1.5/lib/character.cafe
|
text/x-lisp | root:root | 0o644 | 3.6 KB |
/usr/share/cafeobj-1.5/lib/eql.cafe
|
text/x-lisp | root:root | 0o644 | 2.6 KB |
/usr/share/cafeobj-1.5/lib/float.cafe
|
text/x-lisp | root:root | 0o644 | 3.5 KB |
/usr/share/cafeobj-1.5/lib/fopl.cafe
|
text/x-lisp | root:root | 0o644 | 13.7 KB |
/usr/share/cafeobj-1.5/lib/identical.cafe
|
text/x-lisp | root:root | 0o644 | 3.0 KB |
/usr/share/cafeobj-1.5/lib/int.cafe
|
text/x-lisp | root:root | 0o644 | 3.0 KB |
/usr/share/cafeobj-1.5/lib/metalevel.cafe
|
text/plain | root:root | 0o644 | 15.5 KB |
/usr/share/cafeobj-1.5/lib/nat.cafe
|
text/x-lisp | root:root | 0o644 | 3.1 KB |
/usr/share/cafeobj-1.5/lib/ntruth.cafe
|
text/x-lisp | root:root | 0o644 | 4.7 KB |
/usr/share/cafeobj-1.5/lib/nznat.cafe
|
text/x-lisp | root:root | 0o644 | 2.8 KB |
/usr/share/cafeobj-1.5/lib/qid.cafe
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/cafeobj-1.5/lib/rat.cafe
|
text/x-lisp | root:root | 0o644 | 2.9 KB |
/usr/share/cafeobj-1.5/lib/rwl.cafe
|
text/plain | root:root | 0o644 | 15.0 KB |
/usr/share/cafeobj-1.5/lib/string.cafe
|
text/x-lisp | root:root | 0o644 | 3.5 KB |
/usr/share/cafeobj-1.5/lib/sys_bool.cafe
|
text/x-lisp | root:root | 0o644 | 2.4 KB |
/usr/share/cafeobj-1.5/lib/truth.cafe
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/cafeobj-1.5/prelude/
|
root:root | 0o755 | ||
/usr/share/cafeobj-1.5/prelude/std.bin
|
text/x-lisp | root:root | 0o644 | 2.3 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/cafeobj/
|
root:root | 0o755 | ||
/usr/share/doc/cafeobj/binspect.pdf
|
application/pdf | root:root | 0o644 | 80.2 KB |
/usr/share/doc/cafeobj/cafe-citp.txt.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/cafeobj/cafeobj-logo.png
|
image/png | root:root | 0o644 | 188.1 KB |
/usr/share/doc/cafeobj/cafeobj-logo-small.png
|
image/png | root:root | 0o644 | 14.6 KB |
/usr/share/doc/cafeobj/cafeobj-mode.el.gz
|
application/gzip | root:root | 0o644 | 22.1 KB |
/usr/share/doc/cafeobj/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1023 bytes |
/usr/share/doc/cafeobj/citp.pdf
|
application/pdf | root:root | 0o644 | 208.1 KB |
/usr/share/doc/cafeobj/copyright
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/doc/cafeobj/examples/
|
root:root | 0o755 | ||
/usr/share/doc/cafeobj/examples/atm.mod.gz
|
application/gzip | root:root | 0o644 | 4.5 KB |
/usr/share/doc/cafeobj/examples/bag.mod
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/doc/cafeobj/examples/bank-account.mod.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/cafeobj/examples/blist.mod
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/cafeobj/examples/bset.mod.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/cafeobj/examples/counter.mod
|
text/x-lisp | root:root | 0o644 | 2.4 KB |
/usr/share/doc/cafeobj/examples/cws.mod.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/cafeobj/examples/debt-red.mod.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/cafeobj/examples/flag.mod
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/doc/cafeobj/examples/hss.mod
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/doc/cafeobj/examples/integer.mod
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/doc/cafeobj/examples/list.mod
|
text/plain | root:root | 0o644 | 958 bytes |
/usr/share/doc/cafeobj/examples/monoid.mod.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/cafeobj/examples/nat-omega.mod
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/cafeobj/examples/nnat-hsa.mod
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/cafeobj/examples/nnat-rwl.mod
|
text/plain | root:root | 0o644 | 569 bytes |
/usr/share/doc/cafeobj/examples/path.mod
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/cafeobj/examples/sieve.mod
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/doc/cafeobj/examples/simple-nat.mod
|
text/plain | root:root | 0o644 | 738 bytes |
/usr/share/doc/cafeobj/examples/sorting.mod.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/cafeobj/examples/tel.mod
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/doc/cafeobj/examples/ubuffer.mod.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/cafeobj/examples/watch.mod.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/cafeobj/interp.pdf
|
application/pdf | root:root | 0o644 | 118.2 KB |
/usr/share/doc/cafeobj/manual.pdf
|
application/pdf | root:root | 0o644 | 1003.6 KB |
/usr/share/doc/cafeobj/namespace.pdf
|
application/pdf | root:root | 0o644 | 143.1 KB |
/usr/share/doc/cafeobj/pnguide.pdf
|
application/pdf | root:root | 0o644 | 437.2 KB |
/usr/share/doc/cafeobj/README.md
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/doc/cafeobj/reference-manual.pdf
|
application/pdf | root:root | 0o644 | 196.3 KB |
/usr/share/doc/cafeobj/search-predicate.pdf
|
application/pdf | root:root | 0o644 | 127.6 KB |
/usr/share/doc/cafeobj/syntax.pdf
|
application/pdf | root:root | 0o644 | 52.4 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/cafeobj.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |