ソースパッケージ: maude (3.4-1)
maude に関するリンク
Debian の資源:
メンテナ:
外部の資源:
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- maude
- high-performance logical framework
その他の maude 関連パッケージ
-
- adep:
debhelper-compat
(= 13)
- パッケージは利用できません
-
- 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 互換なパーサジェネレータ
-
- adep:
flex
- 高速な字句解析器生成プログラム
-
- adep:
libncurses-dev
- developer's libraries for ncurses
-
- adep:
libcvc4-dev
- automated theorem prover for SMT problems (development files)
