Package: libcoq-hammer
Architecture: amd64
Version: 1.3.2+8.20-1build4
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-e7gh2
Depends: libcoq-stdlib-kgau6, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.20-1build4_amd64.deb
Size: 566848
MD5sum: 07f29c5d1f6191bfdd93449759e3f17e
SHA1: f346e5e99c5a2222f5d74772ed9b520cec539c00
SHA256: e6e698d6c22d5305172bd9cdc9ffeac32cdfeefefead46984996cbb1f70ab2ee
SHA512: 9d08bfa3cfed615a4514d00678b9655eecb9e3ba20b9851b42bbbaa7480f6a37101044675ced56e67648a887058126ea2af7df975852f312bc228852c7f039e9
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a