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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.3-3build1
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
 cc5891c15281a448b50ffe92690a8ed0ea0ab4d0 2480 coq-deriving_0.2.3-3build1.debian.tar.xz
Checksums-Sha256:
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 9aca23a7bade3e2f8f1062ef0a05b1cbc430acb8189592a34104c3eda3b91852 2480 coq-deriving_0.2.3-3build1.debian.tar.xz
Files:
 6dd97db71f1d8f37ab504409e8cc8201 45334 coq-deriving_0.2.3.orig.tar.gz
 a989f164c79dbc0153fcb9229ad34819 2480 coq-deriving_0.2.3-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdl8ACgkQ808JdE6f
XdlNmA//VIANchvU0ooXqY20b7HMWah7OBbIyinishEhvp0pJW1ulWmN6MSwhWBu
wgjzY5YEzpC5YMZJx5YE6++SROH3txrw+OwyYywNrBUYUgymjXkDYzGLn33E88OX
nox5pRUHVeKocI/SRDcOCtYlsVusAgNlpVgWg6nHPtdpn//GR6soct/i9gDSMZ1d
ht1lc4dyDRs+NpHAPz5cu8rDw3JLHFEaZn7hZMp0FxyU2brFr4BcickTuKp/ET2x
w/9IutX4JVm3Q4uFf/cwlIKlykBhDDTEQHs7bYWCKmZUCX7mZTvlwV8SQBZh5vZf
nCAKlR8LO86xZvznZF4ErdGvxA2yvZR86g8bNm05Wr9OLYmUOFEFuRII/F+vDGsj
UMSHc4sMzYF/xrR2y8Mmd+Kp8byaWdjdaAApXi8qNFK9+9cs3bqtnqsaI03VlRK/
WpG95EXZgRX++c8Id6EocoyP9eqVs4HVHCxsWbN4BdDGsTmpST2kT962sz7E032l
Bsa9/un1XK8wk9DGj4zXw2gZ1NGmw6UusYuquZMDsOSaBRlJtUWSvRwCn9RzkSHc
E1zeH6hn/xhJSgBFeYVItG0+aGryFp0eh/bxwDC0C/8xBAA/TRm7GsykRrJpKpKh
2P2GIz47kxvturGys3h2rcg9cuFz7vmFaq3QxAqGjhDn4xnOl0w=
=COxz
-----END PGP SIGNATURE-----