Source Package: maude (2.6-2)
Links for maude
Debian Resources:
Maintainers:
External Resources:
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
