Accepted mathcomp-algebra-tactics 1.0.0-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-algebra-tactics 1.0.0-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 26 Oct 2022 09:21:04 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: mathcomp-algebra-tactics_1.0.0-7_source.changes
- Debian-source: mathcomp-algebra-tactics
- Debian-suite: unstable
- Debian-version: 1.0.0-7
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=ydVNrxfQQCFluW5f2BAJPm4st0AxHw6Zs+ILnJGQOhU=; b=q5egI+gWQjikkIV0B3q/sgfygd X57IkU0dJw1GnhHG7w3utirZzXyB4XXagVGnY2zMVo9aCwoRWv9IA2bBc2SGKwOtKfnr/bZPrTgC3 Fo578ulqRc1sldhWzRhTcLycmI7aWXwSf/OSVPqZnPIllu9iAltdD49MUfTDCn8j/u9C8j29U/Qui A2kGB12+A/eXfnyzpq6F7BmGvOD4ssjFQYstJZPXi3ZxZO/EkB82tSg718PHUtNB76u5+NwBdUKGz RqsjwM80SqbNDZ0pJh9UZTOJjnmISZZueV8pDZOcqklfmy3CD+bteTI9WRlqLkuJ242Oh3pcy368Y OknUHPXw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oncau-00DboQ-C1@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 26 Oct 2022 08:57:56 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-algebra-tactics (1.0.0-7) unstable; urgency=medium
.
* Rebuild to cope with new elpi.
Checksums-Sha1:
3b7f8875b6d7d84771a0b1e3fddce03b4cfa76d8 2282 mathcomp-algebra-tactics_1.0.0-7.dsc
1d4f7d9e765cbb2ef294ed5a6b951ec4049e51d6 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
e17653fd3a7418dfd9530b6316f814ae70e8c05b 8243 mathcomp-algebra-tactics_1.0.0-7_source.buildinfo
Checksums-Sha256:
6f3dde7b221f19bc8b9ab2bc1fd57625386dd1965833242bb6569c2584468f30 2282 mathcomp-algebra-tactics_1.0.0-7.dsc
c05adeea4f9c0b45b7272098814a76186316e24d98ddf02c729cd41559a68576 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
1f6db4a42b52b151482d9a7ca9c01525219df35a0a219c6423b31d848fc35ce5 8243 mathcomp-algebra-tactics_1.0.0-7_source.buildinfo
Files:
40988733ef9a38cac4ff8c482744dd96 2282 ocaml optional mathcomp-algebra-tactics_1.0.0-7.dsc
a0e3d0ec52cddfc0cbd6031749658cd7 8656 ocaml optional mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
c86494c693451a395cc621bc15794de7 8243 ocaml optional mathcomp-algebra-tactics_1.0.0-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2ogSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7TAP/R0jUh3ZuPEQTbox1MgvzpZFpa+oN+p5
WGuHNCPuxVW1NApGbvpr7capUIKWZ/2dOA1DLj1cesNm0nfOs4dJtBRsBdsQO8vY
oVDyCoxuGvFzxEOFtVkBMz12RIGlhkEz6HuzvGFP0unLH+GTlBFBqSr4Ahy25kDY
tYtc8BRKPOKO+tKpk/AFY5Wtennkvg5YOR0nXEptsLSvLt1JyJw5xISpPFq9Em8L
T0d3UUC9xR5TNhsyvMhyG0WdYEi9DbM0zi2PtLjBGU+e3GI9rJ7qtZEUg//efZTD
qItL9HTHo8hSTZ8HJlfiAGHdtHix3ynY53t99PeF22OlKVvkvDxDwH6imqYWIvuN
rcyKtYJ6DHr3daQfrggc89hbbbMkpdKa1goLb0QMeqIigZuFmvcLxjGULBj++lJ/
4ynxnB9Pm76yy5XEjBOZ9bcpGcSTeRsPJf3Ck8zw3VFFC0nSE6yKAXgP0LWDjFys
eSkDu/WbSY0gGHw1OXjJjfeE4WKX3LEs0huPVtSlXo7++6pegjRtpYLHtsK35rb7
+NG3Knq5VsPWTbmf0g51LOjScxjaGUY8yp9Pyft7Yq+KvwoQQf2wxrCBRhT3O/lz
/R8PERUG4ZQuAiKth5pRfxPKaULCviKoY5VQy7ltJjCRjUgB91E0FfPi0JJlj+NL
/jhCiT38BKpH
=cApP
-----END PGP SIGNATURE-----