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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.2-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.7.0
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-core-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 ef82016f68887b92f3945f5b747a895dfcc5bfb9 230261 coquelicot_3.4.2.orig.tar.bz2
 9fa893184b696e8543482a5e658a45a61b149b56 2384 coquelicot_3.4.2-1build2.debian.tar.xz
Checksums-Sha256:
 cbddee1bf51d0f28647b8c95083d890a4c7c69e4f6e2ea05647ec5d188638dc7 230261 coquelicot_3.4.2.orig.tar.bz2
 ad812efd0ed2b2dc146f73acb26357648dfe008c8c2676240dbe98883fd44e4a 2384 coquelicot_3.4.2-1build2.debian.tar.xz
Files:
 4bde49882094dbc151a43919856baabe 230261 coquelicot_3.4.2.orig.tar.bz2
 5bd720ea34733106564c6d660f614ab7 2384 coquelicot_3.4.2-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldDoACgkQ5mx3Wuv+
bH3Iow/+IhmYONUiIMOcVIR0nMDYmrqnM+OzETJC/KHbo+aKqVu40QwTw+SD4SxP
Zxt0hAMMmGMybYaEsTUT5GF0MwWUu5TRJYOY1m6wVCPXiJLF5iGe3irukWhYxccU
5YkSKsfVzoFkVSj0z1JjGh+PJdvfjBdlbvolz6DgDseC6EDEgIBQXZso0zVx4nRV
W0A8elJxwCQvrLV6EB1k6g7ORaMaNjavb1mJNa0bziXvR80k9FrDzhF2oMZNNJf4
tgbmvuHwZlvfyAFizxOS7mhw/9LgWAyiWgD8dCsvXTdrlm42vIOv46bFrgCWBy5r
IiWfbK0foY1H+yIWshGANVEQyiVhWZmtl77mpUT3AymQK6XaMXg2Y18OvzG6Sc9u
QxlgwYpSDGSI/+pnIMlhZotQgjHMNMjWrINwHbZ7/+KsXtiIZhnIb5SDN/EpkYG3
HlH1kK2kKUNCsL6MfGtLcdyySuFz2QBbH3KMVU0bx5Kgxj93imU7oVyI+/qi2HqL
7mLOjpEXAm6mR15uBf+Amps9xyHYDBYzoyoP8/eQeVzp3UhDRPbaPs3BVGCHWDmK
T8QkPwtcSrUGYlK36NUfCjCBUJ9pJKQtDIiHaiFCu62NTkKN39xHsQL3AlwyV3cb
pZOLm5xmhvsGiZg0SsluEbBkzql2bTcYiZyuTHT2EO1zvnfnTWE=
=MNcZ
-----END PGP SIGNATURE-----