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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build16
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
 07d1b75ae835e7f19b1915f1365f52d226e4dff4 3352 coq-math-classes_8.19.0-1build16.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 5031b48d537f67de5e20539845682313231419722afd0ed401b752829e11787e 3352 coq-math-classes_8.19.0-1build16.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 983409b271145c3f3eca740d988d66bb 3352 coq-math-classes_8.19.0-1build16.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s+QACgkQ808JdE6f
XdlJng/+LEZcBjRVxDNeJPbqELKXgLwglUDARSeZOOZN782Fxh5iYNA8KDGuxZjP
tyV8itsos7I+GILWds6hTuyf4yOq0+zLr+Vui6gC9vqswgrnRvH0BxGi1Abr7X92
Fek8R2G+DLa/nq0s/nmxSxrsxUUn3wkEvvGsRs06sbBR74IwfaQE8k8ztYw6U0BW
aAxbCE1zKHxRyIarmrJbaLAGyBEwuE6oKaUtbRtNhV+9YtSRlUljiiwBj4Izch2T
19kNiQcadup+m7JEwphFxeuTUv6b7qhFXbp+vGVWh4XcIRDnSS6KFfo3TeLhNhH9
rXZey77eewstgvi3ZzY5ypCdg+ZDIK8bBgeoaipIJn4u3oB4gFwo819pSyV3Jh9q
C7LKwUieFL1H8yz0FJQe5MnRgTBpHruZAp5SdGYOupTqfL3LLnugrLBDqJZUgqK5
a3yd90w9o5dhHWjv1KoNfg5DjSqlkEtjr4Abm//2CSzRd5KZ/+hJdaIKrQKai6uS
WHNBerr5DPviVMj76UCNNfCvHWe5Wr24olig/prM0REJ9eodrDJYprr/p7WOJ/Dg
wuNMQrU+/pqb+jLbo4KzstKLB1MPthHlwonDISeyoBLjwn43/n7ZHMIPR43wZegY
yCR+M8Z45vXnkWRmk9Dz9KeJ4y5pCdVRNsePv4hWgyYmD64rrzA=
=MXe2
-----END PGP SIGNATURE-----