Package: libcoq-hammer
Source: coq-hammer
Priority: optional
Section: universe/ocaml
Installed-Size: 3510
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.3.2+8.20-1build7
Provides: libcoq-hammer-ehiy7
Depends: libcoq-stdlib-83lq0, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.20-1build7_amd64.deb
Size: 567750
MD5sum: c91ce9944cf0ed0e85a6c162c0b336fe
SHA1: 012ac71eb99f2a9490bc19499bec75b6d6d54731
SHA256: 9c04d5fa6d9eb6950c2f64853399699f018be0505d994e631355e7ca5c4313e9
SHA512: b5a0e27a72cdbf15f07694409b1700ec0bc14c28bbe2fec7e213129d86c3c7956e08bb7d5d2b329adced4ff34e7af9209b110c0a6a2afc19d18fab1bab91f1d5
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug