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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.10.0-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.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:
 b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2
 32b0ed114cd3eae6fb754b41b4014cd1f78ca5de 9304 coq-interval_4.10.0-1build3.debian.tar.xz
Checksums-Sha256:
 b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2
 7759c243efefdafa0a8c93e744552cc22289d983872cf9b36d2d68ced82b4c94 9304 coq-interval_4.10.0-1build3.debian.tar.xz
Files:
 4015bfff66a211ce3739fd4de7e5e6af 299750 coq-interval_4.10.0.orig.tar.bz2
 d52205d95befda8da9d968d60088bd70 9304 coq-interval_4.10.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeK8ACgkQ808JdE6f
Xdmaww//TqsSFlpW4wVfi8dUSZAYZRoiZJXcTE74bZ5ao2hBpWCaeLZX8X+yF70z
8rIZmaEpoM38YiuCLIFlRQ7E9XCO/yfMu1nT9ESo2FMvTVgOFiS+z0XtQwDzcxTg
EiAn5OrrZ124zE+DVJe5kNYHThpe99tr4pohcshmIBP+FHvDonV8Rz00rBE2Op2H
Zydhh8d4VeZ/efyG/pPGYD0XBmDEeFzwOEUOJx42O2nKZYJ4eUWTFJ02hpQeoEKA
vmlMVd8Humk1y+fZBxFGsK7ue0p9UcFuAZ9spoidF/+GMEDtYCX1bMBKshy0ds99
y+9CWRh+ubDvv4bxg4HeVvGBbJmLVTxZIqLe8rkMGQn6CaBjqdH7aKwxRhdxROhL
54VO5wNJ6o8AF1GEhy0V/+jAxSUoLI29WraOJFKUHp4xU8A10xiTkXZaGHE+P2Dl
pxD/TFqNKxMThVewIE8/n1lT6iA2gVDOe1zkltTpnRoBbN/HThiVqrkKc9v2paWp
bG6XUq4hdqx3ye46Rnqxcj7KBdsN9PZCEb2RwdY3MIVmNeXA0XfZzzd+3la36Xt2
QBvz/YdU/lz6ig5WYzmK21IEBPkG1aOerJHdm4KhyCpSUjsgyxVsX9fOyVM7dgMJ
gjNI/eZ0bxJCny6vV1HNC+ID304JKMZGlBSZyYzs19/mh0rVCqE=
=1eFH
-----END PGP SIGNATURE-----