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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.1-1build1
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:
 5bbe3104bb4f9c5fda07a9a5d5d4ee4df59f15b5 30057 coq-deriving_0.1.1.orig.tar.gz
 9955d0d13baee92d6567f59c6b92950dfa4d0abc 2084 coq-deriving_0.1.1-1build1.debian.tar.xz
Checksums-Sha256:
 9427f6b5400d2de875b7619baac9c999a8838e8c1ed928b24e92bf74dc3c9737 30057 coq-deriving_0.1.1.orig.tar.gz
 a92ba5c286c8852e854546536045d60a15dc342a9adea2d64c2d3f869ae52c67 2084 coq-deriving_0.1.1-1build1.debian.tar.xz
Files:
 07aee9be3160eca13fbeb6a17d9f8c44 30057 coq-deriving_0.1.1.orig.tar.gz
 54174c1c385f83db6411f0ba6a578873 2084 coq-deriving_0.1.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r4kACgkQ808JdE6f
XdkB3RAAxWRoTzj4NQTBQWYEOrb7A1pLHMMv13Mw+lJXUOv4h+KROlsKbhZ+fId7
uogp3tYcbOMG+nJrpcv5xQhsGfnndb0T8AyNTrrmj2zrnVHdzLWHr7GNrdcHY/VV
B67vPmkz5RIKdewk4QPuq1/N4yBX+196FLDKpWF6bycxqduOZxPMmlGjH2lnxUAu
b+xeILB4pzqfiie+k6raTdrZalg35Hgdyncs80LPZoTIoV25YrGdSk/LQdSIz8jq
zvStKm6HeudmqCg3Eke/4q+HxsyNWZKUP6Z1F8BZeXmEInnHrg3fdL4GlxZZXK4W
NnYE8ByymAsC5FVsVZfOW7zr0D818Q1aBXYh6cjo4jnVIGcOrjsu+NZrIEmzVg4x
K/mLIPZhmnF5ihc8jICMLbONoecnGPLCVtrXJ5znoUYVAybuJHKCfsFry2xRFULd
J2qs+Bqw7Ls2tZF6R/f7INFVu2m2J5Ap3NiTn0cxyTXvlaJ8uoVmV5HciKv4tUhv
16SEJB6Rm1VZNqhrFUJ+/sJZadItIZRv6okkHTVbSlV9hPHBkM0GhOgrrBYR4+34
SLRz3C2DWA7YBAgc3WZwC1cvtlvoPSAnLH+ONLOt1Nr8ywxkmA4MsXqjCsV1ysWI
i29so1Lazus23H90ehKjCtdIe6EbXMXhseFIvduxq+DKzh93Wss=
=bGV5
-----END PGP SIGNATURE-----