Binary descriptions:

alt-ergo: No summary available for alt-ergo in ubuntu saucy.
libalt-ergo-ocaml-dev: Theorem prover dedicated to program verification - libraries

Last common version:

0.95.2-1

Differences from last common version: