» Ubuntu » Packages » focal (20.04LTS) » Source » science » maude
focal  ] [  jammy  ] [  mantic  ] [  noble  ] [  oracular  ]

Source Package: maude (2.7-2build2) [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: libtecla-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 (>= 2.5.36)
    fast lexical analyzer generator
  • adep: libncurses5-dev
    transitional package for libncurses-dev
    also a virtual package provided by libncurses-dev

Download maude

FileSize (in kB)MD5 checksum
maude_2.7-2build2.dsc 2.0 kB 28524229669a05ebe092822e29196f53
maude_2.7.orig.tar.gz 1,624.7 kB 95a4e744d5032d7839181c714e6cf8cb
maude_2.7-2build2.debian.tar.xz 6.7 kB 6d3ddc7b72353a1baabdc281a684af78
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)