[ bianca ]

Пакет-източник: gappa (1.6.0-1)

Връзки за gappa

Отговорници:

Външни препратки:

Начална страница [gappa.gitlabpages.inria.fr]

Следните двоични пакети са компилирани от този пакет-източник:

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

Пакетът не е наличен

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

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/math-team/gappa.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/math-team/gappa