Skip to content
Sections
>> Trisquel >> Packages >> etiona >> Source >> misc >> cafeobj
etiona  ] [  nabia  ] [  aramo  ]

Source Package: cafeobj (1.5.7-1)

Links for cafeobj

Trisquel Resources:

Maintainer:

Original Maintainer:

  • Norbert Preining

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.7-1.dsc 1.7 kB 984e820eca9ec60658c0699faa95d083
cafeobj_1.5.7.orig.tar.gz 8,230.3 kB 70a5c8ec2ae3ccf47ccd7be3c5884de8
cafeobj_1.5.7-1.debian.tar.xz 6.1 kB ecd99d0b2d0ef8be360073ea9e36de71
Debian Package Source Repository (VCS: Git)
https://github.com/CafeOBJ/cafeobj.git
Debian Package Source Repository (Browsable)
https://github.com/CafeOBJ/cafeobj