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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.19-1
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
 356201613de5d88a57c3c4e7ffe75f805331b63e 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz
Checksums-Sha256:
 c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 d297d553929e693a51206af73e9bb8af86f8ec21786253d59f935606a26754e7 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz
Files:
 7ab2b1818a532acb1d1aec540cc4c30c 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 2e0a396b8313fc537f29df777c6c8bab 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrq8ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlnwP/04yRQtEbuE3bOSLSTHnUu1pNy5RXWLR
FfCQgMjDmcZpvWHku3dD6ukvTc5Wddtg/3+C5GeedVcQPViM6ewA8vsPufiXKqUv
7soxi6UyqCAfy0bPTsTMxCYKjF1FS9dtnrskhzIclpP0EBL5GsrQMC+J9pJVA3pH
zKMi5We9iGG5R0zAOoE/n4nSNTt9tqtEcJrilJCsr+baNJ2xJGoIjLm24k3K6CSl
0hLgC3DjQNMqaJRMKE4KYRi9QUBvw542Wmu/Eq9lebAJxK3DFjZB0dLXAyFofMFh
EERoLPoKC5hZQ2F7zj58x4muAiBZIW4uuOT2fYiwM/Zj3ZY2vTir5GxUpaw7/qFt
AVxgcerqVUhsOwJJr07y9vd/vZ5e5rQ84EeFODT4ug0liL222dgrNRevG/iNotXF
qtFjL0Yz36fPc3VaCigosoNaxstXDk7pilxt7hzgWpuN8Pm15rzeIUiU1RfoG6W1
jzeJ+NoxSnEC4TBNiAnF3ReTka8RpUtjokGBVWnJK4TjcjQhpowYtOPOp7U4i2h7
PD5cFOCb60j3FY7e386qr+7dI6XD9urG5Qyr4Du/IJfSBTWK1JuRa7YeMUTU0nR8
OuqHmUyelufDueXLX2i2sKaMocj1okTWowFralxIb/UURzqf0KIFvMJSx2oZNg5P
EHDRhp+S76df
=+CpV
-----END PGP SIGNATURE-----