[ buster ] [ bullseye ] [ bookworm ] [ sid ]

Source Package: cafeobj (1.6.0-2)

Links for cafeobj

Debian Resources:

Maintainer:

Norbert Preining (QA Page)

External Resources:

Homepage [cafeobj.org]

The following binary packages are built from this source package:

cafeobj: new generation algebraic specification and programming language
cafeobj-mode: Emacs major mode for editing CafeOBJ source code

Other Packages Related to cafeobj

build-depends

build-depends-indep

adep: debhelper (>= 10)

helper programs for debian/rules
adep: sbcl

Common Lisp compiler and development system

Download cafeobj

File	Size (in kB)	MD5 checksum
cafeobj_1.6.0-2.dsc	1.5 kB	86e2c6f8ca793bc6b68fe16b068dfa7a
cafeobj_1.6.0.orig.tar.gz	8,269.8 kB	100d2b48686f9a80506235d9e2bc7528
cafeobj_1.6.0-2.debian.tar.xz	6.7 kB	48d8b00182a0898965ad7fc4f3c671c5

Debian Package Source Repository (VCS: Git): https://github.com/CafeOBJ/cafeobj.git
Debian Package Source Repository (Browsable): https://github.com/CafeOBJ/cafeobj