cafeobj 1.5.5-1 source package in Ubuntu


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

 -- Norbert Preining <email address hidden>  Wed, 27 Jul 2016 23:21:44 +0900

Upload details

Uploaded by:
Norbert Preining on 2016-07-28
Uploaded to:
Original maintainer:
Norbert Preining
any all
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Zesty release on 2016-10-18 universe misc
Yakkety release on 2016-07-28 universe misc


File Size SHA-256 Checksum
cafeobj_1.5.5-1.dsc 1.7 KiB ee16a87203c7a7a856e8c17af0e64f5d11b6164d283799bddac086e7d3f1c354
cafeobj_1.5.5.orig.tar.gz 7.8 MiB e301dd725a7d74d3f6216a8ee37a4d15760e9a3e1f86e7e8cf479613e747c595
cafeobj_1.5.5-1.debian.tar.xz 14.3 KiB 97ab1b8071ea222fdc84997438b598eb80735e3e857c73069f7989bece154932

Available diffs

No changes file available.

Binary packages built by this source

cafeobj: new generation algebraic specification and programming language

 CafeOBJ is a most advanced formal specification language which
 inherits many advanced features (e.g. flexible mix-fix syntax,
 powerful and clear typing system with ordered sorts, parameteric
 modules and views for instantiating the parameters, and module
 expressions, etc.) from OBJ (or more exactly OBJ3) algebraic
 specification language.
 CafeOBJ is a language for writing formal (i.e. mathematical)
 specifications of models for wide varieties of software and systems,
 and verifying properties of them. CafeOBJ implements equational logic
 by rewriting and can be used as a powerful interactive theorem proving
 system. Specifiers can write proof scores also in CafeOBJ and doing
 proofs by executing the proof scores.
 CafeOBJ has state-of-art rigorous logical semantics based on
 institutions. The CafeOBJ cube shows the structure of the various
 logics underlying the combination of the various paradigms implemented
 by the language. Proof scores in CafeOBJ are also based on institution
 based rigorous semantics, and can be constructed using a complete set
 of proof rules.

cafeobj-mode: Emacs major mode for editing CafeOBJ source code

 cafeobj-mode provides syntax highlighting and indentation for CafeOBJ
 source code inside emacs. Included is the ability to interact with a
 CafeOBJ interpreter inside emacs and to send expressions from CafeOBJ
 source files to the running interpreter.