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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.1-1build3
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:
 dc428df35162294c1a2a0a9c0dadb9e43dc2be89 380862 coq-interval_4.11.1.orig.tar.gz
 87be6d8d2fed9ad2fbe280144435e46ef946a8cd 9496 coq-interval_4.11.1-1build3.debian.tar.xz
Checksums-Sha256:
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 8b7420547fac3db8a15d694f8b4730543793042c19eb410229951129433e5796 9496 coq-interval_4.11.1-1build3.debian.tar.xz
Files:
 84fe59b6aaf35174798ebb6b826409fd 380862 coq-interval_4.11.1.orig.tar.gz
 db47827f3d08f5bdebbdba19de08beaa 9496 coq-interval_4.11.1-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeSALkACgkQ808JdE6f
Xdm0IxAAhTBIRbDFh5n3IHkQ2Q5zbyaFj0N4kKvHQY85GA7E35X17a1TMQL3XYll
JBa9h5hgMGRxPa6O2MLwACq3Y8+wIhRYBp2Id5Biy28se6ZcWFlqlKru5ZRk/McH
YGypCAT5lzI46CsXVFuT/jpjNMuRqo1C/iSkNUa5SwgIcaoZA4sZaw2xHDQzSRgY
tDGlyFjVxWvOkyhzbWeqekw3mGx6zhiYMhOA+s14bzeAOgltu7NKGW75Zmqh9qHU
lualfcHH1uuM9CScgoKexX7sfChlyVsyuUTl9ULvzlfGw7mCUTKiMxQEiO0uQF+2
mS9yEI7as7vUBRsKyJd6AH0FENBVNaFDU2hkea+TEEyuKHrDk9TvmA7cWc8Jrx15
hlS7puW4lWxqeNSP5jM1OyXwfeiOviN1txfmG+2Di9KNCVxPxKXPddfgtlSJmCQE
cBQLE5zSKnCVPVVuOg+dUFTACjQnxqA+0O8Uy8iZC4I/KnM3urLa1lqc7/jv28Jh
kHM2cdMkD0cB0XmAei5xzzRKkJAoHWjJVr9ZTvOy/ksXM9KWEygMrennZkq/PxXf
YZnudaRzud6yj/0335LR5dHSyEOb5Y3VuO0/N1mSskzu4IoUzYP7PTriztenK0W8
f0kzCv/3CmnioN8XSzdW7PDFGt+r8z3ISn/P5N+t6j+O1yh4uLs=
=2LPx
-----END PGP SIGNATURE-----