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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build12
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
 ff00d46ad39e4752b66d20d0f9410a81970a44ef 3252 coq-math-classes_8.19.0-1build12.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 1d306d326d7af60b668b24e069c3eed00421bd112ae9657c9d5038b94605ad29 3252 coq-math-classes_8.19.0-1build12.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 23d52e0b9d1fd82f4950bde157c121d4 3252 coq-math-classes_8.19.0-1build12.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAme1Od0ACgkQ5mx3Wuv+
bH3iDQ/9FeKIQqg2w1yj+UId2yt5xUAloiNCpvpCRkDO89lyZo8tZnznj5rSwa2G
ez2T/aosW9dlyKH8tdNhC4vkfQIODFRpTpPAjiJYdfB6nhmoCfu2uR3isoYjA4zO
/IsESILcBQnGyzBB0GLI+EFuMU4VZrUt37p8yRsL6jlhuH1PdRGo8/bK2oHPPaeo
AsBGr1258wQQdzXMVUEHDkFzjyEM+sd3GRxhdA3eotB4X3KWUWvQKH6kiGIceWoR
y0YAvN6gF2fUVOLOV8azZucu83q3EEyG6OiHYmsRbmjw/FDGQCkZT4zuVwU0NBTj
ZLZa/y/Ms9rNKHEGqBhN6l+2H636fHLJrXHi7NoB0KnfYDtPxwYqRnd1YChpuB7Q
l89OalmhfEl0jS0ZY5nhsr/ayRuThbgqlojVgh0DNP3QX2d0cffah/x/pQw8pVbm
5qhKHhSB3vSwH2cZfLEgM9x8d7f2HTcMozeWjITI3jWL100B84+lhCq/SR9oCR+x
CKK89HeyaoGXBRSfz3C8ON/0ADPC42lWuHaMrEWT0B+0XZiUSPs/27OGZlp5+uog
FLaokY7LpHjnShYukaCQt+CMbasYAFNejLMecIYpTtnvoTYyin6GZI7qzZW7evPx
X/xHbGjwRRa14zYIyrAQczkXtwth0xPHaeMxPg+lc/EdGNP+61I=
=pSK+
-----END PGP SIGNATURE-----