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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-8build3
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.1
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:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 5207a9318b8c1eab5c12f7ff06b6753990391dd2 2472 coquelicot_3.2.0-8build3.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 94aad86c5ee418e735d931c130e74b5b81ac20a450d12f32fa4d6537a3ce428e 2472 coquelicot_3.2.0-8build3.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 ff4c21d596e97e40c24fd98eeb7e3035 2472 coquelicot_3.2.0-8build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILCkACgkQ808JdE6f
XdmSlw//YA34q6GP8byW5LF8x7/ZoCuC15qisz/mSfa+OUTr5ofmmSG8l1BE3gyX
zivk0IJ0MPLyaNRbaZr8eiyon5lPJ1i/852rCH0XqY3+JJJnlfiCF6JYT79PoeP0
u5juAzjTDevUKobwwOaEpsIT8f+9SFvGX4A6sYhAUH81o0u4Kb0unlYFxiQwhhSs
H5CzFdIlsB2a6eHCXE8I/lIZDbRvGLghdOPQF59A08Z6VVALD4zWTHWnzh7R3pJO
bdcE/J0q0cJTHLC4TBj2YNKxRFsIzoRUaKCCwsJxsoFVa+X/lsbrKqe3C1Owyfut
dxYxh9lif/e4en3bZW2ytxwTfUYilDqhu/5GSX/LeN3LF8teuPupAWZgKS0V24vg
8o54nbRF0UHNslSwI+BcCaE6u3OzlBptIb4LNQqJ3sIwIw6Na9DOK4K+rQToWdvc
uv7mdJu5t0wC96G6I3S1ot3SF9EFXhn+jgsVeHDwvwaKMuHrIugW92a1M6BzEegP
P6d1s9Ny6FlMOiWJwTHbAG8w3LphCsmdayezHv4iKrLGE4MPmsNx4ZojNM/iCwcq
B1mXqorIRavQG4+3tehm5bnpEPdJHe7TMwdKSKQGSugYEZ7KlX7Cu0cgPGSi//1D
Ze1u1MRa6UqUU560SvCB7oY+fozScSHcQdwClIqP+hDt4Rs7G44=
=O0PU
-----END PGP SIGNATURE-----