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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-2build3
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
 14ab40edbfeb5b1fc16d93184d869f4980dd967e 2188 coquelicot_3.4.1-2build3.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 70eb44fab3c3eb25ffd952d77edfef585f24f25c8ede7bc9d4bebb660d085c33 2188 coquelicot_3.4.1-2build3.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 2897903143cff0b3f5c87742a54eb080 2188 coquelicot_3.4.1-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOIAACgkQ808JdE6f
Xdnk0A//d7jxqz5kfrPcS9Hu22jtVnNoZPkZIAO3/Oo3CdkEHCfoDfnyn1n2A840
o2FwS4ldyaCGMQ2yXlewkdODEuE/f8rUyU/IJI9BF0cFpqRSrZnGTWP3RzYVCye1
dNE6tEY49xGGp776Mxmim+/OpgfLtypwrHABm5aVWjJC25cfa+rUTol4nUHeKPdZ
iY+jQ7ZAQPcttwslLgqnZNOquYIdwTfmp606syQuVPGi1n4IfMN91ecSgnBWY9Kp
kkihkkNlKvmwNiu8OQ9ql6MKhX80juIQE83y8b8xGaiQvNKFysNsrUUPEwQTvbBk
OgQIBh3ciEz6a/JXxW8blIGt1x4WRygois6EGRhG/XE6k1s1x66S/2odPOM/PrpW
kjaO98TFV7sVU7g1NW3oef39XnVxZV+bYPPQ7uv+t9oB2vm5auxolt6haKTknUII
V6djiaEltxUwVXsAzs26O6HZe7QtVtJNaIDB42/uzHSsrBP5ReSGupV8RDqhkNJN
+WqOpn6unfInGt38UrMaeGHf2zInFnXsWNrZopm/FOc0PVhUsAXN34S81gFxzSYi
v7Xro60jB89DgATcpqarXFs+zaLkTyxHsgbsYit+WwbB/TiPRIQgxFo69VhvdIfF
ZQMOgUnvThdqQPlpUDVRa3Hy8Ln6k8h3d8sVtn/Mfzf889E+ze8=
=WxCo
-----END PGP SIGNATURE-----