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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build2
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
 eb526c7712e0a94778434ce0b8a7d2bdde417247 2848 coq-unicoq_1.6-8.20-1build2.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 4255a1142e864487a9e8dfea996c3eec50ee056dc8820bfb75019c2028020632 2848 coq-unicoq_1.6-8.20-1build2.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 f74857ef5b6a979d2ce15ec6c67ee023 2848 coq-unicoq_1.6-8.20-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeugaYACgkQ808JdE6f
Xdkh4BAAkkjPThLDGp+uNim//8mb0qdbk/Anq/Rtj/2nxwJGxOY6Xrve+ki5f7/H
B4LUw1gVDCO8VqWizhpIoXwAG/LGmCygxgzyBo35LdAnzNVE0wYGV9ZlVLHO0y1c
lxxUm3sneBp9tJ1lpFUggXveLzuvEHvYrEOtYC8pLtnnNS7RJ50rV49cP3fLy6VM
+hraaUJJtXKFRueXI4ydywOaA53x9sSMI0yIwYTZBJW5cDIygUasF/loDxfe0egj
EzJ98hlWNH/ahJIPuLgZPIHfx6Ty4Eoe3K9FtsTets5M+k1X1Cvsuex6vsfhZE2P
fOVGKPOwlcawLNpJoZ8giMZJjtlh/ML+5NSlrhAGwPuofoBjU8QgOZqZ4NI32bbc
ACMfTsKWkbWPyCkJrUJW0lf5/BifiuIxtaJSqcAuBjQnv/Di+4NF87uDp22mQzhd
BFxV0Uaql1/mar6/OzDOBm2gr8/xBPVgVhrQFJkXaVUrSjK3kosLwBWo2oK6A0tN
0pfodYusLcFIOr6aWBDQ8V2qvlQMtiJ12miFtkIQ9O9GRDJ2MkfMMFNtKe5e2vUY
Nu+7nh2PQW+luHk+EMxSMPASigzdvMYikiEQk4kvAAFgoQthvm1SPbyrr5or9O31
caCMEojwOyWoeOOxFocdviTpXqbg2nBge3T0l0xoT3gyIJoJ8ms=
=5GSi
-----END PGP SIGNATURE-----