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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-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.6.2
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:
 5bfc7bdcdb2d97f124836a664b34036cf1efd961 281532 coquelicot_3.4.1.orig.tar.gz
 fcfae6a2fdf1d2adbb9de6fbd15c2c249cb5e67a 2188 coquelicot_3.4.1-1build2.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 8f7e71f7165ece1089c4b6d6ae9035f322ff8ef5012013fd4f99542bf4cbef90 2188 coquelicot_3.4.1-1build2.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 b7a6550f771b27f74daffcaebd45a749 2188 coquelicot_3.4.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/MkACgkQ808JdE6f
XdmzlhAAiSkZQymSe6aMyc0gdq1tyKQGh13ynBBmapLIK5snPUoHl8uIVa1siTWP
XMuOQc4ngjfSXAWAIwKhhbPq/PjvAWyBuHIO2lUacCiaHVBWzhurs0RgmzlV8x3+
+r8MHBXlA+4upMlCAii69KugjJ5tipd4TEGFlXWRJok//f+4jBosH/C3UTsXXH/q
5zEe4G5D3wexRD1YEzuC4Cc2bw6zbe5m3rQUI3Y7BYBm7oSbEpXDrJLjuYbvTDJ7
8hXWRpSFYjyQk0EkF3aCbcVsA6hOuxuct0N6Dwvk/2WgT3jBJsSXj6jevA3CoVu/
5przjJRn+wfu5y/xRS5PMKkqXtxb4tCS/boMJcLmQn4KsIPVHFm3QEpkEUsg43gR
2JpDqPeB6qCKwwh7XS4Qi2SFSJ0mZZmrx250KLBaWN/ncTHDah8ID2rZaSBYFYtN
dBQ45otg0yfHwQmM+abhlBitCCGcXn84oOaf8dwQRy7BAvOgOvnRbQkcLGkV17Dp
+8TQO4i+KuXNcziHgqcYfvfrnJcGsgBBvTpjH9H8tdaC6ZFrLH9PgogEdxEHKX1L
lk6fCIhzEr9yXQYp5W+uiJgjw7J6xdBrulnmbqVTTHeNBM5j8+Y30dY3nydgOXXA
4tAxDtS8T87ZdpxQ15jtDHzXsodSA0Cl6D0CDLh1gWxeNdslhX0=
=/a0q
-----END PGP SIGNATURE-----