Package: libcoq-libhyps
Architecture: amd64
Version: 2.0.8-4build3
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: 330
Provides: libcoq-libhyps-wbgz7
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-libhyps/libcoq-libhyps_2.0.8-4build3_amd64.deb
Size: 77670
MD5sum: 52e554afdb6f0a59daf75271a00b4ee5
SHA1: 444baffca1c939d30d961e1b420989e7f67a6d4c
SHA256: 42ee9791372ee1c68aceddc54af0cb4e3fef0fa68a9d0d0de7b9fde7a8f83356
SHA512: 19f71dce1e5f31248f4e4c49d835cd8874d20a40a0c91923490d0c0cfe8dac27710894d1f33f69686346b930f3e9fd0894a051de8c461da4078d2e8c2c7af6aa
Homepage: https://github.com/Matafou/LibHyps
Description: Tactics on hypotheses in Coq
Description-md5: db8bbfca8b98fd7442164805cb2552a7