packagesSource Package: maude (2.6-2) [universe]
Links for maude
Ubuntu Resources:
Maintainer:
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:
- Homepage [maude.cs.uiuc.edu]
The following binary packages are built from this source package:
- maude
- high-performance logical framework
Other Packages Related to maude
|
|
-
- 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
| File | Size (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)
- svn://svn.debian.org/debian-med/trunk/packages/maude/trunk/
- Debian Package Source Repository (Browsable)
- http://svn.debian.org/wsvn/debian-med/trunk/packages/maude/trunk/