Package: libcoq-deriving
Architecture: amd64
Version: 0.2.0-1build5
Priority: optional
Section: universe/ocaml
Source: coq-deriving
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: 2203
Provides: libcoq-deriving-72b52
Depends: libcoq-mathcomp-ssreflect-y5tl2, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-deriving/libcoq-deriving_0.2.0-1build5_amd64.deb
Size: 491358
MD5sum: a17830f0fa6b18f4c77740b820a625f6
SHA1: 04e724ecf1526ce08195acf57ed961c3d9404879
SHA256: c060e90331f9d837e46fd781efcb9d071ec718877be0cffcc35b91da20bcc75f
SHA512: 97a3a1b68933c8fb6280cd0f4ea74002c566dfc5bf61d13afd848d1f4dd838fbffa406062772f1d62fc9c49bb9e8a0f91697348788b89e49606716615512b365
Homepage: https://github.com/arthuraa/deriving/
Description: deriving MathComp classes from inductive types
Description-md5: f86da8bb7413c10ca613baec6bbded43