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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.18-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/paramcoq/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.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-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 c911aeb7a2e301479321d7d86ae8f3510bbcda06 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 b974ce9fb042486da705333241d56db5a091165f 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
Checksums-Sha256:
 442de1e24a5bcbd23381dd5ff7b94c323871359332b462a99b1c2473f55cc524 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 9f1dfcd0d025168dd3da8c5c687234ba85e85b6ee6d6cf0613b0bb8d1c1745b6 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
Files:
 493f4cc42f745881f7d64f05fb438dec 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 29da8affc237b99efbeb5cc2081810da 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWuASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNa8P/jO0PEngbdjUr5lGfzjpZMA9ijX4UfQZ
Eulnizo1q+f0/qDZVhsYAQU3Tt/CLW8WCqZAvJFjL2QnAPHsZhmrboI0QuRuDJvq
XCsvrExOyrER0UZHZCQkeHUlYXQvKk+yvRbcbVQv0hRwahduMj139h3PPRJmeikC
cLt8A94OT2hccklGWULjQmlwrdO8NXoG2dLUsyl4u8M7ML7gYtW3KOfhxYtVOk7+
6FoRqCCWZ0D6N/IwdU7zNiL44fGWk0CZw1Q7U+IbkA8nSwg8VeBZ8ddI8IGYx+xQ
PpVCkeMlwNoLuVcDmBXw9Dqjc0TB911GqrGJIBlyWIzBBmgOtlf+bdkd83VZHo2o
9qpcdGze7CSQnFZRW8ObvS8XsRnB4cWmPmRfusmkIG0Rj9Pd2Nd8NXzfDr6Lp5Yt
JLRfMhkh0EHOKc88b71xAM7+T0XXRUKW/SgQ6zpxy5XPSlc0X1V8UotMnlnJ+Siy
5YaaIzhM9y/Lm/OlLQIAC8DWr85cmpJ6PyybLK8DajLRTQFWUvMuM6QZ+RVZwFPl
ywIbctb+SvxWMzsks2or0SnVIIp4Q6HeZYk2fYKl2h5+l9pqCif9TllMErdKxlqO
cxfUpLqeqIY5RJREI5LOoRi8iHiJdCzISGIag5Sgv03YTFE/V5MRDMpoSCXzPdqw
wqezhUhPF0pR
=M+2U
-----END PGP SIGNATURE-----