-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-7build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 1dfdc7258598b28a002e0cad40f19e7f484e862f 2520 coquelicot_3.2.0-7build2.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 76cdc0dedfffcb7a0735bed4240ff753220673a28b236dde6bd2b23f97069832 2520 coquelicot_3.2.0-7build2.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 76ff3d49ee8b2b669aa035d6433d113d 2520 coquelicot_3.2.0-7build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe8MACgkQ808JdE6f
XdlUshAA0uQIsqZN1Z103TjqUhKr7nFpuyJRAXzj+SDAg/W9BCV/WWvXE40BnJ8g
UE7SFAVQ3DoGu9MjUw6bqtHZURfT0hfuZM68YVk+BnRP8wIFzSQ1IU7fKgR7uBzI
80clae1FdqOQsz+ay++80qxugXU/9sFa9g9Yemy7gya2KN+qqjVXDVtTsQWZsEwZ
etdI1qOg7F+RHYQSUVdBgITgy5DlBJbn2hwwlcXIjCMzzy51jzbVd+IRnFzXVK6H
O0OHYz2+q4e7/LT+vKCmV8Xw9r+1SWpRM80MAfUwRV9GYMMPD3KT/rIsVE4mz0++
ZdBIgxvwkg/Gnk4MDhNeVOzDgD7Mmy5Tu+Ebvjslp3MTpE1+Ujhf4JSH+HbbB3Q6
fDIDla1t73mig2XGKNpmAm5TYDt1XuZom/oZukH/78CK/kN+ijp/Xz9skR/BPlWK
brP/apoGmRm9ZziiDvab+FRzUeJoO+UeD79ZwGNi7vTyqZVV9a4Mubflxf+dC0u5
k+HbvHUma8TRGNHfAXdzzoXuHxcJEV/OmTiM4h/E8acGazTbTdcks7D40QlWnehj
COPItij/FWvGK6p9T6JB+WTp1VZTXxuURgOvaGgHlIrcjaPZHALPEyRaDsDShxW4
UJ3whP42si8BfGzrFzV79PJtIi14qRXGiDltxfD+g9M6vYfiR1I=
=2Uhe
-----END PGP SIGNATURE-----