Källkodspaket: gappa (1.6.0-1)
Länkar för gappa
Debianresurser:
Ansvariga:
Externa resurser:
- Hemsida [gappa.gitlabpages.inria.fr]
Följande binärpaket byggs från detta källkodspaket:
- gappa
- Automatic generation of proofs of arithmetic properties
Andra paket besläktade med gappa
|
- arkitekturoberoende bygg-beroende
|
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
debhelper-compat
(= 13)
- Paketet inte tillgängligt
-
- 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
- Paketet inte tillgängligt
