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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-4
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
 7a9f76c5b71d1f928aca6e447960be5eb0459964 2624 coq-math-classes_8.15.0-4.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 a864822ae1fb02b3f1f70054e942a3ea3085fddaf76f5762cc1ad14f066e24c8 2624 coq-math-classes_8.15.0-4.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 c6803095fa1bb9ebef357f5c87b6c49a 2624 coq-math-classes_8.15.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRG4ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRy2EP/2VNF6fShS4nySTshlWiQWjmnb4n2AuG
VkqQohrxHCJfvaWEiZt1Y0Fya0hg80BkjcgHEGB04A9Rev30WiUBvyBU2JAjD+xw
jhbCG/w3VldKSR9tgXiQh/icfDgqphTxeltBxBH6zi2JvI7uJMhpXTEYIEFqdzAA
RVHR80CstozxD1LSny6F/kcJXlr3MRWSbHhv/dL0bVSFlOhcFOlm3troUH7l1YCj
+QhLOS95efLYlqwkSbEYtZfAk804e33wogLPKYvtWB3R0EsEyzLk8RGWx/uSZjDi
hR6mH+OpgP5NYYhiVxlMXHAe2ALyMt5VQbeXYzXnW/PrTLWQ9/8kJ5pc47XOXIWf
Q2KeyKNlH6RQsOdC8UN8e96emYhMUyYQwx1bhSXNcYS0In/holx/7x4ya6kMtzOx
jFEmKjd+EOjfsvgERKBfXlefZe6fVGUoNblynEYFlWmu96uniWGqgOY/r5B1AD/y
WjqpYiX5J0DQjk/ZI/tr//dVhcBc0j5l7gNN50xWHevZalb7ZrMIX3DVIVL56VY6
5asEw5ToOEoHhIuEENjhQdo6Ff38k2HfVCytPN4RczKBlBdzrMft3PslF5B/EB2Y
28uLMpewQCaAoBAgjfzBi+aKJbtyIjQ25HHdDgOUBbf7AcpIxlpKFQk72ycjAedT
ICT0dB68fsqd
=YZJS
-----END PGP SIGNATURE-----