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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.19-3
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
 94381ad65aa98274d55e6cd56da2536883c2ac73 3976 coq-unicoq_1.6-8.19-3.debian.tar.xz
Checksums-Sha256:
 c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 69b88f1db8f3763e1cc8566208117bbd32ce2b9970674578745f426b3d48e8a9 3976 coq-unicoq_1.6-8.19-3.debian.tar.xz
Files:
 7ab2b1818a532acb1d1aec540cc4c30c 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 983faa7a01ce071f1682da53871dbf66 3976 coq-unicoq_1.6-8.19-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sNESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3ZwP/jejtNmbymzLsMU8LaX2TeIQOaDYIuJB
4ds7hqTHO9XLcnzap97Vye8nRh7k0wDrHROQGkkoE3Be5D7ls2h6DQI6tFwBLJd3
1klju0txFNZ7TUbsBPHQq7hEIFyySqKsaBeqp9Ty+uzVcCRldykUXLi8guzUgbHh
eg6flOjLe2agSpTb5ibLPCZIHnLWYrOCtUuRfwVqgjDSEq8KRVjvbKWtj2MWPFzJ
uU7i83K4eaC32LrdXMtEDSgWLhJQwWgxxlgxqW3ml/QgH9JYjtHbktHPJ8BHiChV
h8aLP32gY6Xgfgs0LEMFQBycJBVOBl+NVyUNRSQBs1vhVlrzorMtXdMxx8jfhZ30
weiylwV97vnvUAPk178QwsnF7SmRRvw+5eZ0gt6BmP8jTHlt1DOSxqrm3EbYcT5+
gGWkrPXR4164YNuEiGDomCGift3LFK+FHNN3LCh/gwjWYcZtPygX0JfNx5fQg9FX
CLsBIULH4iKKp75t560vEpcXDxrkNUc0dfc7bNDkeLNKzzaGPCZE7ksjo9GWyHfQ
O3lJmiQjPQAbXYY0oXaHNDM/svPsRifz8DiLfhcNlladzTR4FWTaUX8aqIM0fjvm
b/34SXyrkbxG+soAK8fHjpsc4MLSs0uPberauOeEjcsiu1LjaAqEb+dxrw5HMB9Z
eo1xcgq2UW7t
=5Ql8
-----END PGP SIGNATURE-----