Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> 源代码 >> misc >> cafeobj
etiona  ] [  nabia  ] [  aramo  ]

源码包: cafeobj (1.5.7-1)

cafeobj 的相关链接

Trisquel 的资源:

维护者:

Original Maintainer:

  • Norbert Preining

外部的资源:

本源码包构建了以下这些二进制包:
cafeobj
new generation algebraic specification and programming language
cafeobj-mode
Emacs major mode for editing CafeOBJ source code

其他与 cafeobj 有关的软件包

  • 完整构建时刻依赖
  • 单独构建时刻依赖

Download cafeobj

文件大小(单位: kB)MD5 校验码
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 软件包源码仓库(VCS: Git)
https://github.com/CafeOBJ/cafeobj.git
Debian 软件包源码仓库(可在线浏览)
https://github.com/CafeOBJ/cafeobj