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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.2-1build1
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.7.0
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:
 ef82016f68887b92f3945f5b747a895dfcc5bfb9 230261 coquelicot_3.4.2.orig.tar.bz2
 32fc596b059f9c42f844b8666eaec6695629c92a 2332 coquelicot_3.4.2-1build1.debian.tar.xz
Checksums-Sha256:
 cbddee1bf51d0f28647b8c95083d890a4c7c69e4f6e2ea05647ec5d188638dc7 230261 coquelicot_3.4.2.orig.tar.bz2
 63d53ad1696d96d90c4c06b2dc00dd2111f2d71ebf87d88e41076ea98ac548fe 2332 coquelicot_3.4.2-1build1.debian.tar.xz
Files:
 4bde49882094dbc151a43919856baabe 230261 coquelicot_3.4.2.orig.tar.bz2
 036541e67d65806cc893fd50f9f0e902 2332 coquelicot_3.4.2-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2IkACgkQLIPbyOm9
DjdYcw//WWj4jhD4OAf+W83J3a0OD8gvnxr50kdsMOr1vwliFiP0mftHPxYxMkdB
KDcWlBJLK4bBhinSROdKAoLi+aTdw5fCd0j5yFjEIsqQrG8D2KbSPbvnSoIYtroA
y55fYVWveaIREb9ejphH8c5P5HHuYB03rXcO0QJYFTE6jY/5QffgsKgtJ1iXyjDV
Dt9YAogNRvz8PCXqHPu8YqwNsHMvEWr2GGHOMXBr8H6Lo1skqqLDzclmxG2jKCU4
tfs7MvvJ5XuhHpyWLmxa7WTb9giVV72uFzfdaC4QyA0hzw1sNs6sz+ksJn3m6BpX
HVuAXnMNyYOLqSF3aOj873QcXmPTB3rETIoiIl9Z0ct0U5EZhJ15OQNwmj8UnRxo
ho90eRYXFVtjSe/0IyonWhvXStZvkmub1VMcPxOEboIiyrBMVpTsioQWe+X/ILG1
K7eCLUeKPTlM8imwvrZDB4XoekZ9fPgr5Qvy0YbsqoAdcmDMGqEPPl0BU1XYnXhe
3otlFUue5bfV3dWHvy+Q3iBKpwXl6MAMih/x5iDX7PvC00uSjaHn7bi2FdSuvNtF
TqBQ3YYEZ4Hzruvfcy38ZaQd7uo12X0VbP8qKJnhI1b6ShdA1OJIsDWohrWHa7NP
Hvggm0S19q0ALrhwkFR9Oqyyl8m95S/o2EOXvKc5JLDY7yuwjAQ=
=Ffx6
-----END PGP SIGNATURE-----