[ bianca ]

Source Package: gappa (1.6.0-1)

Links for gappa

Ylläpitäjät:

External Resources:

Kotisivu [gappa.gitlabpages.inria.fr]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

gappa: Automatic generation of proofs of arithmetic properties

Muut pakettiin gappa liittyvät paketit

build-depends

build-depends-indep

adep: bison

YACC-compatible parser generator
adep: debhelper-compat (= 13)

Paketti ei saatavilla
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

Paketti ei saatavilla

Download gappa

Tiedosto	Koko (kt)	MD5-tarkiste
gappa_1.6.0-1.debian.tar.xz	9.1 kt	26588e98772f53fa99fa5ad3d085663f
gappa_1.6.0-1.dsc	2.0 kt	84280f0c4c1f6c4df1414be6864921d0
gappa_1.6.0.orig.tar.bz2	295.5 kt	4cc0198109067c9ccf73d0dbdf43b714

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/math-team/gappa.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/math-team/gappa