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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-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.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
 2f85f483784de8ceb92d61dd66eb2f18b63b656d 2136 coq-deriving_0.2.0-2.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 47d1e54c1a3291f04cd85c3ead0b71ffaff8f5976eb020fb67eb29edbb4ec4a4 2136 coq-deriving_0.2.0-2.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 3a761c9d1d782ad0abe516bd0592da64 2136 coq-deriving_0.2.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH5aISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3+oP/jskgPiSTSxbXvDZaR6p0F2+CNqRaMiX
SlczelYDxvpefbO6d22JPGLZtkbQ4vBcWvIYKCJrxxAVjgZA62r7LmN0jS1kNAbG
JE6O+LFA/ES6UupcEItA9WmzfRnvS+gZ2+VYlLWhx7KVJgm9dHkaXnbG5eZvnsTR
dU4tqAzw0OfUs3xuo5Y1XvMCtXNhyv8bBHxmuFbb09jwxBePdibtyESS5vMFFVEH
6L/j1Rj6fEA7OdQeut+adMRwduNv7AukY00Lvxaol4J9tEksRV4gBss00PxWJP5C
uFgCeiNkQwQge1WsFjJ/LUwfkz5HWUAOPffZRVaYi1uRaJcY2SqpE/lkP0ua6t0b
1U8nv+fgwCjkxTBslHnjHSMcWZLSVQUBJzulX+geyrh9nPvmdvT6mIM1NzGt9Fbr
Jy0fU7zKynXSK8SkOOQYolLyR5YFgRsXdOXLx5qN+FvssWNOJaoedNJEQcJXaU6I
IbNe270SdA37+u4G0IfMcqyO/gPlvJAdnI9DPNgPe6oSrp+rMqH2/X4Z1XZbGWdJ
dlpEO8yMztmHpo8iIPyTq5F6CtkUwZ/ASB7+hbPGbXeMR8K7T8EAwfRPe6QGQkFP
QIfK4eNqbqMZLvL+T33OolvWbF1tSSDu5207vrlUICV79GqRyZaG0pgTbuuHTzXV
thLDn5fKsEwd
=Lrg/
-----END PGP SIGNATURE-----