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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build2
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
 d1aee7c203b176c27df49d67da7db94792666468 3024 coq-math-classes_8.19.0-1build2.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 304fc2c2744c5193d31a6a9d82199e6f7de00b7c5830de73e9bbcb44350384c9 3024 coq-math-classes_8.19.0-1build2.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 0bd6e378da9ef15563eaa9cb12e86f89 3024 coq-math-classes_8.19.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZAX/4ACgkQ808JdE6f
XdmFtQ/7BkZLu5wPYttzZlzCtjJBs3DVpnO1Y/LLf1h48NZbB5lQgPMLWDibMHTc
gtrYU+zpm+bO1ubft1cqFcA8dJ6ETpjXvzTSoYbAM7dVIbB3RmOHvc7rZEpTI86a
hve34241NXpTz6owZ4EG5aBuxtlTcc69padrDp7mjMXAS/5aApJJ3xSuZ6p8G1Ma
68biwBb+RsoBlqxgpQMJFTa+YK4LoPrEIxDRKCuyEVRq12GUxomQLv1wcpTm4X8h
pVsTHUVwjSZrq77XnuLn9DYyFXMlAtdrmk8ZB7nVyhw6O9BTjf0ChvSb5TNZBdl3
5+KMokPoZ9d47azeRgeTgwC8qpmJQpfg3LNBTjSv3/z+Lsy+BwWwShEEy6L4AMLY
Uc2evQphSaiJx1Dhm9Fupo0WloAc4j8gONJFQBIiFIID0ZRqQO7RKGGmcXC4AqSv
TZj3yiBHxZxY6tkKewgW9hyxh0voJ+w0ztrXMMhua58n4twp637TDhE3zyCTp2R0
0jc/Ue9wb1uE2atThTZbOWDxtAbFtAdNSQvs5CK8RZekUG/ksz94KhP9lKYtR97T
zaYl919BA1puvSlq9IeD3E0liZnyGGOsYOpK2QU2Z+T6dKpDCp5c0/B5lTUqM/JD
DutK1IWXQV8LCn3gtsJj4oBz12PXlk3q6sRtm2hNolXhNtnymqw=
=0Qg7
-----END PGP SIGNATURE-----