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

Source Package: maude (2.6-3) [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: debhelper (>= 9)
    helper programs for debian/rules
  • 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-3.dsc 1.4 kB ddd81a62b7bd7b0cc015338d1761df34
maude_2.6.orig.tar.gz 1,562.5 kB 7b1dd753e9994f034a49588e2541b968
maude_2.6-3.debian.tar.gz 4.9 kB 42153781e25d33ed9d275d6366ed9992
Debian Package Source Repository (VCS: Subversion)
Debian Package Source Repository (Browsable)