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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.16-1build1
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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 3434e1899bb99fa3b720c56484a8d0af4fc380bb 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 ec7d970bb69d9b4ee6e2e8994906ff87745e1d32 2392 coq-unicoq_1.6-8.16-1build1.debian.tar.xz
Checksums-Sha256:
 e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 1a649cbea21dd7d53cf7724b2ad01a47c30f1b3122bf07eee8a4b930eb80c2d4 2392 coq-unicoq_1.6-8.16-1build1.debian.tar.xz
Files:
 041e01221bba8ef6f2c45ec1b8a1ca98 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 4cd55dbf8881732896579f34d352089d 2392 coq-unicoq_1.6-8.16-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAooMACgkQ808JdE6f
Xdkaog//SWSsGBTezBohN+K7JSmpmKoCDWbx39CevvMZQ5JqIKCmjbmntmY+X57E
u3Na26C3Pl6oDffA9awIVy3rIlBRrwi6Cc9hsvuCVlvCTQWZzRCiDbF3m9OQOBwZ
AG3JtN6uSXAunZtruhyo9w7ikeDEQyqJbvfU5le2tvhl2KbB2U6eSp7m/b+ZmXaW
L4tSXoBL9tN7CWeeHPUoEWX9vWFtczowqmnam9KbZzqJ+RlRX/cw2jd20fPYH/ke
bUpJHSSMeTUvfHzLpEV5lX+zfh3jx5wSOZ7sFf3hopQ4vOATCM+iyiguyn8fUmBy
otxjpp4M4Ex/jhUo9c6Pa+vR7Z58rpPn/SaxyWNZmIpRfA6otDr45yXluspJhiOt
pNvP+SP/LIC3nqJYKh0xJpTvjEy+6qq+dlJu7bCeJWNTdqElfuhc6DbYsmhCI/kg
B1k1jLSsysWekMGjmOcHHESpvRTd32K7VDMWBv9t+yCDQW/CV3oZS/FzMGM0E+uW
aXvLr9ILHR4iizqTduXnoA/iu5+ao/zcNm7KighRgSGD456vMsHgjjE6j60RaH9R
8CYL7oaIA5CqlzGxbalWTNoU5l5awFcm2ywAbQduUzAXH7w8aBFJXn5V3y9nrptW
8lqZOu1UucUlC0AW1uI0YRAxQVm87GP0qm1eT2ix/IUTo8Wu4VQ=
=HJKV
-----END PGP SIGNATURE-----