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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.4-2
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.4
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 (>= 9), 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:
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 fd0a15b3cb832fc01c3aeea93ee5c80c736de8b6 10368 coq-interval_4.11.4-2.debian.tar.xz
Checksums-Sha256:
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 a8acd01947ae08be9e9161da2e228337833d7b2cf3d651ea58c5583e5ef5a1f7 10368 coq-interval_4.11.4-2.debian.tar.xz
Files:
 62fb47fa58c6ce854ea3bf9534a9b648 346599 coq-interval_4.11.4.orig.tar.gz
 90f55917b7f0fd228eb55ac323ee3681 10368 coq-interval_4.11.4-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3ZkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfPaD/wJria/mpQ1eUzYVGyMeFVX
kfPHNvgx3LJxgw3qmRRPP8cCy/jne44Aar4nvYZKL+jRQwTMX++JjdxIkXKIAdSz
gcDbRowrAgzEpb+EC1YFzsTZsruX3cKkfBNySHK18fr2/rg+0ruDHQRoL+8CvnTe
V2a4a1Leo0yAwK67syU01bNmKwkNte20XrSan1zZs6rlhXWDoHYRKKpX5cMvwA+k
nt+s4s1M8+gT/S6CXvCcxTXmWYO2/C+BdrE567ivdML0u9783v5UdkIDM3HILdur
4vTMw8saLshQVt3Blw0CABBOdiZ1hViGXlj+L/L7nS9nZF3W7/zqsIbTraUoQL4j
ab4sit6cTi1u4tab8AAOTKRnGQEfIoT0dsIKkI/mpPMH/SK0IS4w2ANhLkgaVu4H
HbgG3qF+re1+JrOcm5q5T91TEpjuJiC+lkPyVk5wtCbdCGScA87GqxHXk8quenPg
8kDdNRABYuO4QlErY1ytwCR2/P3cJwZgn3ijxrHAOzgDZ8ZqZL9dYGoteLiJfiI0
1LCu1VzApwX7UuDkO1aXEgxYGJ1Zy83S26oR0XkZd2rsbtLYI4sVO3189FdEB6xM
J1XoEGERHVHiji1PQrA5HAXgAyunbkjmgWEkc92FZcdsFna4bFPH9z26GYPg7+WD
JYy1RiBOqCXG8RR1THmtPA==
=d2J3
-----END PGP SIGNATURE-----