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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.18-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 c4f3d9121fe9c28b17690d8b2a5c4ab72707702b 3244 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz
Checksums-Sha256:
 442de1e24a5bcbd23381dd5ff7b94c323871359332b462a99b1c2473f55cc524 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 43085f9fd200665f431b496cf0b5993d0765e98b94910896d6fcd7a21fe443d6 3244 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz
Files:
 493f4cc42f745881f7d64f05fb438dec 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
 1156c57dfd6f72b59477f451a520aeea 3244 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKQv4ACgkQafeQFxoh
CYSJDg//eJ5EvtyDpBEeMTbqTgzbPVDjtqq8LMkRTOWlKyaSnuU3NTkypb0JIaUx
ekuUbJo4Wz0DdiHmk3s6M8rAj6AVLV/I/xDwRkV7DIC45KczyDVXrMudRy2FzFwH
uspfk4BkPXuHXaDbzDs3iFYyC9lO13QUxx1qXXbVDAmfyyrH5irR2fFegQPVIzAL
yzm4qxFVngsNjRCVzgcOOVEt/K8BifLIIQz8aXxDnho3LktrNgMcRbHm2m3lBjbU
VWGP6dhpdYi1spGbHe/KfvrYfpRgXtFRxrAvjIlUgsSZLQ8xWbbHeGEjKuxzf7ay
pKU8eVigA7YSpUEC9hk6xQTLy5gZpsKWThl7Kc7xpblEOmIMpJu8Pntt3GnCOBBb
aom1/DwmUK6HdCDj+StVqV57aBClUn0xWmCZzn4BdRPQFEgK5QLn9DNlZgYCxeTy
+rWIXBBml8gbBPJm5OeyanJnt0jq+rdnMLcSXTuOzDp4MEqMJS+LUjr8zLjWRdwi
SSZXnq+muLVy6ade+bpBVHC3ir/G92KGeRpyMBAdRhJmS7+pyWsDnQlI6qob5dRn
czWUIjjdJia3I76kgyT2wwgEuHfwptBbdN/YJ3oAkKoRfYX9/hZts8/AUK7v0TKv
bbiqYDEvrZT1hCg3Qf+nTG9sh0vcFaVgfbxt/CXzZmTgpI4fgNg=
=n1tm
-----END PGP SIGNATURE-----