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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.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:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 1f39569b5553f6cb94a0aa085bb4d3c001f030b0 2208 coq-simple-io_1.8.0-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 9e8f63141a1bb9f9692622242ae4639590865b75a7c55c793cabdd24df8151d8 2208 coq-simple-io_1.8.0-1ubuntu2.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 b209ee554406e7be906f10afd5a41f35 2208 coq-simple-io_1.8.0-1ubuntu2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBegACgkQ808JdE6f
XdlKKQ//dnvmP5IyvFGK+qxC7oHGIOmgfkhSrPwKXlU68zf5dUv1lRdL18iKr48A
ebDBBVGba0kp5I0EOOMPFgaAV537qaeEpZWh4nlPDBkGNii1+nPhrU9Osxx+8ky6
Lnt/L93W6HBnrX5r83c8jsfp1gA0lkHI383Yq90rGZHrOZnddYOw7r3himygRqn8
bujSIdCOMWTdfJRpwRgLh31vq2Tilf1aUHV4ZPvmyvSTCKIQy0sfK6tVvn/6qIxN
ba/uSQz5N7rfRAD77r6QTh3aIJ0BdZJjmTCijaNEb3iCwjCMxpdul6M4VkOVmHDM
z+IxNm3Mt0XU+QyP2FcnvaQUQXgSvnFN8ErU5zEB8BZRfiVeaWScaidgSw4WyF83
vjX/n5Fz4je43TXAV7ZI+3fdovwCLmLwz+StFGzY7bGMazXUx341T/bIRI4eG8wH
P+vuvp5ey53LmMATKzjZbigR+/cwWFj2vcFWDxw4Ypoj4NOFsEtplRr8TSJ958W9
1G2IPtumxKLiXQCDddhFaXIxFZX+FhXIm5/QEgJ37WQeTz3U/0at/cj59LzZ9c2W
379tBYYHHC9LSiaj9bY9ZlZRSMihIsUbyTnWjNo69qKpgX6Oh9CpWkh8pxxsA74o
8v65dHb7g9w0NOdvEEEDA2HtEeGaKLEiSGFQ7Tmv3YGoi+ZGh3c=
=iEp/
-----END PGP SIGNATURE-----