Accepted coq-math-classes 8.15.0-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-math-classes 8.15.0-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 08 Jul 2022 23:00:09 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=r11/Uk/8NKNP4lwW/UGjEmmuAnxDYSkO0vXDeqqVPVM=; b=OYv+iKa54/PlQIk8mIeijekgat H5EpZHesjmugY5jkyj9Zb4TjHY8Q+J857b9tHqHgAPkgiSgU8cc1ySx2VNBVLSUZidb7NZfZPjbfC WsTTiTgWV+xUmpK3ZrHiqvDbQFVW1P/NNThXZ2Mzk/3cwKqdWRb000Do42n5av+3C7XNcqxPQtWRe WFCYU7LKSsQ5ph+WY5wtklC5mbkbfaE6ePDr2ntVp8AaIXB6LEUrwj3sX0O8Ldnuoj2CXtFe+lIrn rz0igk1BmWx0UDIDF3HWfYn+icvcCwZxNxjajITJZlNOubB96vkiLisN3sQ+1BKczZ+ldWKCFl5jo vii1lIUg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9wxF-0007YL-89@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----