ソースパッケージ: gappa (1.4.1-2)
gappa に関するリンク
Debian の資源:
メンテナ:
外部の資源:
- ホームページ [gappa.gitlabpages.inria.fr]
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- gappa
- Automatic generation of proofs of arithmetic properties
その他の gappa 関連パッケージ
-
- adep:
bison
- YACC 互換なパーサジェネレータ
-
- adep:
debhelper-compat
(= 13)
- パッケージは利用できません
-
- adep:
flex
- 高速な字句解析器生成プログラム
-
- adep:
help2man
- man ページ自動生成プログラム
-
- adep:
libboost-dev
- Boost C++ Libraries development files (default version)
-
- adep:
libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep:
libmpfr-dev
- multiple precision floating-point computation developers tools
-
- adep:
sphinx
- パッケージは利用できません
