cafeobj (1.6.0-2build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- amd64v3
- Section
- universe/science
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 56 kB
- Size expected
- 14 MB
- Size actual
- 14 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
new generation algebraic specification and programming language
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 00d2a299…b02dc93b | |
| SHA-1 | a1e68770…aa5bd35c | |
| SHA-256 | 9eed3b40…4a445489 | |
| SHA-512 | 29bddec5…73a4f369 |
Contents
Files and directories included
. usr usr/bin usr/bin/cafeobj usr/lib usr/lib/cafeobj-1.6 usr/lib/cafeobj-1.6/sbcl usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl usr/share usr/share/cafeobj-1.6 usr/share/cafeobj-1.6/lib usr/share/cafeobj-1.6/lib/2tuple.cafe usr/share/cafeobj-1.6/lib/3tuple.cafe usr/share/cafeobj-1.6/lib/4tuple.cafe usr/share/cafeobj-1.6/lib/base_bool.cafe usr/share/cafeobj-1.6/lib/bool+.cafe usr/share/cafeobj-1.6/lib/bool.cafe usr/share/cafeobj-1.6/lib/character.cafe usr/share/cafeobj-1.6/lib/eql.cafe usr/share/cafeobj-1.6/lib/float.cafe usr/share/cafeobj-1.6/lib/fopl.cafe usr/share/cafeobj-1.6/lib/identical.cafe usr/share/cafeobj-1.6/lib/int.cafe usr/share/cafeobj-1.6/lib/metalevel.cafe usr/share/cafeobj-1.6/lib/nat.cafe usr/share/cafeobj-1.6/lib/ntruth.cafe usr/share/cafeobj-1.6/lib/nznat.cafe usr/share/cafeobj-1.6/lib/qid.cafe usr/share/cafeobj-1.6/lib/rat.cafe usr/share/cafeobj-1.6/lib/rwl.cafe usr/share/cafeobj-1.6/lib/string.cafe usr/share/cafeobj-1.6/lib/sys_bool.cafe usr/share/cafeobj-1.6/lib/truth.cafe usr/share/cafeobj-1.6/prelude usr/share/cafeobj-1.6/prelude/std.bin usr/share/doc usr/share/doc/cafeobj usr/share/doc/cafeobj/README.md usr/share/doc/cafeobj/binspect.pdf usr/share/doc/cafeobj/cafe-citp.txt.gz usr/share/doc/cafeobj/cafeobj-logo-small.png usr/share/doc/cafeobj/cafeobj-logo.png usr/share/doc/cafeobj/cafeobj-mode.el.gz usr/share/doc/cafeobj/changelog.Debian.gz usr/share/doc/cafeobj/citp.pdf usr/share/doc/cafeobj/copyright usr/share/doc/cafeobj/examples usr/share/doc/cafeobj/examples/atm.mod.gz usr/share/doc/cafeobj/examples/bag.mod usr/share/doc/cafeobj/examples/bank-account.mod.gz usr/share/doc/cafeobj/examples/blist.mod usr/share/doc/cafeobj/examples/bset.mod.gz usr/share/doc/cafeobj/examples/counter.mod usr/share/doc/cafeobj/examples/cws.mod.gz usr/share/doc/cafeobj/examples/debt-red.mod.gz usr/share/doc/cafeobj/examples/flag.mod usr/share/doc/cafeobj/examples/hss.mod usr/share/doc/cafeobj/examples/integer.mod usr/share/doc/cafeobj/examples/list.mod usr/share/doc/cafeobj/examples/monoid.mod.gz usr/share/doc/cafeobj/examples/nat-omega.mod usr/share/doc/cafeobj/examples/nnat-hsa.mod usr/share/doc/cafeobj/examples/nnat-rwl.mod usr/share/doc/cafeobj/examples/path.mod usr/share/doc/cafeobj/examples/sieve.mod usr/share/doc/cafeobj/examples/simple-nat.mod usr/share/doc/cafeobj/examples/sorting.mod.gz usr/share/doc/cafeobj/examples/tel.mod usr/share/doc/cafeobj/examples/ubuffer.mod.gz usr/share/doc/cafeobj/examples/watch.mod.gz usr/share/doc/cafeobj/interp.pdf usr/share/doc/cafeobj/manual.pdf usr/share/doc/cafeobj/namespace.pdf usr/share/doc/cafeobj/pnguide.pdf usr/share/doc/cafeobj/reference-manual.pdf usr/share/doc/cafeobj/search-predicate.pdf usr/share/doc/cafeobj/syntax.pdf usr/share/man usr/share/man/man1 usr/share/man/man1/cafeobj.1.gz