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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build4
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.0
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, 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:
 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz
 ca5d3ba340bf508b848e6baa30f521452170d273 3092 coq-math-classes_8.19.0-1build4.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 200c62b3a58c23d18f20f2451d3680bfb7df3552ab79017bbf4c43ad485d7ed5 3092 coq-math-classes_8.19.0-1build4.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 75ce5fb8f7bbde7426baee132e867585 3092 coq-math-classes_8.19.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmaAonAACgkQ5mx3Wuv+
bH3mCw/6A0tCHuOtxKoQr7wy6IpWSas8YRbeY+49Zogq6+7H70YiiOKQ9GaltNdJ
Sy17vJ4P9QcEJGh9QneVTOcu2RBf6hHUt8XztfGSRApuVMMCbyw8vVOTGJ6+dCx4
etfg6G6dCUA3JMshADYAHKLImowXWSerUstVuUHo6b+nUBdDeE0JcDWStTR8zj3K
sIwoIFKVptWtJK2Wz8sfqR0te8f/eP5URz7dx2J+zY/j5lE8dkwIEgcBche4CgOx
F14WT4HYDL8xyqfs4LNznQNII7frv46wR6JGOVQSohVx3DK/wyvTQ85mHuR0QM0O
oHGxGgxaDzczWTnrrjjjQHzOxqC+F0R9gAMsYb2naZLpxvIlxSf5f2hAyEeicCb1
71acM1S48lgeQ8ZDSQpW5oRih3WOCSWPr8sfoglPvklWrFJ93pSYvo1MxoFp7RNc
qo/S9tYPsEYzbGzzntkPu5+zxmtkeVAdN8312tu2m6ruTnpmCFoV84rqfULfq3cL
gzpmjgmSPZiAzoQNxL2Ov6FEzyynMNBJGvOONR2+t18vhNw6CIsTv8tD/W3hKEMD
mWlwjiyxlVcmwY/bzPwpMcZm5HZu4VVKrj+rnX1wdFV19gaBT94rGiorjn4xOyGw
STAQdIIBtIEUINq+YnCzsfgIIOQ6fQeR5DYv8uyV5vjmNPfvlEs=
=LJcM
-----END PGP SIGNATURE-----