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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-2build5
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
 f8a2f127db41e4767ed55903759b269ce5be8379 2272 coq-deriving_0.2.0-2build5.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 a66f3f8843a00ba04a3a637707618befee8ed6393ceeed2db54d6f5d6825dd38 2272 coq-deriving_0.2.0-2build5.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 308b3f7abcfeb8c248091083b04474fa 2272 coq-deriving_0.2.0-2build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpkAACgkQ808JdE6f
XdlB+BAApnTfdIo+48ihOmlvPl/fCJkdQLqwWv1qwBtAI5B5c+3+0IrXb+G6fYIh
xPW150FyXKT5lKq+STild/+sJX6TwbnEUveNPPbbJDpDX5mNzGvLy8MSo1ZS8G7z
9DPpBJAv7y0DqolLTJ249v0fs1wl/wT5zLjE2biDCI/n0NFw6GwRkfZlhY0EqcyQ
L1O45+ZwLueNCvivNWnBYtCz2iPN/GwG5jOQFx6+ljJgsJ4VM8vAZqqOPvthi6Wv
kkaY5OJgKQQUVacarEny2zXrfPl2Gn8udTNiaQ+84a1EHFfsdU4IpCDNQ81h0JlI
M5DPPBkvq3zo8CjQNHv7l8Ug8dICEBiT8OckZrUo5igGBTvBFvoSUqzUfk0NpBpv
4ah7+u9wl0UEHNEP4sozpjIlogsHN0RMYQN/3x27CFgNaoDA8ocOz7qsEB48aPEp
UKlNO0vKIF/RFEpAwWSQsBUOCvfBSjyB8yVL3DXldk2o9hnGx1SIJhPgNNSoZEfK
j729n6tY4R5q10OkUDvWaQ+MFKSD3NUft9l44hHD48Xli3sgl/p6k1XLL9veZIUQ
1dnQBisnkhtMfr89i2Cbm+z9swwawKmQIRKQXqjKfC00FSs76sM2AsKArybKif9S
f9V71RMRfTbjNW10ufNoD2qC8X4joZti7yGT6v+ju6/2aV21Dh4=
=EkST
-----END PGP SIGNATURE-----