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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.0-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.6.1
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-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 ca1c5a5293a958c97634d7d90f892be97bd17a71 259268 coq-interval_4.6.0.orig.tar.bz2
 3971607ead1eb068d83bb264a89cacc0aa55480e 8720 coq-interval_4.6.0-1.debian.tar.xz
Checksums-Sha256:
 d42c8eda6ce2a7c52952fefeda269059646fe903d7cdfafc51c9f55004e0aa6a 259268 coq-interval_4.6.0.orig.tar.bz2
 634061b685630a082504e034e628d1d43c5dd1520432ef799828c601fe90ab48 8720 coq-interval_4.6.0-1.debian.tar.xz
Files:
 7fca1f97a24a51983a28372e65042615 259268 coq-interval_4.6.0.orig.tar.bz2
 b29b68c942deb281492970522876c952 8720 coq-interval_4.6.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNay7cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtRcQAIelphkVZYvj5HnjnD2wyq7Ovf9YZEEY
IMk31KC2Ffm0+xAf+r7mGxj2yMtzAp3APbunk5cvgb7KNDuy8mXiiLnCBl4ZMk1D
5VAuZP3+2tEL2GcEEbUvkCxr+gelB/coqyvYKqy8tlo6qpWdJyhlJLJk8yDhtrK9
N8BnKITcneRRaSYJPJwO79YEFqmPFVbWtdljQEzGC2stC+MUcMqh+4Ig6ROI69md
UWUCCS5nW5bISp/Z4II2MtIdA71AYOYsxKaQPBj893YZpUlMPrKYfPR32nwlBgEl
duWr8QN36od0JgOnYACm/VJj/ldca1h9MRXMS7AnKiji+Eyo1Cp2Jkdjp1oQKdEU
7oq0qbBuFdo4UweBOCaOSJoxIcpC/XkNuGShitFmklZlgL4N0U3LTnMbiaRdICFK
6cTG0hvNxSPP+gktOI6x76X/9Ibx7MyO+E3u89SBd7fQLPVcWCjZ0eZKeFRz9dAi
yzC65FZNUNXYzWT5m3Hm2SCUnwMBIYcfONiWsxretokSZVTn9aU6SjLhyu6HSpo3
n8Eg4FpLk2HtzZ+frLkWHX8XwytrfIidr2nszCWxZZP3SqBTjO25rvQTPmSyV8bv
l+9w/9bvgU78TON5RU1c7SfS3CfZxi4qbjZELyYMq4RpqojNpk5MdcyVj8XLfFph
mHT14vslc4cM
=SaSc
-----END PGP SIGNATURE-----