Package: libcoq-libhyps
Source: coq-libhyps
Version: 2.0.8-4build12
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 271
Depends: libcoq-stdlib-imt43
Provides: libcoq-libhyps-t9gh3
Section: ocaml
Priority: optional
Homepage: https://github.com/Matafou/LibHyps
Description: Tactics on hypotheses in Coq
 This package provides tactics and tacticals to work
 with hypotheses during a Coq proof.
 .
 Coq is a proof assistant for higher-order logic.
