Пакет-източник: maude (2.7-2)
Връзки за maude
Ресурси за Debian:
Отговорници:
Външни препратки:
Следните двоични пакети са компилирани от този пакет-източник:
- maude
- high-performance logical framework
Други пакети, свързани с maude
- зависимости при компилиране
|
- зависимости при компилиране (архитектурно-независими)
|
-
- 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
също и виртуален пакет, предлаган от
libncurses-dev
