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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.9.0-1
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.6.2
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:
 ccf2383ca606268cad3b6f7e1f48ff16ecca5ee5 282047 coq-interval_4.9.0.orig.tar.bz2
 a1aae53deed9def427e43f4af83e6fa67dd79a6c 9192 coq-interval_4.9.0-1.debian.tar.xz
Checksums-Sha256:
 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
 52a457efd712ba8f9f2362a5b1a59f39aebb94bbe5082ff1f6caae22ca31bdda 9192 coq-interval_4.9.0-1.debian.tar.xz
Files:
 5a6af473def63c486d12e04a8a556330 282047 coq-interval_4.9.0.orig.tar.bz2
 aa965536b6965bd56a8f4da14d387e23 9192 coq-interval_4.9.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZgoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMpQP/1S4JwUVjPQIdaUBF621TF8M59rCQVoQ
PSBNm+qa5hiNp5HRaFCYmAlGXGErw7Wi3SbNmFbve8lOIn1jjAoKGbV41fmwmIbX
sy+EkLMbXhUtkP7K85OtrGuCNB2/QVsBYeu6CEYBsbaotd140nl9BTJbAhuZ40S8
wDRDhRZRNtxKOgA6g//kWn/0LfWLS4MsLBdZ4s6E8zzdvIs6tTdaJh8/X9kzIdi6
XnYh8hl94Gmq6rNVCfxcp5lNRYZtvIb9jEVFxfEVX0akxnCPaSRBA99qQ1S040xW
G0scQ3UiC04+8IYHzYlqY5QlFw+XInL7npyiX++3i0rZJUWa1JfdEasZC6rbJSmP
uKxIw+S3a5DkMhB8qm+bZX5zbDAYoZFBPwK2lzCA8weoKXUX5hpnrl6Alh5kdfCE
RKOGqYc4N2tda3D4QqA966k7cbp3dpoYoB1Cg88oYxr1Lix104XLeDX64dUbXY+p
DCENqDzagcgOfg08MhytbDkulKjUkedz3XAYgUwDyp05Sok3/KVzF3b+8nJCQyx4
3StK6w1Cr/w+zlJQOFpFvHrT7ov91YehUojAEe5J5eDlR6Z0dxom5f2BzRyhi/LJ
8nnUBghv4QLnF9PZOWhf+jOlK8wOm+AQncAAJFnGQHA9AKKkUHlD2DQ4vuQ5RDHF
0PJbZq20tixv
=PPxu
-----END PGP SIGNATURE-----