Alle Optionen
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Quellcode-Paket: cafeobj (1.5.5-1)

Links für cafeobj

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
cafeobj
new generation algebraic specification and programming language
cafeobj-mode
Emacs major mode for editing CafeOBJ source code

Andere Pakete mit Bezug zu cafeobj

  • build-depends
  • build-depends-indep

Download cafeobj

DateiGröße (in kB)MD5-Prüfsumme
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
Quellcode-Depot des Debian-Pakets (VCS: Git)
git://git.cafeobj.org/cafeobj.git
Quellcode-Depot des Debian-Pakets (browsable)
http://git.cafeobj.org/?p=cafeobj.git