Package: libcoq-hammer
Architecture: amd64
Version: 1.3.2+8.18-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: 3532
Provides: libcoq-hammer-tq2r6
Depends: libcoq-stdlib-eg0o0, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.18-1build3_amd64.deb
Size: 570692
MD5sum: 0739ef2acd05bf888c1ba8c65ab13ac0
SHA1: bc49425c0c236322bc2b53557465287563b6ce16
SHA256: 246ae70b3a6fa8579fe2cec55af1e5769cfc2426e2574a05bb3570617e7dc494
SHA512: 658c4198015427c1236d72650eb3b7db07a2f0c086b0b692a51f2d4a321482716f199ed070063077a925609186014159bf89a5a685e749d40465af59bb6a01c0
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a