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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.18.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 13491b81242653877f105363119c77fbc737676f 169010 coq-math-classes_8.18.0.orig.tar.gz
 41a6333ffe9d88fe69ca1604310d1a3c813d5d91 3128 coq-math-classes_8.18.0-1build3.debian.tar.xz
Checksums-Sha256:
 e8572538c7fdbcdf48ffff008230e4577134314118de317db3d2328a52374700 169010 coq-math-classes_8.18.0.orig.tar.gz
 e14026105d62e7f0d47735d2160749ed90ec6a6e1baf743b7a34ab3d27a68b80 3128 coq-math-classes_8.18.0-1build3.debian.tar.xz
Files:
 1261b1747d528eab8341c6bbf84a84d7 169010 coq-math-classes_8.18.0.orig.tar.gz
 f9bd7aad958473c1361069755b3eeefd 3128 coq-math-classes_8.18.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmiQACgkQ808JdE6f
XdkrCxAArgVAN1VFB+aSxAl3QBhk/ttdaqVX8sHD1+4unHYb7kjP1lbpTXJecJqG
rPGPxLIkGencCetyuGESU1293FlKlSPFYw233Ds+BDypLUzU+YfPkjMRPQWO1X1o
h7MFn3B67F4+AwRw3PnydbFSR4HdQkEOW7oRhSYvo3J1Y+7UX0oT809/cTIA1qbw
d8jL0vmxRa5lZ2pnN6MaerqHPJQ8mNmqCVMXV8Ci71VzLapYyqVCu3UkZjJ5Qg6T
HnedLB3AtG+KIZSsV0zr4Z/ioNKURYE1cd8erhMNER4Q/xn6RcmRifucI6M+2W+W
9P/TSRgXIxbEp3yJxd5E4sDAKSDKMfc03l1csOha+/aWUTrkmjUbpjwy/XK2Dc52
cZNWbbDUa+TS2wdtxpOsbT0Kzj+pkh4PzuadOZjbWoKWePmmMpL+BXJ1ztxZN9jn
M5PhfplGJpRdZ5MSG7/vu+tq8CpIJrOBhJxG6dlEKKS+7zhtWiGaweSs1I5vAkPT
8ebID2BREwTBt8f2L2ER1rQdTUG0D23eRbiP69IVEmy8jROnbd01/3FcJCK9Tt3C
54J2ERhd3r/TSpgmTIsf7OZAXQjJFwKDTl1U0SRKcKY1bQ1HEw7zPjc+Pv4UI04d
mOmKyKCA6GFLUV8LedrINCSa5Filu3jQ6Oytfgch8C8qVXfFL30=
=W4q0
-----END PGP SIGNATURE-----