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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.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.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
 e8efee99824eedd49f5027b9b55ddf2c06f6d5d7 9236 coq-interval_4.11.0-1.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 cb4d547f5dfc589540b5598f1db19835aa427fef98651f70192601210a11169d 9236 coq-interval_4.11.0-1.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 a00cffa6f856b575d143ed7c0490e4cf 9236 coq-interval_4.11.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZkExYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4LEP/iIsdx6I6W0y11hqgsdeZT6ziBWoB+Uo
5AO6IAZribLOSTg681Y24wbo73V3dTDxENSIwN0Tz6XEknnaujDcjmdjCWr7OHox
5t829L8BXMlF1f9nJX2yKNmQ5uTCvImJ/6nvJ345l4AsoD7ganEEK6Va7i+GNmuT
9vXcAmFAWQjkrUs+55lz1gf6nf4GJte3fbXvuVjWbqvwLTJlEhA32+fgh277hs5n
wGQ+fw8GyFNhOPPrIc70PEJWoLj7fMJLAtZQFkySwOrNBz6fESBIbu0+SaEuowFx
uqVrs2iPgEo+g8VMUIYt6UX/TpOvsjrdClJGEgl1CHoZ/9HDr4U4e+cjU0lwE6Ml
wWr4LUuncUDGvulZt21viwEBsNjqbDuRkMMS4gQV0T2nw30ew1YZJXPpHnHyYuvN
jwSelA9A3NZXlwVpNLBEjJzO+qM7LFYzLbBwiuB1znzkSp5Gi/hEAoAydj8k1PC1
/v+ecZP0+wE4RhS8myOIU2dJ6L+dW2J1g4B5D2XYe6IwFVyv5QmDvNh8pr3NU2Ir
LVyfTiGWqNVA5lzyVAHW1prW5n/ct5uTSZ3eiTpIkrlW8KFPylphbilyQBA0yE2j
H1JjlwbmAK+cxcaFjd4AhGqW7rseP5oufHz2kxyHGtCRDExwQsdeMWBDOzMXHLDN
QbB8x8REzGa+
=JBgV
-----END PGP SIGNATURE-----