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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.19-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.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
 4eb139414ef5f8441b1696a087ff264fb2e7cc4f 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz
Checksums-Sha256:
 c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 20d1f0ef7be12775e6a60d1dae317a3bcbc114fa0318ada97b4e3c1c481503e3 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz
Files:
 7ab2b1818a532acb1d1aec540cc4c30c 593676 coq-unicoq_1.6-8.19.orig.tar.gz
 8110f1bb69fe0ab9ff53408edffaec12 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz
Dgit: 15634e44e51339e8e3f37bef53987075de8a7eec debian archive/debian/1.6-8.19-2 https://git.dgit.debian.org/coq-unicoq

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+PESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBMmYH/0rJkaQRNxslnsJctFx0nQy5QhcxEx2i
nARgUK8bJF80d3QQYwfDHMdbmryPclUf3NIfnARNp3uTR3NNnsxUGJiymjEkWwQA
EzRuRgYOFETFNaVcL4msZWuVGEVogMkxjPZs7HNfBmNtS29UYtL48XtzgFCyUaY5
IEHIvn/ZDxFKWWtWVLvniZiiatp2eCCHB2Rh7kvEzixE+IsO/dGvxjSDl+oP167f
l2YKkvFt6m0cZbm8s2wdwy+UzUtvkHIFgJEFaa82eQ3BCN434kvv8qoXyvKqCDY3
qG8i9CVScX19F1eVAOBeXr0HPK6DrrP9qtBnyatHyD94IlpViingKYo=
=byhI
-----END PGP SIGNATURE-----