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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.9.0-1
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.2
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-core-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>, ocaml-dune
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz
 462c0e6160b8bc80221b9c27ab762718c8fd0ba1 2568 coq-simple-io_1.9.0-1.debian.tar.xz
Checksums-Sha256:
 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
 fe85a801a7a8c9faaec128ccc670408e05e3bc2e11ecfb3cc25374c7077b043f 2568 coq-simple-io_1.9.0-1.debian.tar.xz
Files:
 e1bdd50e4d848eaccf2ed0f2bb146e23 34147 coq-simple-io_1.9.0.orig.tar.gz
 522fddd223d55d86029b4c92197ac333 2568 coq-simple-io_1.9.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWPx4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkoEP/iHx3/CupH+FQJXLOUYX1X2Kl8LbpRyH
nJ2kmTZFC9GHllE9KRdCH/PrjW6FW1bfdCiRBSQzszQzyIqkTpbazZHIu0GScxmo
vZ+Xcl5wCUrz6uJzdLEL/RT5jQyxyOQ0MDD/DOQ9ZsH1a9xMISASm1OI061/lRij
iGctstDPLw2C8si0nXIlR3GowY6Z51RmLigtyw7keJF4f3RzYdSED6zSaHaLq37B
WGbXKLCN0qj9Ab5bqqMgxuU4szzhhNQ5WIqJ6NgPQLLS+UIGJJP7DjajBCYl40aw
vLLBshlbMf/fG+9IS9T2m5tAEqNenfIDA9eomkMXVGzwjDie44Twaibp5ub4PuxT
ytWKW2JjL5+Rnl0TO90M/dpNzaKffu6XRswFMll6Jwphxo/OBIJb0t8IRFAjnNuZ
+06gRnI82ly1HTQflkwQiy4Yu4zHg6/MSLB/uOtb3zN+vpKem7Bqe33oN7fQzuCF
z3lF78lJgMsRMpM6AwwL2oCd2IaJFIpfm8Xj6woEZ/26jcyQiVwYNE2omHvteVWZ
nije0JJpCvaaIlSen8v3EMBA8FWohzTFDM49pFIBSu5sQOUoS25Fw0HDjIm4EGHB
qumizVqH7AmdMXr1b/KpErN/x0yA/B+KMRZOSYasUKFN1UDiLrvcIM0VNXA84+fy
Pm9DuYu1RmvE
=Vm8Q
-----END PGP SIGNATURE-----