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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-2build2
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
 d2d7e29db0e97dbf958d0e6585e78c960251845b 2180 coquelicot_3.4.1-2build2.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 6783c109d925cf61923a8c050c561a99dbac6ed21704c47489b216c5b104de53 2180 coquelicot_3.4.1-2build2.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 44ffd0b45e9a2c492f9b82252c53b006 2180 coquelicot_3.4.1-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeHkACgkQ808JdE6f
XdkPFhAArk5FZvYP0bfF8WYwYyrreW8qBXaBvVlfUIlbXRIqxSwAf31YmiUG3Kzh
BO6+P6jot/c/BryOUxFj6YKa3gUUynbA/PyA0nn651J/iRKqDDDXo35ECYox2Gpl
vQJ5MXmVDYfXNxxXlw/AIKH+RfYqD8wrL3VAvYg1f40/yKU16rPlKmZKnlD+vlEG
A746UVol0VTm84jyDDqqVi2IRdl0LArOiCLBQZR2RUQWkiGkdYFzxmy9+2VaHEjM
M7h0K6rixXns1MW90uhX3txm1Shl7GoiXaKtm72cj5qCzWVLY64mM/cit2ONr0US
4QRFmkz1ET1wrewwM0mSXRDllghw7WsUH/pQnt434RT6Rqjs8ikLrteHlrkrJnZX
nWZWQ30r5RncbLccjUbCF4SjZUIdSS4/daOXvMmFV+wqjEJie3ZmPur8nL4fhEUN
FqBtwywQS1a210mYx2yT9KAnaKKNcQ3c4VrWN9sIP9hvj8QXxlTFzRE3x1B+7hAA
QQGmQN8oMZychcHnOGf7lRyFck5o6aL7K5+3kaM0DctaeUz/14Yymph4BJeG7cGL
U2TQc8Y9/GnB0TO7OLg79yZuHdmFMqlwOXPSJI9v0z3kq2fAppGhfQSz457YeMiJ
8dHtCrbHQWbhVHsn/k40MYv7gOG3NcEArVAeBizi/o27+O23leM=
=Ijck
-----END PGP SIGNATURE-----