toutes les options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Paquet source : cafeobj (1.5.5-1)

Liens pour cafeobj

Ressources Debian :

Responsable :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
cafeobj
langage de spécification et programmation algébrique de nouvelle génération
cafeobj-mode
mode majeur Emacs pour modifier du code source CafeOBJ

Autres paquets associés à cafeobj

  • build-depends
  • build-depends-indep

Download cafeobj

FichierTaille (en ko)Somme MD5
cafeobj_1.5.5-1.dsc 1,7 ko f9ce376f6f6e27bbb6b56340443cadc1
cafeobj_1.5.5.orig.tar.gz 7 961,2 ko 6322682322fbe4c04cef50cfec3d2f33
cafeobj_1.5.5-1.debian.tar.xz 14,3 ko 4ef37e895cc4051edc9adfd10bbbf1b8
Dépôt Debian des paquets source (VCS: Git)
git://git.cafeobj.org/cafeobj.git
Dépôt Debian des paquets source (interface web)
http://git.cafeobj.org/?p=cafeobj.git