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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.1-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.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
 3c428c6732b573c8dffefaca84a41ba194e5ad40 9364 coq-interval_4.11.1-1.debian.tar.xz
Checksums-Sha256:
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 e2070550d06174e7de9943f86f677144e1a28ae9f93d468733f6973e093995b2 9364 coq-interval_4.11.1-1.debian.tar.xz
Files:
 84fe59b6aaf35174798ebb6b826409fd 380862 coq-interval_4.11.1.orig.tar.gz
 831825eccefe35ee8a953e41ee9036e6 9364 coq-interval_4.11.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9stsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSGoP/3kGNkwJrhvl8HjuOH0/S4xOkTqlBPM5
0VDWOGlUrQ6jf96GicQcJKWZTe8yVIkoIfBOk+5opaurgZhYuT3D+NAgsNx6vxbr
TfETG8Xl4VijlppmD8rjWtJ9rPhTWUaaVWeLVTd/xOaA+KFS1f3vEfmQHy7TmAZa
aGq4e3sC/a8nfhnZDd0ZCTWabsA4xEKiHMTnmUa0RBTE7zFd9HcbIu1FXvmVt+92
hg1qJzy/11NV8DmQNrxl9HvYDrWoP6k+W0dLD4/6jkxzG/1x+l3FaVDZ3xu+L+Et
eGKXU/PyY2VhGAhGkcMzcgd1F5SDoRGYbeShtBLz7Pi2v9VkABOou4kzAPksWR+r
IDkzASgK7F+ZcCKmBVV9NqGsNvQvZj0ruRvBFn23KyJ/YeZMoKNfqusyH2lE9toT
ok3GUBdPCy1KjLrT1VUmveFWEqHaxEBpONpJR6ulvQ8Bu8otcUALkcnWToVSC65h
VQx89xOwxeVKeXLYroUE2OLsnkStJ0BeexmMEZg/P1pka3dbHGZnjjNfbAhIRaOu
DMHuCHeTb8zfS8qBo3Ba+QXDl1ncft7TvFxjNBwZavP/vEm2Py0KNVmIuOtfJ3gx
C+sRqMydcy+s7fZHU+VXs2q2C4N1s9Ad3zvP928oUSgKtrlXau2tA96E0is/3d+G
QHhBqsuoiOJe
=TX9L
-----END PGP SIGNATURE-----