Package: libcoq-hammer
Architecture: amd64
Version: 1.3.2+8.20-1build3
Priority: optional
Section: universe/ocaml
Source: coq-hammer
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: 3461
Provides: libcoq-hammer-rcuk8
Depends: libcoq-stdlib-9imx0, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.20-1build3_amd64.deb
Size: 568160
MD5sum: d9bb05c12dbcef636dad55655afcab3b
SHA1: 67a6e7bdd957d69c91ec7c070ff70305d2df46ce
SHA256: 07e252d42b45b5e239241038d7155dc69a14b35b5085b45bcff25f172543570f
SHA512: b0dd84727f5a93c36d17ed19f452b8df30fb435483fd951425f9ae5c29d315c0bc0c77d962787d348fff82fcac305d54328849ba503834d825a39bf7b89aad64
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a