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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-4ubuntu2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 4414e93705c4bc48bdf32aed56736a260ffad3c5 3248 coq-simple-io_1.8.0-4ubuntu2.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 32531b093ab339983c1727ae9694b2269f23ec7a0f2b8e171a43100cf8a06cb0 3248 coq-simple-io_1.8.0-4ubuntu2.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 1d066f56cefe217989cd1c4b3810daca 3248 coq-simple-io_1.8.0-4ubuntu2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cJYaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2xyBAAmTN6vvWPcSQDC6PeHRX3
LJ1cQ4CW9dZmBTaQ+93y1dpUrCGJBAIlO35W05OSRc0vjlejgbLvKih8ZyG7OReM
C8hZ4NUtrnu1zKC+iPHQx1Te3IbRYhC4tFGV2SIIwUKDqPYKsq0LrqDi8ykT531t
DDdlp+7lmnT/Z2QsiM5zntrIj32pNmIR3C2js7ccwembOxLmDEyCXaq9Ehf7Piv7
ihS39O8YaE9QE2rFnZTlUEVqqXa5XG6pPXL/mNWC3d+rpn/sDDlOnoG61KS5V/lp
sTflhP+z94Hux6pF36i/XSFCWLwASFJ2fc/+xxXaBB+aE9tvpAw4CkzQXIjzKIZD
tAw5cNPm27eBu7JuRYrSR7IOoQRWjqUSux4qZIgYjS71xxshrYTqvyVV10Jkmc+d
D8XaKwE3XXA51/waQAQxMHmoEI+XXb4LOTnF4mXRAE0h1HEJn7jYmFLmY0EJ8jqX
530JH6BY1yNdwrcHfdLe8a20xiu2JDwDu+gKyx6/qhEfKgWnw20DixSBqYCu+Xyh
vf9G+aY0th3msH+xW42U3DP34qMnVhKZ/U5591GktQoLV8vOb/Yk1wuNxRS8XYdI
BEQKHbymWWueqGNx3bCNc5js9BbX6dqb0oOVfdYpFAjaDc2IBI/tak2UjF9G22j7
NcqrIsABoSqEwJQOp/5wZ/c=
=IWpJ
-----END PGP SIGNATURE-----