all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: cafeobj (1.5.5-1)

Links for cafeobj

Debian Resources:

Maintainer:

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
cafeobj
new generation algebraic specification and programming language
cafeobj-mode
Emacs major mode for editing CafeOBJ source code

Інші пакунки пов'язані з cafeobj

  • build-depends
  • build-depends-indep

Download cafeobj

ФайлРозмір (в кБ)MD5 checksum
cafeobj_1.5.5-1.dsc 1.7 kB f9ce376f6f6e27bbb6b56340443cadc1
cafeobj_1.5.5.orig.tar.gz 7,961.2 kB 6322682322fbe4c04cef50cfec3d2f33
cafeobj_1.5.5-1.debian.tar.xz 14.3 kB 4ef37e895cc4051edc9adfd10bbbf1b8
Debian Package Source Repository (VCS: Git)
git://git.cafeobj.org/cafeobj.git
Debian Package Source Repository (Browsable)
http://git.cafeobj.org/?p=cafeobj.git