cafeobj_1.5.9-1+b1_amd64.deb


Advertisement

Description

cafeobj - new generation algebraic specification and programming language

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename cafeobj_1.5.9-1+b1_amd64.deb
Package name cafeobj
Package version 1.5.9
Package release 1+b1
Package architecture amd64
Package type deb
Category science
Homepage http://cafeobj.org/
License -
Maintainer Norbert Preining <norbert@preining.info>
Download size 12.04 MB
Installed size 54.42 MB

Alternatives

Package Version Architecture Repository
cafeobj_1.5.9-1_i386.deb 1.5.9 i386 Debian Main
cafeobj - - -

Requires

Name Value
libc6 >= 2.28
zlib1g >= 1:1.1.4

Download

Type URL
Mirror ftp.br.debian.org
Binary Package cafeobj_1.5.9-1+b1_amd64.deb
Source Package cafeobj

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install cafeobj deb package:
    # sudo apt-get install cafeobj

Files

Path
/usr/bin/cafeobj
/usr/lib/cafeobj-1.5/sbcl/cafeobj.sbcl
/usr/share/cafeobj-1.5/lib/2tuple.cafe
/usr/share/cafeobj-1.5/lib/3tuple.cafe
/usr/share/cafeobj-1.5/lib/4tuple.cafe
/usr/share/cafeobj-1.5/lib/base_bool.cafe
/usr/share/cafeobj-1.5/lib/bool+.cafe
/usr/share/cafeobj-1.5/lib/bool.cafe
/usr/share/cafeobj-1.5/lib/character.cafe
/usr/share/cafeobj-1.5/lib/eql.cafe
/usr/share/cafeobj-1.5/lib/float.cafe
/usr/share/cafeobj-1.5/lib/fopl.cafe
/usr/share/cafeobj-1.5/lib/identical.cafe
/usr/share/cafeobj-1.5/lib/int.cafe
/usr/share/cafeobj-1.5/lib/metalevel.cafe
/usr/share/cafeobj-1.5/lib/nat.cafe
/usr/share/cafeobj-1.5/lib/ntruth.cafe
/usr/share/cafeobj-1.5/lib/nznat.cafe
/usr/share/cafeobj-1.5/lib/qid.cafe
/usr/share/cafeobj-1.5/lib/rat.cafe
/usr/share/cafeobj-1.5/lib/rwl.cafe
/usr/share/cafeobj-1.5/lib/string.cafe
/usr/share/cafeobj-1.5/lib/sys_bool.cafe
/usr/share/cafeobj-1.5/lib/truth.cafe
/usr/share/cafeobj-1.5/prelude/std.bin
/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.amd64.gz
/usr/share/doc/cafeobj/changelog.Debian.gz
/usr/share/doc/cafeobj/citp.pdf
/usr/share/doc/cafeobj/copyright
/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/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/man/man1/cafeobj.1.gz

Changelog

2019-01-19 - Norbert Preining <norbert@preining.info>
cafeobj (1.5.9-1) unstable; urgency=medium
* new upstream release
2018-08-23 - Norbert Preining <preining@debian.org>
cafeobj (1.5.8-1) unstable; urgency=medium
* new upstream release
* bump standards version, no changes necessary
2018-05-21 - Norbert Preining <preining@debian.org>
cafeobj (1.5.7-4) unstable; urgency=medium
* ship prebuild documentation file and remove all of pandoc dependency
2018-05-08 - Norbert Preining <preining@debian.org>
cafeobj (1.5.7-3) unstable; urgency=medium
* exclude pandoc on armhf in B-Ds, lagging behind too badly
2018-05-01 - Norbert Preining <preining@debian.org>
cafeobj (1.5.7-2) unstable; urgency=medium
* fix FTBFS with new pandoc (Closes: #897105)
2018-02-26 - Norbert Preining <preining@debian.org>
cafeobj (1.5.7-1) unstable; urgency=medium
* new upstream releases
- fixes FTBFS with new sbcl (Closes: #881192)
* clean up patches
* bump standards version, no changes necessary
* update development location
* bump dh compat to level 10
2016-07-27 - Norbert Preining <preining@debian.org>
cafeobj (1.5.5-1) unstable; urgency=medium
* new upstream release
* update copyright file
* debian/control: update Vcs and homepage fields
* fix emacs startup file, thanks to Kevin Ryde (Closes: #806932)
* cherry pick upstream change to use tikz instead of graffle generated
images in namespace documentation
* adjust autoconf files to rebuild all documentation
* add texlive-generic-extra to build deps (Closes: #830445) 
* documentation files: use tikz instead of graffle generated pdf
* bump standards version, no changes necessary
* add MotoyaLMaru fonts to build deps for logo
* add texlive-extra-utils, ghostscript for pdfcrop to build-deps
2015-11-25 - Norbert Preining <preining@debian.org>
cafeobj (1.5.4-4) unstable; urgency=medium
* rearrange rules file to allow for source only uploads (Closes: #805942)
2015-11-19 - Norbert Preining <preining@debian.org>
cafeobj (1.5.4-3) unstable; urgency=medium
* fix short description mentioning Scala (Closes: #803955)
* fix absolute path to cafeobj in emacs mode
2015-11-02 - Norbert Preining <preining@debian.org>
cafeobj (1.5.4-2) unstable; urgency=medium
* provide a separate cafeobj-mode package for the Emacs major mode

See Also

Package Description
caffe-cpu_1.0.0+git20180821.99bd997-3+b1_amd64.deb Fast, open framework for Deep Learning (Meta)
caffe-doc_1.0.0+git20180821.99bd997-3_all.deb Caffe's doxygen docs and examples
caffe-tools-cpu_1.0.0+git20180821.99bd997-3+b1_amd64.deb Tools for fast, open framework for Deep Learning (CPU_ONLY)
caffeine_2.9.4-2_all.deb prevent the desktop becoming idle in full-screen mode
cain-examples_1.10+dfsg-3_all.deb examples for cain
cain-solvers_1.10+dfsg-3_amd64.deb solvers for cain
cain_1.10+dfsg-3_all.deb simulations of chemical reactions
cairo-5c_1.20+nmu1_all.deb nickle bindings for the cairo graphics library
cairo-dock-alsamixer-plug-in_3.4.1-4+b1_amd64.deb Alsamixer plug-in for Cairo-dock
cairo-dock-animated-icons-plug-in_3.4.1-4+b1_amd64.deb Animated icons plug-in Cairo-dock
cairo-dock-cairo-penguin-plug-in_3.4.1-4+b1_amd64.deb Cairo-Penguin plug-in for Cairo-dock
cairo-dock-clipper-plug-in_3.4.1-4+b1_amd64.deb Clipper plug-in for Cairo-dock
cairo-dock-clock-plug-in_3.4.1-4+b1_amd64.deb Clock plug-in for Cairo-dock
cairo-dock-core_3.4.1-3+b1_amd64.deb Light eye-candy fully themable animated dock for Linux desktop
cairo-dock-dbus-plug-in-interface-mono_3.4.1-4+b1_amd64.deb library of D-Bus interface for mono of Cairo-dock
Advertisement
Advertisement