[ bianca ]

Пакет исходного кода: gappa (1.6.0-1)

Ссылки для gappa

Сопровождающие:

Внешние ресурсы:

Сайт [gappa.gitlabpages.inria.fr]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

gappa: Automatic generation of proofs of arithmetic properties

Другие пакеты, относящиеся к gappa

для сборки

build-depends-indep

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

Пакет недоступен

Download gappa

Файл	Размер (в Кб)	Контрольная сумма MD5
gappa_1.6.0-1.debian.tar.xz	9,1 Кб	26588e98772f53fa99fa5ad3d085663f
gappa_1.6.0-1.dsc	2,0 Кб	84280f0c4c1f6c4df1414be6864921d0
gappa_1.6.0.orig.tar.bz2	295,5 Кб	4cc0198109067c9ccf73d0dbdf43b714

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/math-team/gappa.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/math-team/gappa