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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-3
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
 18223604baf134e91b3f824675e8a3567055476e 2168 coquelicot_3.4.1-3.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 0656fb214a1c5dfb652db5092d6c3bd1124265b716456d34f954977e2a2756f0 2168 coquelicot_3.4.1-3.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 737ec62db43e7dd83ba4bd169c3a853e 2168 coquelicot_3.4.1-3.debian.tar.xz
Dgit: 8fa860ced1c045aeb4c3bbf7b51783e36e652201 debian archive/debian/3.4.1-3 https://git.dgit.debian.org/coquelicot

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavIrwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB+KQH/RgfmUZuh/jaKKnqLqqX/5jdoqBniXEt
hi2WPa6Qr7FwHyy67YlPv25ynNkcbfKivu2JTzkqSjgjVlMcXP7Q2vG+4pgp1s2p
E/E8UfJUU+onuXfWgXR5CGt2fSlh8csnN03gYxskh72O4EArzWJPwrh7zBfkcLdT
4CmwBZ5eROqmEXL0Nd9dPUlQvjm6kPV2oeMQlCH9CewqRHo0xz4DoEH9HHPfI5FK
27vwUdGlpRDKzs2tNszBTETEYQxu3jAtDUDRrznI2S38aM05DpOfrlC8iWTWThAf
pLs+Fhd5mf1DqRe345h1bRwqFp4hRO8YqXQQhHOT5fNH5MCjfI9q/rI=
=xW7w
-----END PGP SIGNATURE-----