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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build1
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.2
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:
 856a8f0126e761eb35b39896fcbda6b5bd78e7c3 31849 coq-deriving_0.2.1.orig.tar.gz
 4021553d4ca948230c05955c188fe4c963fc5d31 2300 coq-deriving_0.2.1-1build1.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 22ba561c9eefa9783b7d3521347276878fa54b373df1e564c95343ad119708ba 2300 coq-deriving_0.2.1-1build1.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 da54565955e80dd96f800cd671649394 2300 coq-deriving_0.2.1-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldBcACgkQ5mx3Wuv+
bH2j2RAAttkqILlJmuWuXjU1HM+fGXlWPDy6C7KduxyVq4kBDyNQBhOM6EHW7oNX
iOjKEzarPAPtqiVtDSQtlzMLgN3ZfWPCg2qkunLXcdfBCYWRxId210yuLCLZkvgH
wrONt3GbpBnUi7nRnHF7cza5F/ts1pPQfU3QMi8/OUe5wHYjwS0EFOUvnp4pC1W3
qQJeQXSK/im+jw3oOyY6eqJrB7qTX3yl4av4cHzCS+1a7Ejdmzd2dr4ur5CjDXbX
a5tnVZY9tyIXAfqFjwbBiOAmt4lAcBQlh63veHyMeXc6aytc3DPTWR7PgVgUrdC2
U8+81eMh52dLwdGVVRqJ3J+ARm37V4LLcQ9/r+AyfYnCpFfziD2kMCglaDP0upw0
l1ZtdtAnODKO5D+gCtyv/uPyGi46RlROKD/nQcQ1peelVgKWPtEDxNfPrCbry4RA
FBcbNEUQtkWitlzirtfny1BvbcsGKwj1w+hn0yaoDmp+jUfkkdY98kJ8Z0bppPSz
EV0JnK5C4Tnc3YnikHmXLDondM6xNc7NCaf5162QqLzj+1m3jhggUTI5gVPD/HuW
mXSfr4NMz76mTz0x9ShX1Z4G+WGs5wDAcZpIRycwDhtzsAKOoO6krSQnazS238Hm
lR+jzVx2/kCAqUPTgjvGDyfhiXHKK4D4WLOuMYURIB0o7LqocQg=
=zY1I
-----END PGP SIGNATURE-----