alt-ergo
Automatic theorem prover dedicated to program verification
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/alt-ergo
general
source
alt-ergo
(
source
,
math
)
version
2.0.0-5
maint
Debian OCaml Maintainers
(
a
)
,
Mehdi Dogguy
(u)
,
Ralf Treinen
(u)
std-ver
4.3.0
VCS
Git
(
browse
)
versions
o-o-stable
0.95.2-3
oldstable
1.30-1
stable
2.0.0-3
testing
2.0.0-5
unstable
2.0.0-5
Ubuntu
2.0.0-5
binaries
alt-ergo
(
0 bugs
:
0
,
0
,
0
,
0
)
Automatic theorem prover dedicated to program verification
todo
Lintian
reports
2 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.4.1
instead of
4.3.0
).
news
RSS
[2019-09-03]
alt-ergo 2.0.0-5 MIGRATED to testing
(Britney)
[2019-09-01]
Accepted 2.0.0-5 in unstable (medium)
(Stéphane Glondu)
[2019-08-04]
alt-ergo 2.0.0-4 MIGRATED to testing
(Britney)
[2019-07-31]
Accepted 2.0.0-4 in unstable (high)
(Stéphane Glondu)
[2019-02-24]
alt-ergo 2.0.0-3 MIGRATED to testing
(Britney)
[2019-02-14]
Accepted 2.0.0-3 in unstable (medium)
(Ralf Treinen)
[2019-02-13]
Accepted 2.0.0-2 in unstable (medium)
(Ralf Treinen)
[2019-02-13]
Accepted 2.0.0-1 in unstable (medium)
(Ralf Treinen)
[2018-11-16]
alt-ergo 1.30+dfsg1-2 MIGRATED to testing
(Britney)
[2018-11-13]
Accepted 1.30+dfsg1-2 in unstable (medium)
(Ralf Treinen)
[2018-01-03]
alt-ergo 1.30+dfsg1-1 MIGRATED to testing
(Britney)
[2017-12-21]
Accepted 1.30+dfsg1-1 in unstable (medium)
(Ralf Treinen)
[2017-12-20]
alt-ergo REMOVED from testing
(Britney)
[2016-12-23]
alt-ergo 1.30-1 MIGRATED to testing
(Britney)
[2016-12-12]
Accepted 1.30-1 in unstable (medium)
(Ralf Treinen)
[2016-03-07]
alt-ergo 1.01-1 MIGRATED to testing
(Britney)
[2016-03-01]
Accepted 1.01-1 in unstable (medium)
(Ralf Treinen)
[2015-06-18]
alt-ergo 0.99.1+dfsg1-4 MIGRATED to testing
(Britney)
[2015-06-07]
Accepted 0.99.1+dfsg1-4 in unstable (low)
(Ralf Treinen)
[2015-06-01]
alt-ergo 0.99.1+dfsg1-3 MIGRATED to testing
(Britney)
[2015-05-26]
Accepted 0.99.1+dfsg1-3 in unstable (medium)
(Ralf Treinen)
[2015-05-10]
alt-ergo 0.99.1+dfsg1-2 MIGRATED to testing
(Britney)
[2015-05-04]
Accepted 0.99.1+dfsg1-2 in unstable (low)
(Ralf Treinen)
[2014-12-31]
Accepted 0.99.1+dfsg1-1 in experimental (medium)
(Ralf Treinen)
[2014-05-03]
alt-ergo 0.95.2-3 MIGRATED to testing
(Britney)
[2014-04-27]
Accepted 0.95.2-3 in sid (medium)
(Mehdi Dogguy)
[2014-04-05]
alt-ergo 0.95.2-2 MIGRATED to testing
(Britney)
[2014-03-30]
Accepted 0.95.2-2 in sid (medium)
(Mehdi Dogguy)
[2013-11-28]
alt-ergo 0.95.2-1 MIGRATED to testing
(Britney)
[2013-11-17]
Accepted 0.95.2-1 in sid (low)
(Ralf Treinen)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
testing
stable
tests
(
log
)
lintian
(
0
,
2
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
1.30-1
2.0.0-3
2.0.0-5
2.0.0-5