Package: libcoq-hammer
Source: coq-hammer
Version: 1.3.2+8.20-1build8
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3514
Depends: libcoq-stdlib-80ha0, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Provides: libcoq-hammer-kzf27
Section: ocaml
Priority: optional
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
 Hammer is a tool to help in the search of a proof
 in Coq. It tries to find applicable lemmas and
 combine them into a effective proof.
 .
 Coq is a proof assistant for higher-order logic.
