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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-4ubuntu4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 9b8c6a0cafbb6ae429e7c6e3bccc4fb3e67e0487 3328 coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 575230e25679e049d8818892aa92b9646f23f6e2329c62a00b2be73d34c7cd06 3328 coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 43f99f7ae531e62372b343ac04afbc0f 3328 coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmj8ACgkQ808JdE6f
XdnWtQ//YL5mRwSErxKoEwjr2QRH+179kcmANznevRFaVEonEa1tmlDaBJoNjIA2
wDopaOi3G9vJdlM1dPUO0rEV7r7EvYP66WuyMCchWcmfpvIe/HpBLb3Y0plboAtJ
E2N/yn2Y0RRupyo9pfh46EHbuz/IythB6a5IQOT83o/fz8vlVQcmhnEezTYWqv/i
xD9kO2+EwYctKZ97b+FReUq3EObV7ZoyS1xH807nTjwA8vx0o7vOOGBA2KSD6sqQ
qVNLJVD9bH9odvPWZaibc0Y+30v5whdTEyD1x4kiqVuAlO+ej3E2in8GZINEwQ9j
r8UkiAkbl8RGnQwNLWqy+8DvR0tLnNITis+vxLkVWelZusA1GnnfVBznVrAuUAyk
9OOmfpqDtQ7mmcTbrnRXqm0LbuZSBRuB5BgVKi91a62mFvgEMwExphfrj/AHucor
grzAYIFrTjGVgPHNkQHGHaUBvcWqRTtK83wnhzVGCH63K9CaSIRL0+7Vy3UTM4XG
21p8az6oG+puQgVmj3h/1sVcabhItGVUiKLBAS6CmYCMLOhatSRBs84NjvnYca0O
It/sSFAFPPuIiv/wYRMoUDamSNamROZMpr4D2uUojW/cuUKmP4HwJohvuHqHd28i
zvqKXgf7rSTv7sUUY3+V1aatyBZTmlXjsigeMaoOog28JjvgYZc=
=wen+
-----END PGP SIGNATURE-----