How to Install and Uninstall libcoq-hammer-tactics Package on Kali Linux

Last updated: November 26,2024

1. Install "libcoq-hammer-tactics" package

Please follow the instructions below to install libcoq-hammer-tactics on Kali Linux

$ sudo apt update $ sudo apt install libcoq-hammer-tactics

2. Uninstall "libcoq-hammer-tactics" package

Please follow the instructions below to uninstall libcoq-hammer-tactics on Kali Linux:

$ sudo apt remove libcoq-hammer-tactics $ sudo apt autoclean && sudo apt autoremove

3. Information about the libcoq-hammer-tactics package on Kali Linux

Package: libcoq-hammer-tactics
Source: coq-hammer (1.3.2+8.15-1)
Version: 1.3.2+8.15-1+b1
Installed-Size: 1616
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-hammer-tactics-49kb2
Depends: libcoq-stdlib-t8k75
Size: 313748
SHA256: dcd038b63fd38af87ca81dbc77d4c2d572c91fde05cf27acdd9c88ab26f39fdd
SHA1: 8e34699fafd1dea14c5bd63069bf903ae6d6a7c5
MD5sum: 9796fe84eeede2527a614c765490eeb6
Description: automated reasoning tool for Coq (tactics)
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.
.
This package provides the Coq tactic.
Description-md5: 0a9d4ae67eb6835a428e108d8ec4e979
Homepage: https://github.com/lukaszcz/coqhammer
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-hammer/libcoq-hammer-tactics_1.3.2+8.15-1+b1_amd64.deb

5. The same packages on other Linux Distributions