Пакет-източник: gappa (1.4.1-2)
Връзки за gappa
Ресурси за Debian:
Отговорници:
Външни препратки:
Следните двоични пакети са компилирани от този пакет-източник:
- gappa
- Automatic generation of proofs of arithmetic properties
Други пакети, свързани с gappa
- зависимости при компилиране
|
- зависимости при компилиране (архитектурно-независими)
|
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
debhelper-compat
(= 13)
- Пакетът не е наличен
-
- adep:
flex
- fast lexical analyzer generator
-
- adep:
help2man
- Automatic manpage generator
-
- 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
- Пакетът не е наличен
