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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.4-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.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
 257be9ec4b6f11834451925e1db9b7c6a3ffc8c5 10064 coq-interval_4.11.4-1.debian.tar.xz
Checksums-Sha256:
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 24fa094c60b74f7c1dc7e0593aebb6df06ab0c30cc1fd075c7df6a7519b34299 10064 coq-interval_4.11.4-1.debian.tar.xz
Files:
 62fb47fa58c6ce854ea3bf9534a9b648 346599 coq-interval_4.11.4.orig.tar.gz
 6d51466ab5edaf9646f7de2f341ac0ee 10064 coq-interval_4.11.4-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeoxQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcAAD/sE4yOgwh1hmrZkkeWmXD7Q
9j6cISqTYd8sTS3DSGlRcPpNmoKNlv/ftytgqVv2ScFzNLVvno6ZQ4+4/Pd/QOoa
1v5pQ7UpCgH+ReHs0PEKrtJAjhG9iL5a08dUuym/raT0N+pzl5rWTpSTRpNo92Oo
gpIMPugeCm8acD3vlHY76OFsqNtxAZnKU/LQk9eQ7CPfaYEV1qtgwWgDMpp17i5q
g+ULHXtcGgpf3ZE/9cvbJtkbwXcWCuh5IPCANsgCOf4TifF6opjVPC6CywhONo53
ceEmn52nZvNPi8vpA56Pei4evJxZwwIOrW8Eht2XmOMiHMBFoM/Tx5kNhanDp3tK
CiZjyLOvQSmovBHi6FNhHge1EoXcHIBvEX1cKCYMR6FcZqUrckrlP1ZrBuAau77S
1VRIcdCcaXRXNTCE5O1nHI0fMU4I1YQ9Yg26N91Xe+3hY1Bdt0znteFd0vmqDLj6
/SR2vHLmV5YvqxaJb/sad1JYSniDc5PooUrJ/BIFEaOp22HuM3DZGAkiZG4TkDsu
kxGd/MPCTbkcwMlkoeeNPl81ih+ZaVXp/DcFrOzi/4Q9QEWp4lbbtSlGVos1f7eh
7Dm3pjbLKAfJDFcYadZEUBb8YuSNPOvhK1N4tlfLP7t5eOmA5MzbGdNT+6dxW0Kw
RvfZW6SW/NUNaYTz/Fevvw==
=h3VF
-----END PGP SIGNATURE-----