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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 d74607678bef43a0f8a85038038a099415997827 31391 coq-deriving_0.2.0.orig.tar.gz
 f622a43e5727e7ef96b1c028e523a55e3cabc3ac 2340 coq-deriving_0.2.0-1build3.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 ba3b0d959325a751d1e03b2d539e3cbae395b27475e7c8707eaee5dc147d69d1 2340 coq-deriving_0.2.0-1build3.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 43ed7f27e44e59922575f14af6be9150 2340 coq-deriving_0.2.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/b/0aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2t2BAAsn4ORaEmjFm9Vn6fmZtm
A89EThYTD3hrslZ+B+XWQhMi5qbbAyIIKhnAmD4CnwUaDGWu6fxVZcPi99RjYN+s
Rm0MHT6NdCz/BBaVfRlokd4km6xMSKmoGd3ksARJplOx3pTcIQtAndnn9EwIZ4cW
0dx/uuJiCRrk1YcMSAssxRic+/dgzngwUu3cUxFGRU61dg/JFX09NXA73Tjmka5z
r2+vydc6RS2m8sVoS6aLv9aof1a0U7lh+5HJaS76Y72+VeOOG+TMJDpJrXgiM/sw
xYqGf0dKWK/skdqr8B1tBRa9Obv6IlC59G817Qepsq6iCAiGHybRDmr92H9C2WrS
H0SAxvK0aXJBQXT/bZAA3Ug7y7+uufHVa7l2mw7zVLnllIZpqlOYjt9Yeqpovu4U
ppZAdQ23PEbriXwxJpv3sQaFmrVReHmhcP8v/nmjr7sGjPlAWSagXf60ZaI/ZreX
dxCMQ0E++agWY7tPvr6S7k9WbdwgL2W6FJr5shyRVJq4VDInuazdPkGG5QX6YMyn
dyGh6tTxmOwBjuvJZ4+NMpnRN35W1odn+Srpo8h9cKENu4lVKfi8VIp75RbzV5Es
2WspHbomE/LJVXibfRMTfjpIQX6oWG17fK94gExv0j4QA9/hiI19+c7djYoSczr1
LGkSw0AuW/utv05SRvEj7bk=
=ABAl
-----END PGP SIGNATURE-----