Accepted:

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

Format: 1.8
Date: Fri, 08 Jul 2022 08:06:04 +0200
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: source amd64
Version: 8.15.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-math-classes - Abstract interfaces for mathematical structures for Coq Changes:
coq-math-classes (8.15.0-2) unstable; urgency=medium
.
* Complete d/copyright.
Checksums-Sha1:
3801d7e777995281bfb9c6ef42afe43b0be18485 2159 coq-math-classes_8.15.0-2.dsc
76cf277c78fd48280e515ca0a942d2261e58092b 167961 coq-math-classes_8.15.0.orig.tar.gz
693ea8825ffcf4faf25d4b25521b609b8abd67f3 2576 coq-math-classes_8.15.0-2.debian.tar.xz
a8b348912fb471792b8dbedb9d2ac9d8e7d34f06 7227 coq-math-classes_8.15.0-2_amd64.buildinfo
c5513db51e67233bc07d48e4186aeee6a6305981 2972628 libcoq-math-classes_8.15.0-2_amd64.deb
Checksums-Sha256:
0a83bd283ed510a49b9e5a70fe19bb4c06da45861c757e01efacbf61492f6404 2159 coq-math-classes_8.15.0-2.dsc
3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
31d531e543a66c68a55d6d0f58a9078cb6e99b6d94e286f562170445cdfb3d01 2576 coq-math-classes_8.15.0-2.debian.tar.xz
b1d1065211f5129be05669663998833ef70694a565162a92c5c3baac82946615 7227 coq-math-classes_8.15.0-2_amd64.buildinfo
59e387a0e58283d88f7f4dd351e76f8be6313e982c46232c4018ec86b89f364c 2972628 libcoq-math-classes_8.15.0-2_amd64.deb
Files:
7892ed23c172ca6ed35a51b0a1f2fd17 2159 ocaml optional coq-math-classes_8.15.0-2.dsc
dba7c652edd1ea63203cdd33f97fddba 167961 ocaml optional coq-math-classes_8.15.0.orig.tar.gz
5ffee46977397746a47784f40066a9ca 2576 ocaml optional coq-math-classes_8.15.0-2.debian.tar.xz
005c1e1fbf7b0cbe07b8fa630c57f6a5 7227 ocaml optional coq-math-classes_8.15.0-2_amd64.buildinfo
588211650807ca6f9f73f33c801907bc 2972628 ocaml optional libcoq-math-classes_8.15.0-2_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLHybgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRH4wP/3vJ+hO47T/hrSripFdSq1E3/xmNGvM7 mOXzTk75JGe9S8WjhCg6GB6jnSj86EJ0f6IukHiMXvCGOug0tP8ra3EJ347uxkA4 f2PuJ1Uqu2tmiYZqczFqYrG8CsVdCuvVBmntkSROBqzHl7yY0Y8T8V5hepiqtQMc gXK27q5ZElRRnqTdEyJimWYuedOjQVU6jlwdctJykCvIDRiKkKjkSflxmFOyUeUh Kv3cFFRIU1DErOfgKWsob3VWbAyiVz7Ox1lh9TQ0x78zEDWatTVEsxYMSZwQhlzN cXJoJ/bVK9LUV4AkDsepTP6MLJxxOF/6HbZP5whG6xVoBGei+AlVpWywE738uC9Y VOyIu6PnhPETj+gZ8QrQ+NrsvjHbPv9Ef5cD+2qGpeFW/zxzxQ4C6CuX7v+G//A4 bvToya29Tpu2ht1GRx4cSLFpTxLioG2yUCzyL+AHu6jNpWtVdzrQob/XAD9oJ1jX 2qi/GJjLBOlEe9bmqvyHguEuQYt7597oKCfS3KEmtZ9sepNfRusr6kUgu3/yd3Nj /uXiZ8uM4j/DrYMwLKwRj26JhaaT5DTOJ1RlAZnp9DvR+TzS5X8ACMoerFzyFNYY CmJx9/AIcLVC0X9cszglhqUtW+kwp9kB7KrmBq4glUmE+Y28yKt+0P6dmVixbfFV
9s7sBPoYdnOK
=yMda
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)