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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-4build2
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.1
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:
 76cf277c78fd48280e515ca0a942d2261e58092b 167961 coq-math-classes_8.15.0.orig.tar.gz
 4bd966e8c49cd4c225a743a7c39c3d0645a083b8 2708 coq-math-classes_8.15.0-4build2.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 e5afccb413daf0607e2c50b10b4693f1d682ef53c8d4535d5150ec2dfbdd42fe 2708 coq-math-classes_8.15.0-4build2.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 a5fd8a3e5a999696db437ddf32297c5c 2708 coq-math-classes_8.15.0-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvJ5IACgkQ808JdE6f
Xdln3Q//ZseGZPLmD0WHnL6kiw8iRPDbnoGnWBFCgsfz9wWRlmLIP6iCT0sqLPcq
qqS9YRxyofNnbpBjzPoINm0qCrX24CXTMKo+E3L9Q5ErZwi7XReN1JkplBg7zUxu
8X9bxXdRonvPAlUA9XvzgcEPGdMndYtnDN2BJnONmmNBCiPhAhLwaRE6wXI0/LUP
2A1SqHFzvbqapBhw9eiTRsv7NBDQNojvf1wMTdYfwPhTH08pPplKXfBFOjDnY/TY
4OFrfSHZ4Bx2DS4wL84jFZbdf6oLOEIHohm43gx8V8PFfVE4L7hXuOQi/+0rZY6n
SReCXuVJaKdtwjAE72Kb649MCj3N/17FUb93Pl9N0hbAktt2HDGZJZtPmw83Fgu0
y4nRhgct91APw4P+6q4dD/yxOhNo97u126K7hiaosHeOVM6twAz81VPEdJD9QOtV
d2senbjd82gD9sx1czC1VWy98EB5FUYKnqOmXuIOXVut+2OePJqT8cn7XDAsfUeX
3IEuQkhUGcK8Odf1192IVNu6JHvPIR59XiSUrgvMTX7S0Q/BVmvE5aRuMz9SuNK9
1nlnlOVm1xRNVF+q7bsWdIxvdeVZQVlRO7WNl2J5fN7GB0GPoMjXpzDivQ54ndYn
dvFvDhyyZtu4nRsS9DCKL8e1wmV3i1bA8WVO+CjECaN7d41yz/s=
=y8D6
-----END PGP SIGNATURE-----