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-7
distro
oldstable
maint
Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
std-ver
4.5.0
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 2.0.0-3
oldstable
save 2.0.0-7

binaries

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.5.0).

problems

  • The as-installed testing for this package did not pass (log).
  • This package is neither part of unstable nor experimental. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it into unstable.

testing migration

excuses:

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0

links

patches

Debian
2.0.0-7

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2023-11-27T02:41:51+00:00.