all options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

Source Package: maude (2.6-2)

Links for maude

Debian Resources:


External Resources:

The following binary packages are built from this source package:
high-performance logical framework

Other Packages Related to maude

  • build-depends
  • build-depends-indep

Download maude

FileSize (in kB)MD5 checksum
maude_2.6-2.dsc 1.4 kB a549f8682b5a78873aae8e9e4a09e350
maude_2.6.orig.tar.gz 1,562.5 kB 7b1dd753e9994f034a49588e2541b968
maude_2.6-2.debian.tar.gz 4.9 kB 5edafbde1574db9650cb865c0cd0891b
Debian Package Source Repository (VCS: Subversion)
Debian Package Source Repository (Browsable)