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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-5build3
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.7.4
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 (>= 9), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz
 3d6f4f6f914a90d9dbbecb06c52d2793c8f89d15 4788 coq-simple-io_1.11.0-5build3.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 88ed80424ec33baa6d795a3a4b6a77c47cc2af94deb301fe01450860432d8e95 4788 coq-simple-io_1.11.0-5build3.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 484cb70a3c97b8321f71493a12540bb0 4788 coq-simple-io_1.11.0-5build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXQACgkQLIPbyOm9
DjcEKRAAoJ2Su5KteuqVlPGbFbv9btSDJGxbbusiqOS0Si0p/90v4gI1AAT9KcB+
IEu5269bcg3ZZ66qHCrRxf86ONzjx/t/n3tTpyYjxKbyORyYDV4/AeP7pNmfhDtd
O4NWrleybNLcVK/QH+oR6v1uLJ/GPXCKtVndOCDhJoXoc5yrNOffBcoCtlMqItLf
2idI457movG9ZMNo/tZjoJPqPn5uK3yAZ3Bs8PQA99TGRF/+z0INjLd0UJUbfxxp
mPnPpkx5XgDMYACmbUte43t28260o5w6kGpwGjbuprt5FJd/wQdTNxFXuYo5aDVv
UbeTngOI8b0VjC12s/UUOWg28tCZX+R+WBW+sS4n7hMZAyvg1ZtyCOQiO17/AdKF
WbBqr2gTsq4U4SjSpNgWxfuyJUxnMWH7a/6pZ/O5Jp+E8heNUuwwIbzCrEOQCPjV
0nqWiw1wlXGdZZHgUrhCASzlINmf2JgzNdOgJbadcayriSvxNQ3vXwEGYqCgBOBA
COONzD72zbXLpEJFwFt9gJFO+Nm4hHl5qsBqZSFauhdikTcXHAJXpLUpfv+Jd+lP
iIchWcuGVty9ZwEsOJRqYftU4AD5ivVW1aL9IYL5EmF5WDhrvL5Vvlk6EK0BCHBp
gQx1bGZwLnVvTX13tjO4pCassvIIJladsmFo/3E7CVsnhzChEaE=
=5TYC
-----END PGP SIGNATURE-----