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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.17.0-1build1
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.6.2
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:
 06e87697c68b076a6f61c5e40c1a868fb27d745e 169003 coq-math-classes_8.17.0.orig.tar.gz
 9184e55f380b2ccf3daecb9cb192480c1473ef2f 2732 coq-math-classes_8.17.0-1build1.debian.tar.xz
Checksums-Sha256:
 25b6b4520dd59f8a2b9f9667ee78f2134d6723e2f647cbc4098d7ec280dd8dde 169003 coq-math-classes_8.17.0.orig.tar.gz
 fb4d21bb078ae2de9ea77ab9327bfe0e96a9b7d012fe5964499e165f01b8ff51 2732 coq-math-classes_8.17.0-1build1.debian.tar.xz
Files:
 20f3fbcea971077e98064b181e17565c 169003 coq-math-classes_8.17.0.orig.tar.gz
 06d5576bef7d17bc616654b52150c315 2732 coq-math-classes_8.17.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq00ACgkQ808JdE6f
XdnULRAAiGL0zA+CZ2fNROlNyBEP+AMBgsTfP5wom1n8T5FViGjLKgrkTBm3y2g7
b4XM77ancw3pAGN8+p0SNFDLhrdbwRBQq7Bc1wSzUnzXZ+0wgtpmRsENeZqFpK9O
SH+FsvrCbNLhtEOaqPdy8iTVq4HlfSk4yEY5UnF8kMwp4OeLW5R2ELsWwq4v9J/o
0VBdIUGU1ShnTcqx/5I5lBkAjfBjBL8tmsEeaFyF+2wqVVjgj9L5bSqV1+CJjzGd
jdCpEaQbp3FPkXftN8wdiXAn9RXMncBPhA9bf7taSKm03XzU3mvUVbJVNlACr+MK
lVwznPo/DtpTR0j+8h57JY9/I+jTMkKIAvUm5FUE180H6OAVAQxirU7VtelPWYSq
fZLyrNE3IJj51/yL2ZTuc60QffkL6DJ5p9Fgm1It/3gAIIOAQyJMswFrENhN+CZC
s4bNZ2KfI5/lCvqat/UMBe29f6OvSVZNSOMDP6lMf8wb7kffEDgOj5YPjQgdwgbt
BcQJ3sq/+cbtVAZN9MPAb4F7oCOb2g+dkDD3JxQg3dhxybCkv/3L3dHY7/02EfTj
V6cWlBOCWk7OsrwyCtHfyWsmkCmGVSn0EhKdmsbgtuGl/hlbV5KCcUUjcXEwikHA
PsJHFoxNGc0tQT7VRcO5cfIM+pJT0LJ6OWgU2Eu3htydMSnQKNk=
=E+I/
-----END PGP SIGNATURE-----