coq-hammer 1.3.2+8.19-2 source package in Ubuntu
Changelog
coq-hammer (1.3.2+8.19-2) unstable; urgency=medium * Team upload * Do not hardcode /usr/lib/ocaml -- Stéphane Glondu <email address hidden> Sat, 03 Aug 2024 17:31:32 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-hammer_1.3.2+8.19-2.dsc | 1.8 KiB | 1fba669ef6e50b4dd6ca9c1b6a818ae6e750d91336f363a0ee136fc6c09bd11a |
coq-hammer_1.3.2+8.19.orig.tar.gz | 145.4 KiB | 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 |
coq-hammer_1.3.2+8.19-2.debian.tar.xz | 2.7 KiB | 97bab3b7b69718563c7cf8d4ce72ddc500ddcb4724fb8735fa0263c3d55d6dac |
Available diffs
No changes file available.
Binary packages built by this source
- libcoq-hammer: 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.
- libcoq-hammer-dbgsym: debug symbols for libcoq-hammer