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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build7
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
 7c410297a48fb477b07fd25f5b2f4df7a589442b 3172 coq-math-classes_8.19.0-1build7.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 abbc7ffb7f5baef28179b33d9b9fc45b500cfa8897bb917be0fdba218ddbf4c6 3172 coq-math-classes_8.19.0-1build7.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 1f93250dc40d27dad8fe59a10bb6ba77 3172 coq-math-classes_8.19.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+uYACgkQLIPbyOm9
DjcV1w/+N97nZvTTxsvIQf3panYfwgLKWM4xpRK0AWCqq09hONBAawwwWYMnTtGF
XZqf64ovlz2cl12fFNl/AzA8yzKxZ9epgfwkb2Rng1Fe45M7QetLC0czFMXIGPra
w55azcDO4vyJQ7kI4yCa4v9ehRwMVRiyvHpKQczZefcgtAd/EVEi2uAwEy9AQzB4
TiQ2qBXmCG7u6JDfmeDdwPBgKOf2HYyRf7wUi9gafUJerSBw6W/1zoGpwoyHB+dC
Ez8Kp45T/veSt32YYJK5zlqdJaxLw7/L2bqTttgJ2sF0ZomC6DMlZMJNd8AFEDjk
sAr4bVZDkmE0BDKecFqOxenMP64zoXWrWfupa1uDAiJhkQCbyX4v9+t0dYdNL3rt
lohPbSktE9TqwqFDkZEid1/cwtHAyBrErrZtfSr9ztN9lwci93DYLqCFJaiEUU3I
ufzW8eDBkn385NN5v3BAb9CziPfroo385JeZsIIeBqL+2XM044FqeczFqKW0wsRu
qftPEyVv53mrFNA6Y3DiV5PscU7PqrTozDIt7wAYh4K05QtAr8p6qg8uuLwcB6Wt
D4shukNEn3yoPbtdullqlv4gATrhhhcGQJ6BKslUL4b5AUG5Ltu35Xm2NynLl3gk
QW/xAfWp1cCWMg59Pkf4FXNob465Q2fdlVeSvllFw2G86BMgtCU=
=fVBA
-----END PGP SIGNATURE-----