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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-1build1
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
 56181678cc49dabe17148e83a9ee526b3bb5076f 9292 coq-interval_4.11.0-1build1.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 339c7812c4c11acc3145bf5eb365f80b89f0b6bee4cb930aa73892fc79f0f288 9292 coq-interval_4.11.0-1build1.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 9979b0c8a19a76e9e1f0ff376b6591cb 9292 coq-interval_4.11.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpz0ACgkQ808JdE6f
XdlfzQ//RrG1AkLcPLweJVA4oIypv1BAmhxHzMQ+ab2uwlZmGmZbJM1ri7hTQZG5
KdER5m2W3eMY+oNK6i0KFKUGBqqOmcqbnpq1Q09zY3dwjyHVKRKK6KVnIxNaxlnY
p6REcgoaOeZjwbR79WPnCdJ0B0qs0/iu+L/Ii0HNckyrhNyZ+5EuTDUyHiBsIY/H
UKk/KxK51FX7fok1TPLvRy5vm6f8fPpozb0cuEzhLjIrFx3j4v6SuCTurux8riSG
7qdPaduc+rb/RkgTq0amNylgkHvU8Ort2XUJhORZ6kAoG5/o/+cc87ZRirA1rRG9
/Ede/wFGMmeF3l+M3npb/k5oQOAKEbFzughRxQy/xiX/HTMU6bq/wGEgxF+Q878+
BixsyybRq/ltLn3NkfliOUOigaoUAR5MWEHolrc3elwCyOmsdmRkDgFMq2w6jIgS
hJOz7Ql9JPYEt5GsKHPk8dJgGs2OFb3Fex/HwT/KKuh0ynAVnpSxeAtzGD2JFIv5
7gB/D158Jj0ERgZHRHhnoVkxOPi3eXhKTZB2NTua4UmX+ZJhH0NHtgbsZQTWqw7v
DPmVz0Pq3nYr5BXBO0M6X3uAbUWM9bXN74b6mdpu2ib4NzRwezX2sXwz8AtwcdfA
RsZpX9gp9p/z8Y8uLrHTvsH8bml2HfeWNuJ1uldIcmDCpq3fZQw=
=XKe3
-----END PGP SIGNATURE-----