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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-1build2
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:
 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz
 927474c271a1d953fdad2551afd709fe3618244c 2780 coq-simple-io_1.11.0-1build2.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 524aed9914b5f59471ece33915014d245b15d5f30008d774ddfbffb8a7b08c87 2780 coq-simple-io_1.11.0-1build2.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 8b68fd064016b0964d8e449cc0d35c15 2780 coq-simple-io_1.11.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9uYACgkQ808JdE6f
XdlPvQ//QwoE8OjQcxGx9rMeLt7n2WZP7sccRcAC5suLuaFUhajgCslmwiJZqJan
5nDDVN32ifTByqyXlBk1wULImyM0n0REAUfoHd99V0zNxukZqMtuoZJfaAlqUIvE
QqfrDgNDLOscR0CP+AbR+5LF/TrKA0APEG/giv9995yl3GvN/CNfaXjBSAmgav2u
MBu4I9shP3brkluuOYow8/D1I5cvCipjrdZlyxPL2PA+AZT8CehrP6kqtNSKUM25
suyJUXo6wyiQEMkgUFTvNyukafkvTUxmYVzswLXZ5k7iDCXK+kvwJjhJ+zPRraPW
zkrj6WH4dhD4UUv48Yt0QbqbXR4YyuQwMEynzRTDvQPygHs8YHO04aaz2PsPFi4l
+soP//dIMkOSkqnMrTMipa40LXfN1TT+KoWFBhwSNAiA6c8MHODThrIhQQrzgUm6
RxURhTq2Y9qjOq+ibFGKLt2B4yI/b4/ufmB/+397VuBnQbZsxsyxsXgsaog2hbCH
arV52YLOMk7nmgtihExoqFVB8frxixajMNocxS27ZjGAZHltM/cSMWh49zhi1ssU
kU9n1vEcmRGW1iPvkPvV3Pk7nvQg5ZvQq5uiPsjPRBKWbPPwUUveHf3cWI+Qq0/c
0G/4wXTm0CGMjtmF73xCfiEz51Bn1cu91VusPTrKiBvITn/X35M=
=68n1
-----END PGP SIGNATURE-----