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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.3-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.4
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:
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 d66f821387eb8b230d768dc6f90088986fbd1f34 2388 coq-deriving_0.2.3-2.debian.tar.xz
Checksums-Sha256:
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 e52e1d9e55db963f786b77025079c9c685ae1b8de8f419999622c3787c844a21 2388 coq-deriving_0.2.3-2.debian.tar.xz
Files:
 6dd97db71f1d8f37ab504409e8cc8201 45334 coq-deriving_0.2.3.orig.tar.gz
 61448e979cc1de6f714939a7f36e3793 2388 coq-deriving_0.2.3-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppnkYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUe9JD/wJGTTazKVdPBGpINATZA8s
QGAbnWqNnw4FDZbUyktCtZNtiRjsSW4DagGLIc2QPQj79fOBC6SE6bcZNprPIAmH
GbqrRRMZhzENvyxejXaWGnd2s6E4/ihYhhIthRLXz7lrX/fr0cRCB7cinlKo6gQe
i4iL6COZWhCfuL29YaMeepECaQkBIsv5DvdsVy/JX+G10FCurwqL52UILUvjT6Rm
lEYMb85q1QY8WPPvRhbH/1Wt36OQ7niFySSiItjZUiYiYRh8e/44ZcWCKO1t0cPf
65dnT0+xTbanmbamtMgy4TI1+CN+lQye17wj3et9hb5dI3nXVENEvJ/tpxpluhqt
3/Yl15Eh+90+zbcypfT6kvIlY8JLtont1jTYofdykvHybUxCHyY6WP7dmn8wDmuv
EOdOJ5yo3HQzZSoofAcCFeoIQ3Y2YQUYYIYtMEvn6jfIABLUj5HxxmUpdTnwoKYZ
iJ59rilMkWYIWO9O6Qf6Dr5wov3LTNh1AVe4S8ydxMN//KHGRa6ypeiz1Uffo+Go
nrH2t+6CsR45p9rwxoYf8r2P7A1JgwW987Q9jfISftCrUy+mRE/F0nhzEkClQR82
A/s0X7NVom7ScgXy1KpMUlQuvj8jmy52baO0gBUs++5y39UCV8hwIMDZQuUHgVvc
I1C+uHYlTCtOsb7AfEFtuQ==
=ADJf
-----END PGP SIGNATURE-----