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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.0.0-3
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:
 7f3664d090a16ce60292e3e9d1f49ee4caa1bd02 169022 coq-math-classes_9.0.0.orig.tar.gz
 a692df6a28852057c2572e4b93acbdba84ef105b 5632 coq-math-classes_9.0.0-3.debian.tar.xz
Checksums-Sha256:
 8316c8ed38c9f8b444c3ab974172dca10d959983fddc272018323a461fa176f9 169022 coq-math-classes_9.0.0.orig.tar.gz
 e3e216b62baf0819a9681a55c886cd528fe9682df2aa1006002c5265cd674d0b 5632 coq-math-classes_9.0.0-3.debian.tar.xz
Files:
 aa474daff8105a682b28cf5c6f5ce767 169022 coq-math-classes_9.0.0.orig.tar.gz
 73ec706eed92948eed6b0d5b3a6fb629 5632 coq-math-classes_9.0.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpR5BsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUf0GD/9XXzNodQ2BcupPnfa4OZd9
bBylE/kzzKyEm2c2X2G/s+lpygwCLJcGF5mDir9XHRJi2cvTOLPi0/5H46qPaGZc
W1sSVb5jmUvU9P3K2Gpz3hgWlGOfAArBw9VUcxoDWpLVDBJ/wxkGugUcEMb4+ZnH
ws/POqjLTKsRYAU+xbh7OnyjcAZOi65jLOBtmlqB3P7+G1CzKJ8rxIPZhdyxvwCh
9EzY87WgyV7o9SKsZT5zrxDXTs3U6r/KJyKTJN9R8Ll5eA/b0aMRgfU/SkcaWBee
C230j7uG//Bz+Y+4EiH//6j9F6dLdEBkbLUi39ZLVmQnFXEQ2tUZUY/a92bjHJsh
1xNT5J70DU4VdEEsD3yaBb+cFC+7sZ1IzRqDz4518BRhmR1oHERtMtBBz5NxEcm+
BeIQ22uBoqGQLd0PGk8BqYtsW0OGCuoOZjiAzDG78PxR+n7O/uigsrPjC4I+YoUp
6u6/5tNGHYmTsbtp+/Ga5Db5z4ZFlk2Kkyt7FCtr7NwSj1Bu1XNHHlY6o+1Dl+0p
2olmOTi96cnsDU9ZpI6pE8mYstFpjKlYixRllgJsZcVBawXlMC5vTS75wye7Hus0
red9UBmX99VnIUH+GlkLhh2Y8342QY6fSyEEFTbwXDoxuALv8XmVCJAnB4IJtkef
TsjSIq/kl5ntgW1nrbR5Dg==
=RWtX
-----END PGP SIGNATURE-----