Package: libcoq-hammer
Architecture: amd64
Version: 1.3.2+8.19-2build3
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: 3535
Provides: libcoq-hammer-p08q2
Depends: libcoq-stdlib-dksn3, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.19-2build3_amd64.deb
Size: 573652
MD5sum: bfe0dd2b52e9abbd7d9d73d159cc4b96
SHA1: 6d025263583338d81b66a2346f8a408e825fa91d
SHA256: 9bf9250b3681bc0398f558fc9645c9e7c5a0dda967d847052c7c55c309cc855a
SHA512: 9668a91cd4f5b3a084ede12c7d6a7466672448e54e3f532ef81907915a89faa2ba48f164f3f01a5baafcd2a192fb7137b985442d7bcec8ee2640d25db9d2136f
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a