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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.1-1build1
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
 c92675494f40ffd7e3bec0b9535112de32e2495c 9428 coq-interval_4.11.1-1build1.debian.tar.xz
Checksums-Sha256:
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 032ade7ddf60834a25553b8d25ea410e40f8e06347ee44ae5928ac4116698542 9428 coq-interval_4.11.1-1build1.debian.tar.xz
Files:
 84fe59b6aaf35174798ebb6b826409fd 380862 coq-interval_4.11.1.orig.tar.gz
 e372e039100eb1c0dbb5a7ae5dc5ebb5 9428 coq-interval_4.11.1-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc/UZIACgkQ5mx3Wuv+
bH3DGhAAg3Ru6B4oGTM0A3N45DmAvASi0phqm5dV7pD/libk5yjBwscK5Jj0W8aT
DFJOzU8zwiQ21DsTn1RKQQ6maEpNiWP/ZLKLmmsY3/ypSK3vl1UTkYfHEVf+ZE3X
7qcPD+eFQvA+syY7rcHkr4BgUkS1jktDVkRp/2ge7uvTzweDZmMKb6RBoVImDK7j
hBNaQ5Zl0FT9LCmCW8ag2l9tHy33DciF70TmF2pNRds+hUQwrySUWM5lVwvD2JSa
b7Y8dzf5n2rSmSlcHz9e3Q1LJXoOSnvV+AlWFNBWz6fax827IDRSxNtcfxLN+1Jp
Y2qNNrYABHWwUVgNaKU/7Ywie4IU0vQ/sNo1+K0uZIVnyxEASRw/vEAbQNwrlbHT
ar/XEtOuQ+O6dJwldKbE3rxR9zJk44eXbZv470lKXSU7VlHSxun2inrXttC+Py3J
Cdhdt5vWcBIZLD0b4xeYyFlYLSEeYs3IjimYAnAPZthrsvkKZziVhWACl1yiMPUR
tOPq3Xg26hfFz38h0Y4cXHaloU9sXGGVV2zJN9fZnZrmhvyiIEbHv6/z4TNxuZ1+
ww5h8cO92MMJ/8Km4h+p6EEUyK2/W6uDxak6ILElNBZduTKwblk48vUC9Pv5Qk+A
6NWVbwVxJItzBsilMSdn4M2R/8qy2Zv/gw0vPMedBmE3+/lUzps=
=Wxgw
-----END PGP SIGNATURE-----