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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build5
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:
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 d458f7e239d38035761831801564a093ebde5a61 3436 paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 62a94c82d87973a92827c47ccbdb2dc5a8ebf9cc4cc5de13a848b4dbe1772208 3436 paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 e052035b8ea9e9eeab190fca13aafee3 3436 paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9iMACgkQ808JdE6f
Xdlepw//alJjuuKtQ2M1J3zykeRhI5S5PMtrVrMAXsI/9L9HJZ613/GKvznWxlC4
dakwDp9UkpJpJcIl2y+atAlm5CqqprPFFwgmI4+M+DgT/AVECXyj8gvUC97Ok9N/
0PDdddSyBI2zcpItVaaE00L6knTd5YvIoy2ntd8yj8EXl5cioSfNrn1yJnQ8uvDD
yfLeJ+S0zQ2qGncmgAXaGCmmcBxwqTHrsHptSZZxNlQ/6eQ7ixdYnE+B9blGRpB9
8MqiAPOCQpAP95tpSTGOGcWE1uW3jkZWC4Xx8CMI4UrIrcPVXvH6UhTrnU5aR5Sz
ykg3LCNUNIVtV4k+x9/g3oH7Q2UYbONOxZQm9/spU2iWxCPonhI1C1rK/zwaXseP
2wq6Wj9JZDyeK7dPq99k2LWeuWR5NsnTnAPujfHwDaujqt621FsCb4a05eIao3P0
re2vtqJZfvDUzcdyFtbE5nrQ7I/CFX/4H2Zku1oR2Vk0yk3buIXwt2sCjMKmHS0c
FeIFGNhOkAuDp18UFfiQIxgs3HBtdsWWmYumyNFQ1uqGj5DodJi1ZlXADxBCJeV8
gOU5PfQklluYThGeG+IIjT3w7j5U2KBeSxchr7i/l55386SsCy4DgzB03FLZvLeh
F9v87Fpz3T/V8NkKo8NHUEYDaWVwVwjvRcekFi9rkMivDb1nPXM=
=fMwb
-----END PGP SIGNATURE-----