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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build9
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:
 856a8f0126e761eb35b39896fcbda6b5bd78e7c3 31849 coq-deriving_0.2.1.orig.tar.gz
 cbbd1e88651930019ccb61457d55abfdb91a7672 2452 coq-deriving_0.2.1-1build9.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 5ade596ca9e190d865d6f2bc42040bb266fdc96ba1e3216f060c9386d54e975a 2452 coq-deriving_0.2.1-1build9.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 924d7897d28a4e9983cf45ef161cb9e9 2452 coq-deriving_0.2.1-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0M3IACgkQ808JdE6f
XdnUZA//Q5q6ZZW3M/TidqFVIUI1pCklDGknBr+ET8xJA8DzzDH6wc89EEjlseTC
mBUySudI7V2bNPpXGwme1SUUODFQ40L1OSArV52zuAB8z1zC4bJ5I4rtPms7mkmS
6V6e9lyd9wR1J+EcUbOvoT6Zww0FyepXqFBmVxNcnUD0lCIbafvmANCwQEc/C037
3NidlJoSVToJ40831HpaZxkDwV2wsxljPAlxTYsN3XYwC3ICKOH7OzsOoYt7n0YQ
f2OAWkrNQ45QhptkF0tk9MSmclMgmUdF5mSUIHk+UOIfnAs24VDooK/V0x0eVXPB
Js2crajWX0HqWZj9YEPXVo4CTrGio9YQmhwlFH40o7T83z8n4pUM3cnOQF3JeFA6
J1kr3g26QzLCKX0E8oMmteIbw0i0iAwRV4sdU0RmmZ+AYYO9oPgCdSXNpKn5P++e
HKlTwGAhluRk7Siqy8UvzhjMqwrw1tNir2ua8UcDFYbMIoxKY27ZmNBVNyeO6P1f
nHiFf+hZIlX7ELkzWpXk/ea+Ss+nSuMXMsZ2nc1AK92N3Eb28O5j1ySpMZXvm06c
zzGpb/KgzWvS8zNngBmy81Tg/b3qke9dolImfB0xoBKoWz2fiELTxLEGCTBR6nKs
76u7W1OXCbyi69EZ9FTnCaR3So0YnEl0LPQFMNdYF0N5Sk9VP4o=
=vK4b
-----END PGP SIGNATURE-----