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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.2-1build3
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
 16d513749c6529241a1f401136f18e287a08aec1 2420 coquelicot_3.4.2-1build3.debian.tar.xz
Checksums-Sha256:
 cbddee1bf51d0f28647b8c95083d890a4c7c69e4f6e2ea05647ec5d188638dc7 230261 coquelicot_3.4.2.orig.tar.bz2
 1b6763a90cbaa2b4f1a306a49249eb4f3a23fca4d7e4df62603f0fecea2eed07 2420 coquelicot_3.4.2-1build3.debian.tar.xz
Files:
 4bde49882094dbc151a43919856baabe 230261 coquelicot_3.4.2.orig.tar.bz2
 671a26223ca4020121988a9336ef3545 2420 coquelicot_3.4.2-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeR/XoACgkQ808JdE6f
Xdk2xRAAikNFHv6drnJdNVO03zQ/zh0OzC2G2It5QuC4rLN/S6rx1Pb0m8TGnMZC
MD58ZLCs1EG8vYoxNTeQWORH6CcnIBKjfZEJbTdZiHVOCo+e+ZNCgaabBb7VDb9J
mVB+KXx69j5geUomP06KxVkwhvIVyL+7TVUwmvq4Vh7okgMYuFMdV3kFnWeqBLaA
I4bA6fe12FvlG5bX0lO12g9u1N06b1fTuyyuEsRUxC+eoHihi75YElzqAaEfUVkr
40ufKtEsElIoJK+oxs2eTWLu6t7xkYrAUozEGA9hbHwFtIc9BrEUsXrwwxwxzHN8
kiJ0uu5d6H2fHLuc/WBBKWdevnL34A+7P3sIOqoIlR8KUPsIJAUSwg5xQuc3DudP
hWL7U9M6Xbvt8XEfEZ3DkMpkwvnzEvt+VTG+ZHhSX6OH6cpPGjISDwB/ygh/PWqT
/3x414r4QCJWB51I4R28lPvLiQgLGsGcc4NZa1re12xkBQMu9pC1wbQ5sDogrXRU
FFLSmXB8CZYxRTczlKTsY4BwR1VZkHNaYSucvAPf5tPF9eqO04XLZR/vNfsw4fje
VZ7PlS18o6wTobnFmJkUg7FdpQij+ygrdqLWg5FIahIkT8gxCPFLKJQgMfvz7Cts
Imjker0bPAyrt6jAmrM5KUYZl1SUBzc+7okqUzfB9/L2A5Q70Jk=
=Pg45
-----END PGP SIGNATURE-----