Package: libcoq-libhyps
Architecture: amd64
Version: 2.0.8-1build4
Priority: optional
Section: universe/ocaml
Source: coq-libhyps
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 329
Provides: libcoq-libhyps-o8jm9
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-libhyps/libcoq-libhyps_2.0.8-1build4_amd64.deb
Size: 77576
MD5sum: 5c7b07a43aa01bf98b15d007a9d84ca4
SHA1: 9598296b228709e0d1449d830c29b8c16688d92e
SHA256: 6d37c82b5124bd2e48fc5a47bcad26fce55f57fd56e67540760cc4cd713776f1
SHA512: 4638da05b942e0999ccb537f618fab6da38ae5816420ff9e1b763673919ea64956e20182ed81cb3d1f84503427fcf7115982093f284e949e2a523441947f5629
Homepage: https://github.com/Matafou/LibHyps
Description: Tactics on hypotheses in Coq
Description-md5: db8bbfca8b98fd7442164805cb2552a7