Source Package: maude (3.1-2)
Links for maude
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- maude
- Højtydende logisk ramme
Other Packages Related to maude
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
libtecla-dev
- interactive command line editing facilities (development)
-
- adep:
libbdd-dev
- Binary decision-diagram library (development)
-
- adep:
libgmp3-dev
- Flerpræcisionsbibliotek til udviklerværktøjer for aritmetik
-
- adep:
libsigsegv-dev
- Bibliotek til at håndtere sidefejl på en flytbar måde - udviklingspakke
-
- adep:
bison
- YACC-kompatibelt oprettelsesprogram for fortolker
-
- adep:
flex
- Hurtigt leksikalt analyseoprettelsesprogram
-
- adep:
libncurses5-dev
- Overgangspakke for libncurses-dev
-
- adep:
libcvc4-dev
- Automatisk læresætningsbeviser for SMT-problemer - udviklingsfiler
