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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build11
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
 0e5772eb043f474ab54e7a12d64075ab523d221d 3248 coq-math-classes_8.19.0-1build11.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 a7afc2b1617a1206d932a70da34171a03acc6d49a46ad35f69054055149fdf40 3248 coq-math-classes_8.19.0-1build11.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 64113d6d9f1a4d8ee3ba74a465180517 3248 coq-math-classes_8.19.0-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeug9UACgkQ808JdE6f
Xdn0TA/9FDw0Ptzh9I+uPve8DqijyDCW9P0L7eL2unIHuQGZnBMZQlgv5u2EN0Mm
boVaqWp8k+DJbmpXD470fx5Zu7bM6KxM0uVFhJfMixJbgPPubHqxpQ6n/SEiWHVW
eXDYBXUPi9spga5t0bqojOsGafvj1UEKirWAgD2QsAbciSXHb0qix05cGA4Yp2oJ
uovHq8IE2dAapwInVCLGeq+CGEcn8LHaguQcRnKQMkZBuZrUYvThxZOw8/dXijmM
7EE2AQj/+qcCt1sXpPxfKKW98bzOc3TIU1MzIu2SclDSrZyNmaGwFD2h/RVa4txM
Ueh2rF7mT0J8EAxGMgde18bdwcq+8jwzl8wfSly3kQQ52Yx+BRwTyvF2aNK7mLKX
46ZmW1IYtyTGBuXxoavkHahlgl57Eh3RP2ChrxrfYOYP/nvSG78AwQ9y7k1NYas2
psdDZMI2mHi8UU9NPJTmBDcbCEV+7BbfzbOvM7UgizyKzEvgU1yWv+ie9+Dn6ArH
X7HzfYhJbmib0lwPYZFanfjaK6iGWZ2N4f86dLLQjT4MK1WgJ+L+HcWRcmPIdIvS
oaddsDFoAnCUAiKPXehx0K+Bbb5LUOhtGawXRmbn8EyNdpjj9f29fQmaFWz7XpWd
07Ncds5V1c1n2nZdVhWusbVdIHRN8jP7tm8nBGbxUyuR84ep8/0=
=ZxVa
-----END PGP SIGNATURE-----