Package: alt-ergo
Architecture: amd64
Version: 2.0.0-8build1
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: 9980
Depends: libc6 (>= 2.34), libgmp10 (>= 2:6.2.1+dfsg), zlib1g (>= 1:1.1.4), libnum-ocaml-bq435, ocaml-base-4.13.1
Filename: pool/universe/a/alt-ergo/alt-ergo_2.0.0-8build1_amd64.deb
Size: 2381066
MD5sum: 793520ccdbb4cce9dabb8ae26af09a0a
SHA1: e5928d91e8f11570a51557bb4e99506bc25d08fe
SHA256: f56162425e5d69e2270a697cf3a3dada3d3b340a204963a5d29591fc253fca19
SHA512: 37d1084fa22d82df90715cfd5df69d6103c83f742293813ed8f7bcae3656aae5815dce771a6ee98737e9518277ef6cdc102332a53c0ff2b33d10474eef049174
Homepage: https://alt-ergo.ocamlpro.com
Description: Automatic theorem prover dedicated to program verification
Description-md5: 43aeaf4639ddb0ba40f96e616cc23624