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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-4
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>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 ea398ce27fd2a39c0ff3f53e6c9fd303af1101e0 2380 coq-simple-io_1.8.0-4.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 b43c84212c1841487d8f14a1bc90a01765eb0454bc6683fd157b3200ccaad1ff 2380 coq-simple-io_1.8.0-4.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 2372f49f45c0cdbda2fcb4f9697861d0 2380 coq-simple-io_1.8.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZBwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdH0P/Rlcpwx8+O3uEgNlACBHb+TfIjGvgkLP
9VQHbt7f+RdSlcXbKHAbCPCRN/VUuhjzQOlWmpfdcbDu4gi58s7PJi/6aPVLJbTL
A2MnDqGSVXDD24DwKJ62oAI4O+eJhiby2jOxooX+5jewDt4kHQ/8gjJ0r66Ewho2
RhNw7PlEBKUTzOtYzajeiZW7FE9FJbU9C5BOp2MPF+8uoNNNsHLf+2yay5jC2Fdh
CDzxAjGPPgOsBhHi+g5sG/9LgYawVCBR9+SLFGS3iJ8CYbOFRL/H3ilVl0RJC0Hd
iy26S7n8z20Fa1b2gsyHTxxvgTzrF66J2rSplqY/5xuvKH4Qim0/XFHcPYVZZa6W
2cymHEssXEO0xOBQvjQjpj6UAX6dcFmkJT2AL34qjyjHomwFhbX8UbnkURjhdMqt
vjZokIZNZOMS4dyUnVP8TqBWvO+SDkFjsVSaV8tFBs8jciFR3gCpKpSpPoagc6Tc
I/hGfhTWrhe20Cf8WMg+4SF27dYpqWLYnmXlYmdt5LqdNzilenVt7vNSWFM6cUMb
2RjSy5uvO7FiWgQXN2fDn2iNSS1THcUE781xi+j6MuZ1Lf12G8ktcvkR/tVI+qbu
fPhBeR0ER9R5B6lJ7RaMJwo4gZKcCbLZSdYzScrvSQvmRSJCkL7D5DfSs8VZLrvY
U6ZSxAnm1TP4
=XHtb
-----END PGP SIGNATURE-----