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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.16-2
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
 2e48f11a9057d68d7119b8eb14f8d3f4a3148b55 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz
Checksums-Sha256:
 e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 0e818f2759e63899adc561361e83289c974b478b5372f99e1926df830b9c8dda 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz
Files:
 041e01221bba8ef6f2c45ec1b8a1ca98 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 3a26239fbedc871eea207325f291ce39 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ34sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRCYUQAJ7BQ8NTCQ13g0/b/n4gsC6bAx8fmPio
q1D2CrfU/AQG+jj9EQGvW/FpalVdBvxYr78XrOWbyJuT3YlcT5mNXDOItsZNbTeo
11FZMk5QSnYKBg1QMsIsdhjwLAZSluZL1xHJRuatbvoHQxqH7MhSUTFS8aADF5et
tEwXyV34Tvpbhv+6TFTVxDkwIDZK12LEExcHVVL4fVusF8vqoRUDqLGCVfUatNlA
ibgibT+ykIRmc94e4+9XRQadNnOBhxPzGVPeHVDmlfhP3CWU1DVCn8YqHws6cdd2
qvuzlmda82dglvwcPLH+ZMrxKmMgjxWmHMxcOn+60mVfybzPBS6trtltzgLoulJW
+0AEHJ6YhPncXZbL/c3WTYTR1snldaE6PddORJ4PY0qXVPiJsC3am9aT6Vsrt788
YE87df822HlOji+wSTsw6YhYswiQbdrRKuIfWlDkMCv8D328lXSs0sSlCBnO2YhT
1pxcOy7TPIQNUiJXgUaOwm+8RH/GmZvVTW7piyhoLWlXfmIFwBleFO0vrksuoWR1
jlvf+xEGjFmZS2VXCJ6wlxCk8ACVW6dUHSBc2RGqM4EBA95QvwlRNObHs+AXDaYd
MWvm2x68/3d7MtcTZaePnSWHfvZmLa+BytFkFusbSYWPoTgJsJmiacrRkbSEhT72
Xu/4inuYS5Ou
=gIe0
-----END PGP SIGNATURE-----