Accepted mathcomp-algebra-tactics 0.3.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-algebra-tactics 0.3.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 16 May 2022 18:00:14 +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=zBKc7z1P1EUJz++E0f21JtM/3Z8pYgSmqUZ01aQIIo8=; b=on9ntubemfhzsGr0tcawo54w04 f5miCKQTpKxTdPnAIgBqgpMnlbDGU234cfIzEMRRjC80d6yP5Uf2EmsRQe0LpnXOx4mo2nca289d8 rZg+l2wLrqbdJLxe/uqrUj+4gVO1yFDHIFhhnfAUaOifBV0zchu+53Ma5QUc0nCBPcpbwOvc7ES8o aEOXRuqZKleH6aRwOTFwWOSBMIJJ+6AKA9rInOGaW4RqStX7G1knTFmidUl5FdU8roDbkhPaPt/CF oYrlESk+YGpCqanLJRw6b+A/X0he93Oz53EGyLFo3bY4XZKGaFQIOWesmCXFhLkJOOBT8oOPsyQVl qj7NeM+g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nqf0w-0002YC-3a@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Apr 2022 13:02:06 +0200
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: source amd64
Version: 0.3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components
Closes: 1010014
Changes:
mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010014)
Checksums-Sha1:
2e20a9f726f5d6f31c6a7eb3836e32e0232c8009 2175 mathcomp-algebra-tactics_0.3.0-1.dsc
d5d1d1a9c294947936c1eb46be782a302c7fb9b7 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
6cf56eae937ac8048eae370c1212a403755c92a7 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
d81154f7ae54490c68a49f4fbb6b4ae83b1933c2 221664 libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
d2be91734dd66569c52bf668ea4b9325a1e32932 7309 mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
Checksums-Sha256:
9a8d067b63a95ac535835094750207e6d85bc094ebcb36ab5edd47ac6e2f7c33 2175 mathcomp-algebra-tactics_0.3.0-1.dsc
5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
f5228793250180af277e97812220abbe08c9a1e4d0487fc774fb1c71fb939868 221664 libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
bdb8767f37089703644a5922bf496e25d2c2e93b7d4c7e75820f2fd791a00da7 7309 mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
Files:
2b0821cefe398ab8f82de90af082ab4a 2175 ocaml optional mathcomp-algebra-tactics_0.3.0-1.dsc
4056c4fa92303092f4f2abf40dd0d039 32700 ocaml optional mathcomp-algebra-tactics_0.3.0.orig.tar.gz
2e719a5b322066357fbc727a13bd7a50 8440 ocaml optional mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
56e413e49a5f69f298bb46493e9742ce 221664 ocaml optional libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
e1e0153527a53345e9d6ea2896f1c29f 7309 ocaml optional mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+RI4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ/wP/3eWV+NNPhFKAy5IRBP1+FFPRF/4+JXK
1LLTGhuCsOLIp+ZwJlD+OA9uS0HSTVGTd+WpQeElDFML6UTVKX+A1ZjJpuThbt4n
VmXA+G0RF89G9A7aihSh/uUpVce8PnRbt/Ifx0ZWwvr8cz0kdj+vLKSCPjKcFiao
5g8TkN/1NGJg4Gim+P/F+xJ1nSxrnAvWBBclT8WgQKyiEpI/7sw9H5tOBiXAQbUk
MwUuUV5+oB8OHuSOX7DbOPEdu9A1Mi28SUr0OYqniju5dFIp90PFYk1vjY9q/wUv
oNqgsifXTEANlB6eJALxxq075bYghDAczWt91m6t9RQ0UbeJhtS0tQWwAsO9XuIN
bsVPy55/sZtrkdvRfjXZdCYbardqUz6ex93EClGsZFsgT2jf4MQFRuX2xCUEnxNU
v7rvHOpkYoc7qBeDuAEvmOlyTgtR7A8IqXEufEbRpnOpznIecdEWRsHlBLJgQPlw
1k7LsRVYI5zLusJX+vxOpmZq1gj4MrgyGW+7+lxhytYSR4lHdGV6ZJfNi9Okst92
Y7PT9epfAHLrt7Fub4PutBuasu14qN/GriSNXlfVr8VElH8pTa2AgUZsfTteHNy5
3PNhtcYIa8MVbaobNbilpUfbdWMsWPGbpJGqcXHNqoFwa7qg7xC1F4w7YUB5zGUK
rvEfZGn2fnma
=b04z
-----END PGP SIGNATURE-----