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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-5
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
 1c9d6ddc68b3cebabdaa8c289ee31a5248f9b7bb 4632 coq-simple-io_1.11.0-5.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 2cac15e629cb61360fd64ac3ac8fcbddcebce8f9b0f91a008b0bb9728ca1452f 4632 coq-simple-io_1.11.0-5.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 ec008c1eff72d74afddc5753afb90b6c 4632 coq-simple-io_1.11.0-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1VsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXR9D/9q4gYuQCbnqVrcnoMqOyxV
nTc6kilu75NyeyOMBVarmWNOb1HaUtGTqmtPtfpNhDFm9LVBx0/3yugLB1/mEe/Y
Z/Vqic7wz3h7Wi0H0XVY87epw28H/wkYfQxZXbiLxTpFhRxegqdwaLmGW+kcnKmm
olJI7uS/JGKbNYR9Uc8j8kVpifgRYAwyoF7ioSg4sipWXEYvEz8eDCEMx4ycfEnq
87kts0ZgtCq3Zt7W++ImQtsOB8seqZyC+Fpg/HgLsG8U62HBOdfPlVilJw+mqNVP
epSjyNJCtY7dWrc7T3kdYmEltvvS1A27UXSr45Ieq8IB49O9AcnYx1Cb6TmiFn7v
0267xPy1b3lg0hDef5AJsUlJuCCTwCodsmvbKSD0bCyPryymGcoxzDd9Efi25ekv
auiNWxDcVU2MbCi54b3kXQr3UOgKHLmQV9/rJv9Fpd0pV0AH06c64c9NoctvBqpv
EJY4Cy/ZYpSOSjqU7AicX9Q3TNxKarK3PAwYYwaeyXs0muWlE6Ilpsnp9Ok3b1KX
tFDhlafmMMPiACWTMcMMrZlyVPdtruGLuKuM5nWfENe8VT8mb5SRN9eB2jYeExi0
62PyMyy4MG9t7Wf8TJVh2AvVJ0mMJKbpw0N62r23z7OcD3pTZqO2KZZbQBjzT1Xa
yTFgqh5PGgchbH2UdfLUqg==
=yGf+
-----END PGP SIGNATURE-----