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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.7.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-simple-io
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-simple-io
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-simple-io.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
 839b0c00abfdb7e2644ff170c8141ed72e690c7f 1916 coq-simple-io_1.7.0-2.debian.tar.xz
Checksums-Sha256:
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 515605f597003aba91ab7845e6ecf6dc229565ba7d199cc67aa543b12aabc760 1916 coq-simple-io_1.7.0-2.debian.tar.xz
Files:
 ebf304b8be97070fde8e2383eba96984 26183 coq-simple-io_1.7.0.orig.tar.gz
 5df1347d05c1be488dc76c109bc6732c 1916 coq-simple-io_1.7.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4G1MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROscP/2XioB91AaRuf3DFEwpTVIYF3TqUEWF7
4L+6EQblryUSW2PcOC9+dtNA4P9Mmp/5ImPi8yrJcn9wGrHLaYrfE6m/20ryQBtf
2ME/Ee/0yuIdoeX006ER1dZ+AsDqU7G4BZKSS8KQ+a9t99p9c8ZadmHrNVHneG1Q
IxRbTvAmPfkscH1nTLtJdbcTS/wqc/hbdxKBmWRUXlN2pmN9G8c+hZ308Uxu4Kna
4tYHt3ST1TdxIP+Viix0K4foLtoJ3WaElh1I96azqGNGIWeGFgI82s75fLMslZLC
4z+hzxHJBwcmzSHn4W5+tL67SzYKp0D1IgZQwRYEBTBT9FDaN5FoGHMlcW6asFmH
JR4IBGlR128I5HgJEgwiBl8KzaCQSxFYoR33FJTJ/C3cwJxrJ/OplXpdebnOoV0T
xOtu4nu5ikg3GWtbSLLTqI49y/DvT2jgp+VeEcql7J8uhOfWZhpOhoma+DplJahL
xsdQsXqLxtCbIWcdw5zzZp9yi6KjZoX4jT2TiiKWFnYi19AzgodVHp5AiMJ5mFbV
7U4nbrXLVkYlVolKkLxFEoy9xyHTfRoHXDHLjhnzWQluPMebQsKpFqkM0Wiof6NW
7yI089Pdu7dlRv9i6qtJPYnDjDNKw2YnF3Jt8bWIbBFksH7ZYTxrKtlFCK5oOgGh
CRQiAibl5oDk
=sx51
-----END PGP SIGNATURE-----