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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.1-1
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:
 5bbe3104bb4f9c5fda07a9a5d5d4ee4df59f15b5 30057 coq-deriving_0.1.1.orig.tar.gz
 341f5e86ae26e96cbcf4f43d51631838a9913b84 2012 coq-deriving_0.1.1-1.debian.tar.xz
Checksums-Sha256:
 9427f6b5400d2de875b7619baac9c999a8838e8c1ed928b24e92bf74dc3c9737 30057 coq-deriving_0.1.1.orig.tar.gz
 be3cee45d1b01cfb41325d4e3c42a25c92678774f1ba30aafcbd28f88b988320 2012 coq-deriving_0.1.1-1.debian.tar.xz
Files:
 07aee9be3160eca13fbeb6a17d9f8c44 30057 coq-deriving_0.1.1.orig.tar.gz
 b23b4a6d9cef1686f44cce12c4b15adb 2012 coq-deriving_0.1.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxHISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2N4QAIonS0RPr5tqiN/53lRtfqsOBB9jkoDu
SmZPZ8WMhS4XYMQatZpV+vMBWukdFCto3tva0M5rcXurD3EpFXa55T9DLR87+3Jk
yuwCQYW/p0CLGgUDUdFIzPKBAoSzmpcCaBrzIgUD7Co4Ndxf4PExEIPm6uu5EUhY
TQiLJj7YmBHNwl4d0nSTiQTMGZCjqcbZVawbcnUZZ84burOx8qxw8mJom4Ry8LgA
W4XaU3PuezKtDfLy/yVNHPoUS+lx+hK+uWcVnEhnsJANeUYhylWSGbE4TYAuYm0S
2iwLrW+B3vdPIJm5Z3InvdBx4Xuef6SN6k7k7t8C2qJz4cI75b7Lws4tqj7RHRuT
wnk6QOqN46qjKGFNNx8cg7b5lcRFkMw4L/8OFCyMSM1MN4EhbFPTY9tXiqe08/lk
0jZE01QQ+a4Qbbltjn2DugO7rM4aoUq1JKxl5gWPVC+cs7Q95ncho5WeLmyFF/U8
RH0h6NVbRltn5DnY6oqwBD4kfA/GcG5UQDLcphVWkgs6qrfSbZWv7e5/21xmp71J
1+80912OtjpEaQBsxdla3BIIDnSPqvw5KEwo9Tp+O05/0WbZSlnUAmTo+OXHpOUX
4S9TKxhPoriNvKENHgNGZO3A6zi/Od4XV6gju9/8CV5+e+TKvK5JxKJ5tNQC3b/7
8ANPbRQhiSDn
=/WNu
-----END PGP SIGNATURE-----