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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.16-2build1
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-core-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
 437204fc271ff8f145b4190f30c448a2368c7487 2428 coq-unicoq_1.6-8.16-2build1.debian.tar.xz
Checksums-Sha256:
 e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 e3e79088682a8bbefa4da5fecc99ec751575d3742276af2e6153d17371a370e9 2428 coq-unicoq_1.6-8.16-2build1.debian.tar.xz
Files:
 041e01221bba8ef6f2c45ec1b8a1ca98 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 e3c08e8b4141f84ac59f09bdadf0f70a 2428 coq-unicoq_1.6-8.16-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeZgACgkQ808JdE6f
Xdk82BAAve2znuX1pnh29f09gg3xs7NuVq2pb4K697HFa77JGm3kAANyD6pZo4O5
Brz95eVeDtP3D4HP+9cUGILpTyyvfdTYfOj5mTOS7khgB9PwY7+qAUgFmf6WRoLS
aW9dH0S9PLAz2AUx3MEGtM1ZnvLozaoFWCBgXPxt8NxG13Yo6PHDOBfpUiHOsBwD
gP7h1knQDkd0h/4xPgB39QsND65ZtjWfliWrIJMr8J9F1FPXVVoDkDp+mtlkIMil
Y744ukrgR/wo/fI5L4j3DZWRj9SNgYjD0bxOSrHJC5HyHBp+D7lgAk3SYavEFqo/
+Mba6sABIXfs6iST1Q7vN+HiBhSdBjnTF1Pv8RMkfJVawmL/wfZOoT/E2dGaqaMt
oIZ/Oq4acIGGMNczDyGifAJ7JDSafqN8qmcJh6LFdsUr5LwEmk3Jj4kSeijx2tBD
Na2MSE2Hbg9gDlslN9neazCtWKVCzLkTgmljsIPP9G+0P6+7coRgBm+eW+GYD7JE
rdFAII/e3c0BYPhDx4OdEJkuHGO+j3rsKDyw0o53j+/ASQt+/jkf+WCyL0byV0+M
0O8Jxhax/M5jT3jqVMgdukc3qSEszLpI3IdQ1ILARI//43aBoD4/gJjWVrQ+MSAW
hpZXyv+SYLjrYEuSVu1c65wjweQl0zqN4yBdYkfP9AqPgmfcLOo=
=dRxD
-----END PGP SIGNATURE-----