Zdrojový balík: maude (2.7-2)
Odkazy pre maude
Zdroje Debian:
Správcovia:
Externé zdroje:
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- maude
- high-performance logical framework
Ostatné balíky súvisiace s balíkom maude
-
- adep:
debhelper
(>= 9)
- pomocné programy pre debian/rules
-
- adep:
autotools-dev
- aktualizácia infraštruktúry o súbory config.{guess,sub}
-
- adep:
libtecla-dev
- interactive command line editing facilities (development)
-
- adep:
libbdd-dev
- Binary decision-diagram library (development)
-
- adep:
libgmp3-dev
- aritmetická knižnica s viacnásobnou presnosťou - vývojové nástroje
-
- adep:
libsigsegv-dev
- Library for handling page faults in a portable way development package
-
- adep:
bison
- generátor syntaktických analyzátorov kompatibilný s YACC
-
- adep:
flex
(>= 2.5.36)
- rýchly generátor lexikálnych analyzátorov
-
- adep:
libncurses5-dev
- prechodový balík na libncurses-dev
tiež virtuálny balík poskytovaný balíkom
libncurses-dev
