Package: alt-ergo
Architecture: i386
Version: 1.30+dfsg1-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 13327
Depends: libc6 (>= 2.17), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.31), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4)
Suggests: why
Filename: pool/universe/a/alt-ergo/alt-ergo_1.30+dfsg1-1_i386.deb
Size: 2491748
MD5sum: daee05db5c054ffcf8e937fa4978325f
SHA1: a0964a53e1f44665593a8b368e554d1d1ea9acd8
SHA256: cd937b1f068d58d0f5ad2a778560fb096e2f21c7eda6eadcd7cda0854c05b31b
Homepage: http://alt-ergo.lri.fr
Description: Automatic theorem prover dedicated to program verification
Description-md5: da151d43a8ca7b0344b58486b4b163a8