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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.10.0-1build3
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:
 ea1cc64e777ea4aa23d4f58be9a9ee731c70d8f1 34396 coq-simple-io_1.10.0.orig.tar.gz
 ef1cc37fee229b75398358bfe59d6c9010178879 2824 coq-simple-io_1.10.0-1build3.debian.tar.xz
Checksums-Sha256:
 f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz
 76874e3e922c63e0efd1da12c084d44ce06fa84ba5f15cf4ec57ef479ebce338 2824 coq-simple-io_1.10.0-1build3.debian.tar.xz
Files:
 9acde8dbaf64bfd7ff9d2b0333747b79 34396 coq-simple-io_1.10.0.orig.tar.gz
 03c6b6c8dbb01bd2a2ca71b73f9fef71 2824 coq-simple-io_1.10.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyOsACgkQ5mx3Wuv+
bH3KbQ/+J2eeryOWsz6uJUnzuliKv05xgFzFydfOK8kogjlUx+LS3yGqEkUX5KD4
pVHnkNyHBVjzmfTgqDySWGqkeGDOButLvqia2oaIRYHfIFoAKmQtmypc5cyUzhLn
IzmpBOdbQs2aBoe4r8+JC07VLGBMYYRB9Rcuvh3DSf33dcrm+RgNDRNGt0fyMhw/
n57qhB0x3je7XCl20AKtRbZrBDGlq0oczM3djBBAq6Tpk2UxZsz1XyKzofRBkayG
BZIO408qkrB3+2UwiTSFaOS1LCGv64nfVxmHZ61iyfmoaJSI/lD3DN3ydympnif8
6uipB0xvNfEO/Bf7uql/kHSpS/PdjN4zqOF4fvf5ZL/dKEVnuDTC01eeuZeIYILu
oHb9HP8mLEP7Vs8KI4ror+pmNs5NhR6jgVytt97qpQgSHPlA1Rp5eVhnyOhcpwn8
PlAB/O9vrnJ2Fim6sHVHDKztJhAcSbcwd/fU+U+OKbeQ6EQvkpncN3rVIrr3Fk0k
ZLkIE3YVAfHkj9veQK2qJBIStpmVHZQy4q8iSvf0Q5EWcrfUe7Iqa6iPuuldJKr5
c204h2eQVEtr82+he+/P1wloIfDpcqOWTOOLohTNST+juoUznW4pJCgpYKiFNSHG
f+4MOWJOhqKhl7DMWuG5HdRgNVYcfsf9/fptrhCmbwzdZ6igYgk=
=PUdO
-----END PGP SIGNATURE-----