Package: libcoq-deriving
Architecture: amd64
Version: 0.2.0-3build5
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: 2255
Provides: libcoq-deriving-mfv69
Depends: libcoq-mathcomp-ssreflect-uyii6, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-deriving/libcoq-deriving_0.2.0-3build5_amd64.deb
Size: 520060
MD5sum: 945c4566eaf4cfb53e26a88b6bfe407b
SHA1: ba0a7592a2191ec8c643d933ad528076c6a093aa
SHA256: 0892f0cf932f1e0c61fe30657e0074e44b544c39abaf46fa31bb98c3af2c7682
SHA512: 8669a2c303f97305d85bb15cd4af55bcef9d85f8701de99cea513b0f7e74817485cb3eebe86ef577de146eabe3cb605bb41294de6f41df5be1931c1c2c15c5d5
Homepage: https://github.com/arthuraa/deriving/
Description: deriving MathComp classes from inductive types
Description-md5: f86da8bb7413c10ca613baec6bbded43