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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build5
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
 2cd3050dd233113d25873e9ba20a1b888c94a194 3108 coq-math-classes_8.19.0-1build5.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 707b626fb42af8e683a6b341b79655ecd03b4086cc08356650569876fd678279 3108 coq-math-classes_8.19.0-1build5.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 c45b7871721f73893122a23f2493af3d 3108 coq-math-classes_8.19.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmav1ZsACgkQ5mx3Wuv+
bH2nIhAAitOITAdWb+OVydJFR63sg3upqu6yx7HJb8AIctfx6s8osck0/D9rpmOR
276QZCtXX8m2U4PUGhxqq/QkKK9y6vYj/CQgyFPVFefl55VuEsLIOlN3TMBdbOoS
ba/8r0YsRJeHjOsV37DVO+iNMloOS11TypWLnLr9J0dqz9V50xn/V758nF2JV3W7
oS0CEFR3qFV4MLN237ecslDnRup0OuaGYThaZ5gKbpzSitGDY3Foenso3yBqsQSV
tHdFk4tligwhKDK9n7CgMeA7AR6ukf89bYOJDRRrkSfhsq20WDCXHixd4rQrDz6Y
eUaZDB1q70ilhjl+Ic4JXOGZyj8LkhrMqVq2s4BbKwS+JBG1kTkDYl0GILepPnkG
4qOXG7g+1W+Lsfqw+cmhmRddpWs4l5C3RLo9DWL8DX712+cNag4LWA4Ba6AV7TuG
dw221otCvv5AYu2/OaO4uMbxynAH2OBugppYEtw8sdi7ru+wXU0ujVQ42OETgI02
XsCvpCyYP+4WwDh8NrrQm/4VgvT9RGWl3HbUqUB0HT6FqKBsnccTzVwo8C3402nC
0LOyfNf4t1xBkjQOrH7AXSliDEFRNO2lFefpGEuBtw6X4zD2eiVwzUCqELvRSYiO
albghRM9UehLfe95XqIr/aePNBOZNOpNFWoe1Yq5lAaIFkn5Wns=
=SDCm
-----END PGP SIGNATURE-----