deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libcoq-stdlib-orhs4, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>=
13.1)
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.
Homepage: https://github.com/lukaszcz/coqhammer
Installed-Size: '3622'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libcoq-hammer
Priority: optional
Provides: libcoq-hammer-a8pr2
Section: ocaml
Source: coq-hammer (1.3.2+8.19-2)
Version: 1.3.2+8.19-2+b2
srcpkg_name: coq-hammer
srcpkg_version: 1.3.2+8.19-2