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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-2
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
 b2dd153fe31032766c75cbab97607928aa5e3e7e 2092 coquelicot_3.4.1-2.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 a49e945e1507371b94f5288febc09d3e71b6acd3857fe1812bee8bf7f96cb5d1 2092 coquelicot_3.4.1-2.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 fff15daf4308617a74ed133df3eec548 2092 coquelicot_3.4.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH5mASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVbgP/2cbV10GZuZRatLAKq22yRsa6qiW+ZEd
BGuuhmq3fgvrM378LpFhf9B7uWpMeblcXKwqKrK2qciDjeeBnxafU0spwJokrKTx
3fr934nZHADKSbK+CLYB4jHK1DN1/LFIdyRp/icDkQiGDRCIHg9hoXZOKBTAsGwu
LfHBpLOD1s5yuM6mpe0OZ02d82Gm9A/j4HwZLzjn6Hx2BOT9HnVgMvh/w1brMKvc
18Qkn/kwZ6w1Kjzcd9majeJ1CU8/KlnEYf28tOTt3+0rgz2VHeeUKKPkqBJICOUY
SA9cSqPMfb+DRlDNpu1sGMfCe1ZzxC/BEnNYduAAuLGsuhGNiDraUi5lV/a8n5Jp
LrzH7kIbYMdnqXsNUNjs1pOcjzYP53GAuJKtMie2ZdJiInLAuIST7Wvbg10XjArL
w4bL/aHijw3OPNFiHZ0eiL7dIqKJgrvXm5yywJMU5C+IqQWPryexCMr7fxcktoMA
Bd7S1Yab4xLEIfZfoii/Pm8b8EjbuEbhdQQQD9TKBFnn3tngMMu/Thhy3XHrPvrQ
7A2ZeJqliXaU5ECVqxcCed/ltSnSX63d2ywSM4SM674Dhs56G3hil7CCMRlBAFrS
IGnNDWLH7I4vW5CXna/WXKHLz3Fxcsr/hw0p9lk1WUmK9lJtY4vqwd5s6HjQOyZ1
wg3CCdo8WntT
=WHpF
-----END PGP SIGNATURE-----