-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-2build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coqinterval.gitlabpages.inria.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-interval
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-interval.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-coquelicot, libcoq-flocq, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 e366ac6fffa1a4f3bd943a0e4a639877c9fe1096 301998 coq-interval_4.11.0.orig.tar.bz2
 192782a376135f903450863dc73994e8f66731ae 9496 coq-interval_4.11.0-2build4.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 181701b41feb63cd10badb70643b6abafaf41d119b5ff99c1f57173807ef7009 9496 coq-interval_4.11.0-2build4.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 e0804555e5e3b966db2de881aec10fef 9496 coq-interval_4.11.0-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbh9HwACgkQ808JdE6f
XdmBxxAAl7WSKFS2Qius4wtmRCXMyF4Xg/Ao09D4ssjZE/uDxZU8at9fLmb31VbT
/s/D3FJ4vMmNxj4pe+uuMna8Van2fXdOwm70p7+nJVctPCZrDEs9tgiS/R0oSlW/
Iyca7IYZfACQB9M8s36aRyEdBxkno/Qj0BzOE4MiV+hy2vmYApSN8asPtPyyn5b/
3wFyQq/DVhuFknTqbMLlgA92ZmJA5LWSKxdwgengacmzg9aHBDbfS/VPQxAuli+J
qzihGARfsZYhod3kDfWOvmEfC9Vk/BwRcEdhNQ3IQhySMtv+t8DTwDAcohr19HnI
2qTZsRIGjAreXkBH0JqgAZ9JTWCzqWG0kkqLtqXYDze1z1CaJ35dnrJyTP/az47O
pTeZp4hUQx/NEuNekzAryPQ3c0VR6IeRJi1XJrcVawaPl4vnvxRp3w6FMSo1dbYc
zWSsckM4E3PhnLXZ78JCSjhd7WVRN4JczHWcSKhFI8l2YVgFkONIs+a2UU9LMt6e
weD+/NyFhmeJViclrwzwlwSvoLq+bC4PkJ5Q3c3tHbrQEJplxptsDsq/6qqfbBKK
CvSxeczkIH+ircF2N/0Xg+FSvq3nZT3eZkEAsQXKawZ8XaGk3jrNbuo5Pu2IIV1A
ZTuaq2woNyGGwEuHWcZSJUbFVnzBB/QLfC9RTDszljVoXCzhNAk=
=7rNL
-----END PGP SIGNATURE-----