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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.0-2build3
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.1
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:
 561b7d46deaab0b6965a7899fa0fe7fac09ff005 29290 coq-deriving_0.1.0.orig.tar.gz
 9d126e98de16151e9bf8fa776820fbb2bf050578 2072 coq-deriving_0.1.0-2build3.debian.tar.xz
Checksums-Sha256:
 ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
 ba9f27f6f0524c6f091825a6ab984b28d9b90ed49ae66b545a55a1beb14058f0 2072 coq-deriving_0.1.0-2build3.debian.tar.xz
Files:
 22562ac4efb223977bec66929d22e58a 29290 coq-deriving_0.1.0.orig.tar.gz
 ab6697417fb8fafb3787210a9961e5c7 2072 coq-deriving_0.1.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILAoACgkQ808JdE6f
XdnF+BAArAWDSDnqhMKISL2IGlxEh8ezGcJSLlKKSfekQ9cVfQFg0Cby/oPVsYP+
RF1kh+Grusp8mLxgI7DhAnvQV0HDGZFHczdHqdwesQkdKSAeTHsByImutVPgCo8U
KBMTEQF7WvbpWe0aDpCpkgGg4EA2gKyy6rL9Op8B46uvX2bS+NjgT0zs6eukj8zr
J2Mhhw1RipG4iPiyT3XBOEtq/+bMM8Eo2v0zbJzzEgSBHH8tbN3sN4iL4N2w3KQj
Ex163nrhOeFaKzelzn5wd+RwwN651F6wboGndNBdQs7OVj0INd+W/Mfyigo4flRC
ytNavR2tvsqUUeX7wxA1UQ1Pvk8AppL3G1z7f2nEVUL6WLlU6lTc4kLzRBnCQZxg
BwO9WnuGUWg6ITllH3ddgr6YcO8Eg/R2Gm1H5JVU+ispi2oY+FbdM2VSAvuDrJ1s
1vczFxC1SOXKWTPa6JsPOjabdJvL+13pgGGgBQ8GvkG9Ty/FaCFAdx6s8WIngwpc
b0tQMqau9Yo6WMFaU+9bHJSDmR7mECuY7QH0AJE0LTLkaxVJ3eJ7KF4kgJwKOpQq
plMgfup5QkqCoJf7RVTADI27lrxBpHiu64cVNJbjEU2dIdEI50nYxKG0ldcky9r0
YC/NMVCeeSKnYWbBBfwG/ksu+bl0bW1ZAxOxD1Y+m1MwzpjaHvI=
=/M0I
-----END PGP SIGNATURE-----