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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.19-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.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:
 75eebbf70381200eb536e3ea3c558f5a089c4e1c 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 2ec757245bade6aba30a9ddf0b8d4fc2a95f382a 2680 coq-unicoq_1.6-8.19-1build1.debian.tar.xz
Checksums-Sha256:
 c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 a645a0340d258e4695e91a41399531825a707b382387600f071902f93ecf89bf 2680 coq-unicoq_1.6-8.19-1build1.debian.tar.xz
Files:
 7ab2b1818a532acb1d1aec540cc4c30c 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 6a39b4a714cf395c200b3cfc2a5cb365 2680 coq-unicoq_1.6-8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtsd0ACgkQ808JdE6f
XdklSA//apQtaAglKRkOe6iXJtp3DQEccsXI+Oyg5vQLqEFd6VKwRaWlIx7wc8/O
ypp51DEoxmMggh3fnQ7ZxAy+h+N0yzxEJz48NdfhlXiKONi4tJZswr7kZjhyvYZK
Q6vzs70LVil1e6neG07cytldZFOS6TGfJnj0QDuaMnL/3H91NtKwx05bwo1zWh9Y
T0HdDsMkcKl/hMq1psyIo2fTdGkqv7+YBYymDQ+8p4gRgnIutpR6Igu+QBxUi3tC
YjRzNrlMHGiQ5dARrOPV/EpIOvQ+Si2rmMQgG5EHjI5hG+l6QhU1rdpHPFqv7ZqM
x+9M01z5eacdgYm0WMzqq/AfNb2U6R/p+GFU+a76WhwLW5mGsVGxPKnx4cpjOzpP
nElzI/CAnMdHwB/e62rMe85vTOG3kxOoDhm6oC8uRpXu335tbtkC93OHvutXJIux
tTo7OTtH+wdR3BpuUQwaslQcMyZFoXR9xFUIzGK4CtJzrcpnRA15KG4r0WD75Yrk
urc8f8RTy4DTJBWqzdymICWmKII5PtPA8H1bHcViK9T+MTt0N0lzsxXlFxvx10uF
3Ts88kndSlkrrND8wLVCy+0NPMTEimZVOJKXs4bu4HzxqEk7pUyrS6M/dVVrqy8V
D5UK4/bJd7zmhakDTadwl2S6H/OqqBN8yCE8ZqsH6CkjCRU+Bzc=
=GZj/
-----END PGP SIGNATURE-----