Paquet source : maude (2.7-2)
Liens pour maude
Ressources Debian :
Responsables :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- maude
- cadriciel logique de haute performance
Autres paquets associés à maude
-
- adep:
debhelper
(>= 9)
- programmes assistants pour debian/rules
-
- adep:
autotools-dev
- infrastructure de mise à jour pour les fichiers config.guess et config.sub
-
- adep:
libtecla-dev
- interactive command line editing facilities (development)
-
- adep:
libbdd-dev
- bibliothèque de diagramme de décision binaire –⋅développement
-
- adep:
libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- adep:
libsigsegv-dev
- Library for handling page faults in a portable way development package
-
- adep:
bison
- générateur d'analyseur syntaxique compatible avec YACC
-
- adep:
flex
(>= 2.5.36)
- générateur rapide d'analyse lexicale
-
- adep:
libncurses5-dev
- paquet de transition pour libncurses-dev
un paquet virtuel est également fourni par
libncurses-dev
