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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.1-1build5
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
 0c845e5d285cb49a1b680d8c6f97d72166d4bcf4 9528 coq-interval_4.11.1-1build5.debian.tar.xz
Checksums-Sha256:
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 bde1050ea88e9dd694bce9c310c38caa76d7ff39ab47ec757d049c348f182964 9528 coq-interval_4.11.1-1build5.debian.tar.xz
Files:
 84fe59b6aaf35174798ebb6b826409fd 380862 coq-interval_4.11.1.orig.tar.gz
 ec85b512a2767dc69c21f6c6a3c077c5 9528 coq-interval_4.11.1-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetCqgACgkQ808JdE6f
Xdn4cA//bXs+/43jZaGoNQB1K/3wOUVSf2kbdx7rfj7A0Pz5b4c0heD5Vpx5/2af
OiXcDIocPqXxI3h5h+5XfIfG4NEZxJYJVrI4GGbM97nFrWP/NcLgzQsgaU0Li29o
SzlmTefbCv2KHgCCCcSd9gbgPBhBz/Sg84FzscE+xxzl+wca5qlRX/v7KqyKg1+h
kosMSl3iqUYgmuyRjAE02qEiighEeSof3DTLfXHbMaOiswb2R/Mg94x9OtQ+saGU
wboRPBOK+QukfvYZhInBt0dOdTniuLHBxFftzC8/VMa3Jgzl+NuMv8o3ICWTaVsN
XaD0Hzbca/YsNef0MRbEh4S8dhn8jJl5IqMNrFuC1sNkctFvbQeYIkKB6rv/EyuT
iFeISaT+wF6nrMXtv7VNgKezs6TtMhmmcREknsc32Oz97RMc/zCjH5MrtS3pMtto
5vsY/6KA4M/AEJrYufkiXNogQ2E/XSa3zpAWeFQspGYJQB3P9nalmF8mXbWOgyBW
+HcFVibZSrlBQK0iu7oZGc8wMjFWUQ/IngmY9S6t1p7LQps3dagv4GPC51crmkki
IsyLcDBXd3lj774mxD9C/kK1jhHd5EcLk4JKvTkL/4/NrQKEO6WXRbm6t/4lfBUS
uw27vP3qe2ZSO18NwDYSQbfnJ9RiZZ0PiMx0HwsDEz+wGKNCphA=
=1xMP
-----END PGP SIGNATURE-----