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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.2-2
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 (>= 9), 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
 8af1af7d04fe4a1f95605284a0fa691eda301bc1 2344 coq-deriving_0.2.2-2.debian.tar.xz
Checksums-Sha256:
 c9477a96631768c2c8ea647716554bba865e1c84cc52a2a7cea91295471e8f7d 31954 coq-deriving_0.2.2.orig.tar.gz
 c5007f31c1044b254dab3c8da69d752ada3a8a6b5341e180416a191e1850bbe4 2344 coq-deriving_0.2.2-2.debian.tar.xz
Files:
 51ac066391bfdf5811dc213b125c1c66 31954 coq-deriving_0.2.2.orig.tar.gz
 8975736019f08943f54f781383ef809f 2344 coq-deriving_0.2.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkIMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUY2PD/0cThHhl2HKXwJhohXk7tCg
x7f2j4qVcIQmo2TKbVr/mDTMZIcwbOEW/xZ4D3DI7v2bmPe46BEddHQYQRNxh4rb
wD0fqcuMAfMOetbmwnBWJONjL3UAvnnkbcUK9foEitgKhrVbw4j/4zg6HC8T/qSh
OURkrBx+ttbhOek6W3Qffv2xUdtqiHGLuyAAGYxxOO5h3DazFmvR8NAYFryFGjTn
B464XP97xwdtpLNnkLnWgQBQAHsa9z0pmF+cgfMirHom9aKmgBsoY3itDrykANDN
YIPp+LW/s8c7tUdb0Z/rS8N0R1mT2XAFKgXY403FhZpj2zlDZyvIvKWgTiCBMD7R
cXBUV1fyQ2SYdYN5uSkA56YvwDn/8Q21ggzcjhMn/xPEPUozIQ9toaHXckSu5nTS
a9o8D4/oQkXOALWsd6dhuzFtCFZDr3E2Vj1lKsf6kBgBNlaFcsDHypY/TG/jR5HX
6k6Hfh6A/pC8mfHNP0BcKAyW+VoYmB68B/dZ/QSNrqDT9EMDf/g83cAc9iqykpi7
V666E99VM6D9AA+rnSBQaehLQo6lKwjqo4PywfXCkATzPqpWKwdCpxg/SnxUi+PW
wJJdI8Nwx8f3psN9ze9cHEQXUxAf88EnOcOFQDCtgkKG/VFa7liM7wofdIOumXAL
3vwFj7bRqjWFVJVEP6W7VQ==
=3uw+
-----END PGP SIGNATURE-----