» Ubuntu » Packages » raring (13.04) » Source » science » maude
precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Source Package: maude (2.6-2) [universe]

Links for maude

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Med Packaging Team (Mail Archive)
  • Scott Christley
  • Andreas Tille

It should generally not be necessary for users to contact the original maintainer.

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
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 8)
    helper programs for debian/rules
  • adep: quilt
    Tool to work with series of patches
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: libtecla1-dev
    interactive command line editing facilities (development)
  • adep: libbdd-dev
    Binary decision-diagram library (development)
  • adep: libgmp3-dev
    Multiprecision arithmetic library developers tools
  • adep: libsigsegv-dev
    Library for handling page faults in a portable way development package
  • adep: bison
    YACC-compatible parser generator
  • adep: flex
    A fast lexical analyzer generator.
  • adep: libncurses5-dev
    developer's libraries for ncurses

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)