Accepted mathcomp-algebra-tactics 1.0.0-8 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-algebra-tactics 1.0.0-8 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 10 Nov 2022 15:49:23 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: mathcomp-algebra-tactics_1.0.0-8_source.changes
- Debian-source: mathcomp-algebra-tactics
- Debian-suite: unstable
- Debian-version: 1.0.0-8
- 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=9NvU9m0MwVHrmEEEBDUnTaqkMxdWax5ZWJnJ5Q+fSe8=; b=X3x2UaoDghVpg1tsYmAvaGlhBW zkIqAd4UxGimFe4+eNO8U/CZoMa4mVHI7lpnIJ8KYFZ3i+xN7yxyfh296glhjGXfxWV0x0bLWfCPJ 6K3KRAxj59XEN1P64lSZ/vxxP7SFuJ2SJpFctyFxIiEusGEQ7quywWVMGbjDm6dYivkDKr+WYG17w 48eUTuml8MZ28EF+xcm+MUZrY7xu7V4ywmI2buVreejeF5oakvavgiTkOGqBnRcXLpntAxTO2lcjB t4wWf8uJdFwtr4N6Q0p7TafrsgokUslo1S600dCPa1Cb55o72TjG5rcWQZST56jUd9Yu53023dFwr mI9mV48Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ot9nv-00768Z-Vl@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 10 Nov 2022 16:22:08 +0100
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-8
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1023763
Changes:
mathcomp-algebra-tactics (1.0.0-8) unstable; urgency=medium
.
* Fix elpi interface mismatch (Closes: #1023763).
Checksums-Sha1:
e1431beb1e30f63b68fc0ac93fc00025e2737e36 2282 mathcomp-algebra-tactics_1.0.0-8.dsc
05c8d6e93b9d417f69211e380187a16d8a3251a8 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
a90c12b5597cb06fae0c47aaadf9884e0306b4af 8254 mathcomp-algebra-tactics_1.0.0-8_source.buildinfo
Checksums-Sha256:
427102e021b1027cbaccf7b6bc4c851272440010b42257c9303a5ae2d3255484 2282 mathcomp-algebra-tactics_1.0.0-8.dsc
8bbf9a9d85b0bb47b7c438776dd9fb3bbb9ddbfd272b133f57470e6ab933115f 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
dc4e24845fa443eaf266e4f45f4cd967d77e5fe1543ce5833cec9cf4a4ba03da 8254 mathcomp-algebra-tactics_1.0.0-8_source.buildinfo
Files:
af8d77f1539be59c3051e8a84039c06b 2282 ocaml optional mathcomp-algebra-tactics_1.0.0-8.dsc
8c77b59dcfa67e1c1e184c9dffea19bb 8704 ocaml optional mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
b5f75cc47318d4b5a532c3dca1a4affd 8254 ocaml optional mathcomp-algebra-tactics_1.0.0-8_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNtF6ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREAAP/RT8zvbhOMD/aiRdBe+lfOpEEIkEkiD6
cCzzrY6zI+QDQWyXzrHk/3VXzOId32pFKbuuLCZJ304VK053T8Xl2onFYwP8r3RC
NLiMWmNgxrltQ9cbvNAd6QtwHVVRjaTjYUnQ89syL1PZpMc4Y+OE7C9aoCfyPORW
XZ12YiWD3wmvgsFywe70KrFx5VsRCgqD80ZpyzHww+0dMOXHgnfZvouUKwLO7moW
vEwnyBge0H/s2slRE69MKWbnTG4xlZe1cGXH44MZfKbfp5s/6nQ8oTyRK0zEDElW
qKM2d2OW88w59z61oJiF+KWQh872gmJBM6XDyhdFEqKX9lC27bk8UUDjE1i3nuTM
yW2YfwVfmCjNk3rbQaRW3f4Wcj8thBVw4OoGj4248yYnaLUceGq3wGpI8TcvbdO/
gDCGEk/ZTCaXLaVpBuFOiofZ4KMy57yOIasDJ4FVkEw8z+7T7exaqTM5zYX+se2q
AkeM85dacK+yzfbUS/dc37v5KZgCNvA4wMmGPlHlNJFb2DRlNwGtW5s3FlFCjlXk
XwAmSu1hWCYQjkkPyYpb+AcyfXynoM+bukN973lmQFl9T14T2aL4SVSc4IaPU2Ce
3lEculQ9i8DkYB+jrkeQIVQtwDP7WLHJrMhhCJE65hF/YNBN1O/i+NPJJYeQeRQn
3dvFfK5WBDFP
=nShK
-----END PGP SIGNATURE-----