gappa
Automatic generation of proofs of arithmetic properties
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/gappa
general
source
gappa
(
optional
,
misc
)
version
1.4.1-1
maint
Debian Math Team
,
Julien Puydt
(u)
std-ver
4.6.1
VCS
Git
(
browse
)
versions
stable
1.4.1-1
testing
1.4.1-1
unstable
1.4.1-1
Ubuntu
1.4.1-1
binaries
gappa
(
0 bugs
:
0
,
0
,
0
,
0
)
Automatic generation of proofs of arithmetic properties
todo
Lintian
reports
9 warnings
about this package. You should make the package
lintian clean
getting rid of them.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
4.6.1
).
news
RSS
[2022-08-16]
gappa 1.4.1-1 MIGRATED to testing
(Britney)
[2022-08-12]
Accepted 1.4.1-1 in unstable (medium)
(Debian FTP Masters)
[2022-08-10]
gappa 1.4.0-6 MIGRATED to testing
(Britney)
[2022-08-08]
Accepted 1.4.0-6 in unstable (medium)
(Debian FTP Masters)
[2022-08-06]
Accepted 1.4.0-5 in unstable (medium)
(Debian FTP Masters)
[2022-07-23]
Accepted 1.4.0-4 in unstable (medium)
(Debian FTP Masters)
[2022-07-10]
Accepted 1.4.0-3 in unstable (medium)
(Debian FTP Masters)
[2022-07-08]
Accepted 1.4.0-2 in unstable (medium)
(Debian FTP Masters)
bugs
all
1
RC
0
I&N
0
M&W
1
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
tests
(
log
)
lintian
(
0
,
9
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
1.4.1-1
1.4.1-1
1.4.1-1