-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.7.0-1ubuntu2
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
 5db87d6420d20f293243b991dbaed1c09ce6a558 1996 coq-simple-io_1.7.0-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 a6047a8c62c161b2ddc1b905e9af991f5541b7b6b3872702e60ae357b23e9554 1996 coq-simple-io_1.7.0-1ubuntu2.debian.tar.xz
Files:
 ebf304b8be97070fde8e2383eba96984 26183 coq-simple-io_1.7.0.orig.tar.gz
 e725f516e9e7a8c46e1343d584aa639f 1996 coq-simple-io_1.7.0-1ubuntu2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLWkIsACgkQ808JdE6f
Xdmx6Q//fBGIE9x5sSxSRHTXa4TvcquPKZUBf+8B2fYhGC33pfNf6AuK3QRPGTsi
zUAFKsEg5KMcqHBuutqjD8MWJCypKpIDlxj2yMfbd0gxJzwTxu2dYie0CmdzKUmJ
I0N6bBMsLOgdcnwXZo7AXvT47RtXXE8t3WZrHoL9sgMkGlOI09rQtVE7/Sv04J7y
y2D6ulhnYyOs3D2WeqSm3InshkDSsL5Iwjkg1LxpREeZZg/34dQk93yPKP2i38zC
YOrU2wf90e1KJEaX/DEPw3vgVOYPxE7td35v7B5XHXjpwQjEQ3qky2veBqhtZUvN
er4+jL6qfPxMdt6xwtaO6ZJqlB52YC0VEUge2iM4ziwuQ91xzz2NxFSb0BP1h4iV
VoyCYCS06r2DcEzuDNke2oM1YGa43PrrjlpSRnuSYLm0veI9tM/MxIpmiBskxcKS
kfSj9fwz/JT6neAMm/kMgbBlFV6Pj9cLvC7vzC66OLZtbACtq04bNbrtNpWEm9rL
YH6OnJmuRX3xTn9w/l+LCyPikIZUjpvuUcRgikwYVWF/Ak6YNi2zmBttlq8W2EEV
LUcIC5N8b1ZEOYvLO8V/z7XuXCyeqexUkLhF4vkXQWXU0wASFM1z8NF5b/JgaqnP
3odDwvfiYId/9Ife8WhElfFPWpUzVllxdhXjlVlBlcxtBOfnuPQ=
=8Tr5
-----END PGP SIGNATURE-----