-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/arthuraa/deriving/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-deriving
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-deriving.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-deriving deb ocaml optional arch=any
Checksums-Sha1:
 561b7d46deaab0b6965a7899fa0fe7fac09ff005 29290 coq-deriving_0.1.0.orig.tar.gz
 a0835b21adf2011fb04939557e3dafb378995303 1968 coq-deriving_0.1.0-2.debian.tar.xz
Checksums-Sha256:
 ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
 cb1f8d605fd1cdfc79e7737c7c8c96d66d516019ab5daf109edab61af1b3b0cd 1968 coq-deriving_0.1.0-2.debian.tar.xz
Files:
 22562ac4efb223977bec66929d22e58a 29290 coq-deriving_0.1.0.orig.tar.gz
 a70655f12c1701cb2c85512c4dd03985 1968 coq-deriving_0.1.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGTESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXToQAJsVPKh58uooLzxSmS71Oo3MDbvB2jDl
3PjDxcU4ultqsaU3XBsT6y1hmpJoOB0C8SlcumX5nNUhvVWY7YlK8lIvB+5EPyco
j4viiqFlbFNX7mQqyvzfF7pCncRouXTslpbrHzhORfM/F/D3bZNka+7A8D/TVPxT
DGNjZNRDnYSJIpmeumWh6Vg+1lnbojKL6nG5sSsbIu/b5KkSh0iHnoM8OW31/rGZ
zKY4bYxHDqtTRq6AGyUhZh87iZyoNPASwOc5QyT+VmElXuLnkMjwF8eJ1RJJiav4
UrDlIhSbmVoIY14bBkE7xNzUY150siheZKAWP7UGGy0sLEcfoU9T1LbEoUhHUbnC
YJHOoyn04PcurOCGq3nbQvY2bOQ03w9N4oxZEARDhFP/qLDH7J8EeTm6SNPTAEQt
5s7bzp4XJzuLOdJBD2+/zXHirMRWeyIE2K1v77ymJW1qsqb1PyKiSiGHZSGUEf+L
228V9a0d90so7qEYYgxnLLQ+ngyse+MDX+ci8sEYVW2IuSPZAdwGYwp052ES/wIU
fCDjBBgQiqTAR/m9lmhLBMHOLdSKwrN0hiI1UF+iAk4uheY9r6pk4VuVoKzKZ3Nd
OV9MdrcaL2TeIpLBwS8pS0ni5bF4T75dVjP86NJsmmAxlHqbB1MEi8ZexNi8tc5B
Q/umyJstZ4Wq
=aeh0
-----END PGP SIGNATURE-----