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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.2-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.7.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:
 aa75f47888d4da0728eabc6c1c3bda28406c48c3 31954 coq-deriving_0.2.2.orig.tar.gz
 5d7fc539418a4aa42e16a0bfc38a467e5778b4c5 2304 coq-deriving_0.2.2-1.debian.tar.xz
Checksums-Sha256:
 c9477a96631768c2c8ea647716554bba865e1c84cc52a2a7cea91295471e8f7d 31954 coq-deriving_0.2.2.orig.tar.gz
 f124c2e8facbfa4afb7d823acb5ce54c8a9b55246d4e0d7ab0e27bcac58342cc 2304 coq-deriving_0.2.2-1.debian.tar.xz
Files:
 51ac066391bfdf5811dc213b125c1c66 31954 coq-deriving_0.2.2.orig.tar.gz
 e4e9990d83ecad54d566a9369f405676 2304 coq-deriving_0.2.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDlEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaDREACIckc8X1eIgiyEvq/K6zkO
/e1Bn/8OMHBmmdoLKou0QWgCAL6QbcQ/hQBCRAxmLYmpu/gbJUPIvD9mWW/wbVBE
B7H+LjjOdTFLSvVGGGeLbn3JI9zrtfPCETNnOiHkXOfDcua2L/cFlEeoefzPU4a6
kHMPrk1R+gPsXwWa7DezVhm2j8Po2Y+j8Fd4BIg0ws1h+Q7UidXC0u8ITw81AXCE
hNVJN0YlK6Xvn8LDWz0y8lUyZjB2WDYneRWLNeFDBZ3giXL7ypn2maHMvw5QPnd/
6Zqn5fBfb3Wwyha5aX6NM7gg2htHgNQSWxFk67psoYPgQ8B1/1aQCBXoFr07vxsS
alRR34gJKV7ESQPyxHjW8Y5ma5N/RD1mh3sW5fsTWa4U/jd32vaHE8a8nZ7OH8e9
BLtuN2RqjCloLBiKbMy09Xz6VGsl+m4j9aX7egN3vPioi7NLf6emTRWuO1hgnrXN
94Z1//eRLpydHvvmMaaYErM4AGMi20oyq6e0yLMxsa+5Lw0TKMHNUqutKrWnJsxi
ZL5WhMHs8FU64jCtoxKY1E0z++4gNhtu8J0405FLlzt1DpCab0tHMARzAleepBHe
rMqpTDIIuG+Ulo8mN+ebOI7S6VpDtBXbn6iJyP7OVvPMRIEIlzcYFYnzLd6L/24/
9V7KZ06hhQmm0yebViwKrQ==
=L/aS
-----END PGP SIGNATURE-----