Source Package: maude (2.7-2)
Links for maude
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- maude
- infrastruttura logica ad alte prestazioni
Other Packages Related to maude
-
- adep:
debhelper
(>= 9)
- programmi ausiliari per debian/rules
-
- adep:
autotools-dev
- infrastruttura di aggiornamento per i file config.{guess,sub}
-
- adep:
libtecla-dev
- interactive command line editing facilities (development)
-
- adep:
libbdd-dev
- Binary decision-diagram library (development)
-
- adep:
libgmp3-dev
- libreria aritmetica a precisione multipla, strumenti di sviluppo
-
- adep:
libsigsegv-dev
- pacchetto di sviluppo della libreria per gestire i page fault in un modo portabile
-
- adep:
bison
- generatore di parser compatibile con YACC
-
- adep:
flex
(>= 2.5.36)
- veloce generatore di analizzatori lessicali
-
- adep:
libncurses5-dev
- pacchetto di transizione per libncurses-dev
also a virtual package provided by
libncurses-dev
