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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build3
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.7.0
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:
 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz
 5c307e55233b6ff619757b62ee58ae0eba078647 3036 coq-math-classes_8.19.0-1build3.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 9365cf5fa24a12d55c1cb2edd8b6e3bae604dfeae4996b7307dc42b7f5fa4ee1 3036 coq-math-classes_8.19.0-1build3.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 21b879670fa57bfa75096dfd3eb58b98 3036 coq-math-classes_8.19.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp1MACgkQ808JdE6f
XdkKoRAAmEWW8DX3f/3or/O5o93kiAxUgd4DCaMOoVY5yEkWD3p/5aOBC2hovKt6
ag6tiBDIBCLB11ttjwLH+VoIRMPW4/GUxMbdJpY87P2z6kmiRo1mpUoURvP4hEGw
Zu0P2illQkQiXe0uMiEZ/Gv2zr8KC2QW4TX+QWWciiU0fD7eBTWdvYKGi48y5l2U
QsuJVIhB605eg3m4wKXby4K9MZC+HrwTMBxzbRiaDeIUzVVp0pAMkAbK0DO2lavP
WAvtZimtZ6auRTVHYS8f5Jw3Vd4I4I3BN0OdyxqdlXFoh1Ws1m+tr7FSQ+Yk13EP
fgw5bX60+Vt3VGEKTlJTgRFxwMUILApUiY8qVs2/GYhwupOjw2jpNpJGDMVOOuBq
gcUH0Kgel0s2l6dNM8JnISF5CXL/qVlfXIGHaNytd8m/304ReYHY6Npj9sZ/NOH+
Bp2+9tFuRQuHpMrztDVtSthEPiOYDWjFHqGJrRwmrr0tDM/J0w97QrefTCdxSijB
J2Rx+Le6miOYKinwl9+KYO+8dTvx4znGKdzmz1hB81DyRpCIdfmzMtZhOx9LSKj8
XmTHHWhZsl2QlRUUJlHTaaoD1cFSoVbNQI2G8zGJNqIjGu95BCAO6ZSpZoriDSR8
QYx1xg0rQdgVhjBfA8GJoidToTB+HgMsA8dErzjqKyc3uaNc9FU=
=0W9Y
-----END PGP SIGNATURE-----