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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-2build2
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
 b20c3d39e5bc9a863d12eef97c54c4a8494403e8 2956 coq-unicoq_1.6-9.1-2build2.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 938b66e063a02c73214977bce78b70534246b5fb4443194ceb69f1006f378b51 2956 coq-unicoq_1.6-9.1-2build2.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 9807547b7164afe1008bb016991569e5 2956 coq-unicoq_1.6-9.1-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQt8ACgkQ808JdE6f
XdnrHg/9Hgfa9BM8NIivgHf8R5kUeHHaUtx1LmVuEbMZF+KZOdiU61PBihN9fK8R
PYzxLEbBu1jM9BffrveVKCQMu2jJEkVnUeZulFl97qRUJdMwat+2lJDHBdpiAhH7
qBX5doBfHrXzPGCDGl4RhPICKw4Vr8n+zIfqCulWSEYSPTjxouSMz5rwRhOrSccq
dfqv6m5dFZShjE7WZ2Qf+vYnjz5fABiRicv/zO0nVMwUs/awYonerMUwJMtABoU5
YMzL5LeIWcifQ00Hjyhxic/5VFBtEVxdCkG15qXkzSHcfwfVenSyMdciYdg4HhkK
EESA3gqMpGIzF3Y5X7ukdKtn3z8y3/aAtyNUAMLfIxxg+6lM5PwxD74YIRjrPPKs
f82ZQwnflxp/v6bgwQ0YGjU5kxGbLDuqPDmCkCvJNra8lA3HsyT3NqguaKerbdN3
zK7qGL4nB67kByZw8Tca1cMtQx5UuEH6QL5DEVh9DiqMw6EMVzewHOTN3xckcfON
BJ9qjrv6J3KV56nrrpfPjpeRLdJXhhkUtEwE8UDWvXz1oU/8tbwuLY3mrJXtHwvA
nH1EMd1lQ8V2pJa1yIEjU7ir1ouF9xe+6FpOuyeInVl+BDuQGQ+WRp3lKGWpK/6V
Z8JOGi5m2/Xd6xItl98Kz9G4qUYeXwvVTaSdm/CvNpP583OjRSI=
=88J1
-----END PGP SIGNATURE-----