-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.0-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.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-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
 abbfb27e1c71a1a8d52bc3b5040385264cebf205 2004 coq-deriving_0.1.0-1build1.debian.tar.xz
Checksums-Sha256:
 ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
 45e7c5e8a7e338c61ebbd6cc875e41e531e5fc9a1f08b3468d147fec01b3b8c6 2004 coq-deriving_0.1.0-1build1.debian.tar.xz
Files:
 22562ac4efb223977bec66929d22e58a 29290 coq-deriving_0.1.0.orig.tar.gz
 f5080b1d7c74f9314b6e437e75bf565a 2004 coq-deriving_0.1.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe3IACgkQ808JdE6f
Xdn/tw//YXUPpVupYXhycaQVkmj7qVQBh0wuvESyv0FF4vhtML+YeUhBsSpTUd3D
AfSZloPX24ETkIz4YaIj25Rl9PFk7CIjSfKzwgYAb/2WmAgdC1H/WRN/ObTcpU2j
4PgOaky+YsNdXtsRuQXF2R/ibFe4UawT9di0Sijh96Sqq/yiiLm5h+Cui62aAh7d
mV6DcGTaPD5aAI6DIBetdmehfiBvS1ni0uQdnmtgESO5J9wR7Ef8PGyvlw9gE3hZ
m71mIJMGEGQcZyGbvt++OlShIm3dUDCCvY+THQxIFoiTpf96MpbgmAx6rvh7I5dS
ENqevTcmkjxLQ1hNZ+jpCx48S6rIu0YvY670Tqi1lG7daONk2lls0abYfTRjBHF7
O2LcYtNRYsG6G6YUurLKYGYt1RJoMPb9Bs09ZclgvtUzh2C6iqMHkvlK/FDXKhjT
N/0a4MNDgpVDEbWxa6uYpzQs6Xo2/cUNo2JSji4pevN1mYiaJzuR36R6kR/55AUB
mdubPQGCjz6s24hUNKolz3MvDLmJ6oIsrgk79r1ZMkOUBK7HjBmBVPdd0GJWT0eq
hQnneHju9nEw4m0nl/4bwsePRA3Cqs9x5s+COQXrutYA/NEBGiR3WbrCqCxJtKhS
C7rOxNmk/zDN8FyS+irWYdR7DTU7wm1mgQjRObEx1j8ICqZcKo4=
=m/xA
-----END PGP SIGNATURE-----