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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-2
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-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
 693ea8825ffcf4faf25d4b25521b609b8abd67f3 2576 coq-math-classes_8.15.0-2.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 31d531e543a66c68a55d6d0f58a9078cb6e99b6d94e286f562170445cdfb3d01 2576 coq-math-classes_8.15.0-2.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 5ffee46977397746a47784f40066a9ca 2576 coq-math-classes_8.15.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLHybUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRzFwQAIShCDTTvRxeYcGmx2Hg9D3qh5v9K+uZ
WsUkScLghOlDbh3rKlZsiRVpKiHAr+EkcWWdx7Q5zdpcGAB6XgEC/KAu4v8rsM24
hdwMHkkieLAJaZygaUxVpWJYW6CEBPV7hsoGcXdVPH3i5WuaULp0OOyEiDJog5hw
eVTb48Bq296mGB8xbrMENcARuvGjACgigGvzRSzqmTMXQZniTg1NpPa2gVjcqju0
IvLiA3TDarBTq92sufZrSmZ/oNiNJ8wGBtVF7qupC2r96ODVZpc9MANNkdi5Z5Hr
TGDqZCWarHKh00WfnJZeVcgaboc9VgTjqSrKF5qHOUJ5pQGWAASGo26NewpOO+aJ
t3O4zhcpteL9DyxX8LZpnOPB4ISSasYK+robzfkY8VdAWWUueqp1MoR6SiStrf3A
glEb6YWHDN0ld/oVRwVZlnBLLIvBjeB9xiI0W2sqUU+9BtEGJdRpYcv0mY4Jr987
u68CvmBkmrgE50ktKZZrteNIswpfzMlYWiqb5sL7vNLuvVa8oTcYbfibFTu7H15O
7KlJkxWAEtkuedyBPH414hMmnVNhtylhuxMqa2GrcoimUy6poxDKAvaRHBQStbKc
1lnHQbEhJ5mgNuhwwC8TFPZoKjgH3okluHWKUfLeIrw2s+1B8DJF5/G/6wHQdLqe
kthuEfy2kTGF
=GH4E
-----END PGP SIGNATURE-----