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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-1build5
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
 7b969aefe316e33d7b4bf12a7ad71f69809f4699 2384 coq-deriving_0.2.0-1build5.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 943b51e31d05356d17f46f04b419388794dd36c6efe3cc3e232bf3f841657ccf 2384 coq-deriving_0.2.0-1build5.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 53ef46e7064755e4cefc0f350d1fc1de 2384 coq-deriving_0.2.0-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmSIACgkQ808JdE6f
XdkaQBAAz5e9AueowmcL8w3MAoTO7iC0fxnmJnTZTHMmw5usKUDHkuea5YF0HCwq
/Um5yD4+CY+JYZBwXix6wWcFkXeE4JQnvHBAt1E6RC3fBHFr8tuiTWU//Q+nspnv
RUcwlibMH8/KNm/tjtKdafE3aMrHU02vBlXdtLB8n4+EIfOn5TrCBi3nxZ/iW4xJ
GrhNxsGEO53Lz/2h9VFl1+VMwPUgQMifvW46iK5K64bsSxdoXc7rEdlLLJZFYlyX
86ThgFQ6slIpiQKTEcQVXAEEVupsFFuU+6FirHHyxe6W+lzjbgJZLeS34PU5ogqz
0ntnFOaIv/fJPsSnKKPts07XP5eiiE9fDj6E9OkazXvEM9N6l3Miqm3UbfDJUbKW
2l5KLihfIRCDjMrq4sE69UYCK5m9nIybbLAWv+8I5wPKDp66n4uDqt4jrUHmSxgB
W7UwVEOd7aIx+nJia5EOZKIOAYXPQmAHSSflL6agjCujacaSsA2a5XGQ3dLHMkJN
7D8G02F/Y4vXiyV4TY8VlBM8dlkjUJNMNdDdBdSu1KshcNzbMOYU5No3jVjphzu5
GVHCbzor/tMwSNKAIlZoylw9GzcTOAPpU48Z+kPBAzWWDVlNcRDXKo5E51LLfCQL
PdASuH1zKmvZiLyC90r/a28vz+o7vT0QGPSVC/oHaLeUchZfY2M=
=VKIq
-----END PGP SIGNATURE-----