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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/unicoq/unicoq/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 4e1ef5be2dc02d4e7564833f64bd896d67af0892 3340 coq-unicoq_1.6-9.1-3.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 28863f6c9db378299ebaa910505b6a2d08535d9f85558e3e0fedb1828ee846ea 3340 coq-unicoq_1.6-9.1-3.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 9887c1af7c50e10ffa1307f94d26138f 3340 coq-unicoq_1.6-9.1-3.debian.tar.xz
Dgit: 0cc76a351e8866001ab3f4bee656a9631671d98f debian archive/debian/1.6-9.1-3 https://git.dgit.debian.org/coq-unicoq
Git-Tag-Info: tag=f81e8ab5586ec55ad1a63226aba101237affa294 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <glondu@debian.org>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqNghsACgkQYG0ITkaD
wHkPZhAA0g5RTCw2ZbLf7o0jkCpivtP9NPWN4HubYyMfA0nJdEJZM+qsEU2Y4R3D
IvFMFdgVVoVWICmSTW0envRrmALVG0ZS7Vg0w/Y7JjjSFNd8rEhtlya/xg1OfdDV
ESm4SheyApUw612SmBLL6dGbtUJCY0aJu/WL4TbAOZDVrv2DwlGHkOvsIBxFWeu9
+tinHgvPqIgwNNKIkD0lqwDOyKok6RmemQw/qcmaU5oEGcGen308xBoi7kfMvWHG
9kqhjpWu7+GgnFYOmHEpo6+iVxLjM7EKbkI5iIm7QHptu84Nf28uA9/rk/U9Zpgd
yjiYHQsy++F3qNbCcOKvwLD+feEafsGjU33T1IM0mlPu4LuX9sFFTCKRZOniI9dB
C61oUy+tzPf/1GiXYYhM5b5rkdnYXMIwVI7eKM4nmXhY8oH8yFkWgVBepu5YvuGw
0gHDi24Ium8E2Zx5JASxoQO6t8p8ud240ags8Ra2KL5HX2gcBeThVSSca/PMa0+0
tmhN1R4pxO8IxXsrTLhoiviROYYLQj6REf8u+HZfHl7opCqNpWP8ASf3UIXUK+kg
eCQhhUCrkhvmOe69jbrhK4CHWZKyT7/4s26iAGgTnbnq2paKW6QNlCVmHQfwqZTo
d9cgvcVVjh/2r6SPHNJrwK4P9BMunajRunP2n95gRZf8KDIHUC4=
=RWLF
-----END PGP SIGNATURE-----