Quellcode-Paket: maude (3.1-2)
Links für maude
Trisquel-Ressourcen:
Betreuer:
Original Maintainers:
- Debian Med Packaging Team
(E-Mail-Archiv)
- Scott Christley
- Andreas Tille
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- maude
- high-performance logical framework
Andere Pakete mit Bezug zu maude
-
- adep:
debhelper-compat
(= 13)
- Paket nicht verfügbar
-
- 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
- fast lexical analyzer generator
-
- adep:
libncurses5-dev
- transitional package for libncurses-dev
-
- adep:
libcvc4-dev
- automated theorem prover for SMT problems (development files)