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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-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.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
 d473419a7b554f1fc6ef404c5b1bc5f7fa4b0efe 2104 coq-deriving_0.2.0-1.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 43c22289e5e6ae9be044e939b7ccc8c3fa46c7fbb3c84346bf155d88d73678a1 2104 coq-deriving_0.2.0-1.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 3525017039aa5cee5c16c3087bdb0143 2104 coq-deriving_0.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFYukSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwaoQAIY3VsY5ipZWwH3p12EaH4xMNhnHF00o
q/Cr0soPbMcDuktqU9Uhjxo1f/dFi+jylOP3HGScovpvv5AZP6c0ez4KtvslGfuo
6ye0hfE0zI6SYI4Nx7pZPcDj8NcOE23xFgRNyiGlz2PsFNnZPUcqO6sX1JXcRr/J
PW4zy93HLaK980J+cirlx833n6tNIRPNONkhiWdVnt0cwPwgMpTIBXkSdNRmn/Ba
kCrQp+6SUTJlUn7157OgGH6V6kfCdRANf88zfQQafFUPbhpEZ5nmnQsq4+blJOOJ
htnc6ZELJuxsJsUbfSr9Ve8gOqr2NYsczvbaB3i5DNMmBX06gySAwtrzmAKPaZWO
+WNZk/lIHW8ZNpbPe8wMbXZAgXatBk4hrtkzuF6S+M8W1jsocGyzt+iscF/F4K0K
j/seDUS0gZtgtlL9H2RLP8DZebgXVk8I68mH7+lWT3LF4WoEqbvVUz3FPQr7HjL7
ZIGpl4X3Nr1WFVBh0hFUyd6iuqsMU14OR+gTavU63lr6BHEPE8Zdxbz2yveBmeBX
KFeDvvzFivm4CHsQ7AjLOo4T0523vPWa8VZhc4zkFbpAUDop9sdR+0xdTXCXf4RF
9g+GNy0URwYeG6B1+rTx1Od3YxjuY47x3on0FgZz95aIrWI5j5TzZKOD86eb6a0z
iKnGoRVG6CzJ
=A9T3
-----END PGP SIGNATURE-----