cafeobj - amd64

./doc/copyright ./doc/cafeobj-mode.el.gz ./doc/reference-manual.pdf.gz ./doc/examples/watch.mod.gz ./doc/examples/ubuffer.mod.gz ./doc/examples/counter.mod ./doc/examples/nat-omega.mod ./doc/examples/tel.mod ./doc/examples/sorting.mod.gz ./doc/examples/flag.mod ./doc/examples/debt-red.mod.gz ./doc/examples/bank-account.mod.gz ./doc/examples/integer.mod ./doc/examples/bag.mod ./doc/examples/monoid.mod.gz ./doc/examples/bset.mod.gz ./doc/examples/blist.mod ./doc/examples/path.mod ./doc/examples/simple-nat.mod ./doc/examples/cws.mod.gz ./doc/examples/sieve.mod ./doc/examples/atm.mod.gz ./doc/examples/nnat-hsa.mod ./doc/examples/hss.mod ./doc/examples/list.mod ./doc/examples/nnat-rwl.mod ./doc/README.md ./doc/cafeobj-logo-small.png ./doc/cafeobj-logo.png ./doc/manual.pdf.gz ./doc/cafe-citp.txt.gz ./doc/pnguide.pdf.gz ./doc/interp.pdf.gz ./doc/changelog.Debian.gz ./doc/syntax.pdf.gz