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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.2.0-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/math-classes
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-math-classes
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-math-classes.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-bignums, libcoq-stdlib
Package-List:
 libcoq-math-classes deb ocaml optional arch=any
Checksums-Sha1:
 c88ef1700e917829716cce69ded8e13b7caf29aa 169210 coq-math-classes_9.2.0.orig.tar.gz
 fbd752baada0d6534da44d10f7d1d22c1a98c6fa 3120 coq-math-classes_9.2.0-1build1.debian.tar.xz
Checksums-Sha256:
 f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz
 8e190ff73ce376df15e0a4c5a7361b72db2532fd702378e9b1a3d8517cf47477 3120 coq-math-classes_9.2.0-1build1.debian.tar.xz
Files:
 b9c8296a7117b2c077607b281d346e8b 169210 coq-math-classes_9.2.0.orig.tar.gz
 93c65c282a6575232496eb7bec697f9c 3120 coq-math-classes_9.2.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNPIACgkQ808JdE6f
XdlQIQ//QHeHSU145OEyNmyceuszIvL1ZU1dxa2Satq8B+r+TwQpcPsGvnUl4+Ek
BzFUEQNT12o0faFiDEyGOBaoJ8wt6Db0eLyYURDpFFUdADfTLT3WusScbasowQ6R
aPAodmmHcJovIQKUHFURCT1bVTz+jOgfyAuQ7/FYTdTYx2Wjd4pR/Jhst5vbSwPr
HKPR2KF1pFeEFQdkcdAv/Zkir6SonxKTYdCCn90o3Sjk+h6SaGNVGq2qelng5GsQ
1Z9KGAcG1B9wYvGvyFTiEwz5DORBm/d0k0KbXrHOFsmhPLCMym4BGf2v41OR0UcZ
F8xNyBQyIRR75z2kYTUSr5pt/pIZKMh+snX5OhLCYTjTdr/or2xqdkiLJK9pUAu2
bWA3oIZkfISJg1cJ3I5flHN3+vWDOG/GVC+kIZY3y1KvDZMRIm2b50EYUvqftChr
r61OfjrRv96h4liIcB/2iVNhq6WT6JiX02l36xktfuYof5raM7+7QGSn8Rz3bVMg
TvKUVUScj4Wg7wqXLoS1VQsqtoWnAq2Xlppc1vr1Oz3mN2V6irEjyPMNmAjx6xY2
8ihYGCzheJVqNThhsIl/0G2wPPgPkwzRLxM2P3qScu2HTiLCFuRPrcu2kiiiERiO
YIlCu/NyT5nPFNbO67wsUG8XzO9ltEEludjYKWSg9tvy/2H/HsY=
=l7wd
-----END PGP SIGNATURE-----