Package: alt-ergo Priority: optional Section: universe/math Installed-Size: 10601 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 0.99.1+dfsg1-4build3 Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0) Suggests: why Filename: pool/universe/a/alt-ergo/alt-ergo_0.99.1+dfsg1-4build3_amd64.deb Size: 1993374 MD5sum: 2a9b42a7d024196c92686ae80761ae9a SHA1: a03a1f3039578461d1e8fb91125595b12737b390 SHA256: 545f45b22ea63fc46173150365fb467ed6643ceaf651bbef7fe36dee6554e58b Description: Automatic theorem prover dedicated to program verification Homepage: http://alt-ergo.lri.fr Description-md5: da151d43a8ca7b0344b58486b4b163a8 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu