deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libcoq-stdlib-z3q11, 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: '4233'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libcoq-hammer
Priority: optional
Provides: libcoq-hammer-0vnm9
Section: ocaml
Source: coq-hammer
Version: 1.3.2+8.20-1
srcpkg_name: coq-hammer
srcpkg_version: 1.3.2+8.20-1