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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build8
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.0
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 3cc97f0cc7fe32f70856ef13d7939275136d49b0 3024 coq-unicoq_1.6-8.20-1build8.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 9a13efaf30a29e6cde0b6e89f931e2d18e347dccd96975e58511ea5bffdf5c1c 3024 coq-unicoq_1.6-8.20-1build8.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 1f8479e09d1c4298797714d120c9a407 3024 coq-unicoq_1.6-8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYfIACgkQ808JdE6f
Xdl+8A//dUTgJFkSnjZatwvMboP9NvF2ru2qVsBv/VzyWrbqhV3D6w5zpDK4EDaJ
qii1Knp4sx4RN5PxVb7nPwpZEPD1o/pBi17Mr0ibMlUgnS8S6vudcpSu1ImONJLt
4EG0Jkl1OxJUgfgw3pnadkDM7aMcHlZ7wwsmSZVWEPcYMahNF5o1eOWxAVx5wVAR
IjheGO7e7OlA+cDIpyISXtaxFOMkzfjDGkZi7GCiQcXe++6ymSzEC2tz8pZTOGJ2
37GuwbteNxWhz6uHC8kPNsIO8wuRdXgwJgJZUrj+CHfI8LVGMjglkmUeWwMYmTOi
lO9pF02zPAoGKEUypfErIhiLbo0xyHWhcYjmj9Yys3Qk9tgIC17ulSbiIvQ+nxFR
aMQGPrY/182dEIzpHQEdYwfFIKbxKsPJzHmy2/FLyMAkO41dGL/qQ6kAuqT3ayhP
knHMK33N1yBAsEm44Qf3hRLTkgFD5/eFpd5hEMvjNroiwImLScww5YDWPGkVIqPR
5XOrMa/TRx9r7fOIyOSglzqhpkH5aTURczmllgM2Dvgl0gGhiuXFD2oQjrrbEZ9I
kY2FL4DGjz/4Z/LLgAx1Sh42peAAtm27nCkEnlTSFJP/iMsdUbgBLu2T/ddaeLp9
qh5U7PnGHfZRt++Z1VJE5geO92rrB53kshrBv6PLUwyX/H2vE+0=
=VJcb
-----END PGP SIGNATURE-----