Accepted aac-tactics 8.15.1-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted aac-tactics 8.15.1-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 17 Apr 2022 12:18:48 +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=5YCPLqh751CUZK07mbvyX4yXqavhEo3hUv1QWy+WvXg=; b=SoVCVIyACIf6LAEqtacr7QIr88 BTF7wcgGDCTNuJDK3sb5YdnShAIUSdtU9yxc8ZB5VusGmLtTON2xhlHbtwF8AW/5Vaae8cTDVFAwh rlk3r8cfDtNEkZhapn7h8ZtR2t7ocruU2yTZFB68RXw7hXlX47dqOkoJt7KNxfYcAjJb+RdKwqrm5 3Q/dBd9MXbyiNRLs4EhqsA+3pLhAkR+xR+7x5C8i8mqJOMpF9CdrGJJ3Wv4p8GvgbIl9xzVwm2Q2L ZvWFg5vPxEkrR6KtQyOo6o4vYfMaSwtF8Q24erKmPLtUCnNkuJhipngseBMRK+hpE9YduDNQ+ME8u XOMDK0zw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ng3rc-000Fdg-47@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 17 Apr 2022 13:55:57 +0200
Source: aac-tactics
Architecture: source
Version: 8.15.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
aac-tactics (8.15.1-3) unstable; urgency=medium
.
* Change the libcoq package to Architecture: any.
Checksums-Sha1:
12f2ab201e3c410c8834f450a90c4fee32e0578e 2205 aac-tactics_8.15.1-3.dsc
07a8a09db89028d02c5bd1a8d3d1bf337df1ee78 3740 aac-tactics_8.15.1-3.debian.tar.xz
4536ccb7a026b9d127e6894b2de5696c0b2c442b 6703 aac-tactics_8.15.1-3_source.buildinfo
Checksums-Sha256:
8f176b9f9dc20ec9ef630d9711fda5d9cba66882a7dca8d6d4553604dde77f36 2205 aac-tactics_8.15.1-3.dsc
eac480134c6f136e05028ed91729179b40017c3dbe264447acfc9814c82e734b 3740 aac-tactics_8.15.1-3.debian.tar.xz
e38ef5af9f009d6f21cf8c164f0a844c0cb4ce8bc19488f6fc04f9a89a0aa8e3 6703 aac-tactics_8.15.1-3_source.buildinfo
Files:
c2490639e786421a6d77128cf8c03494 2205 math optional aac-tactics_8.15.1-3.dsc
bd80959de160c9eb359b027f56f0569e 3740 math optional aac-tactics_8.15.1-3.debian.tar.xz
1ad12cfdea5ea35131ee6a3ce0b42717 6703 math optional aac-tactics_8.15.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJcAH8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRloUP/2VwalgRA/Z2VqFsrWA9jO9IdsZvhMOR
iWp1hogAeHZT/ExNr6vbZcEausgwtLEieAnEB7fVFep/MRedw+4814DXCbU7fTEl
io2/NJCHDsTEFI6XwOyFyP9rV7OOELQSRYB5618YGp+qfoM9ZDDixE4QAqP8YfdC
7uvoy0q1TFZNN4N8vI/Rb7TcLIKib3Bd+n0V2veQaht3a/MozrJuOeW8sdYF2DVL
5SOUR+WOOd8krphhAC1jV6TUd1f1Yh8wSYjyXEWEXUKFM4gr7rJUTKAvJooIZHnk
iKjOw5Y8LKHaYyo8fNr5xVa5LEqgL6yPdDL9Vq+NTd3FE+P/5l6qs8JHsT8JLa5s
VHKfN3D3wwreUtgu4eEO+wfWja5Ii0hg4CLvTiLCoFy62ilF3POViFGYVjU1k9EX
gmGSE/SCGdrCfx0HanCQsPmQNEH0LksPoO0Xc8Z36napliyjefFXLTcsbLLiBfAz
+DBKZpT/PhaAhYokmlv6j/IH5Y2SvteR+XgW9zKDI/rYWJBT5Bp6BtjHsnOmiOUI
K2ho5NN9wBue0ozXUGpMYwTUcgQzgSIofUwucGR4e8XmyqB15Ip/SvLqzwftrxAv
Or1K7+p1IC0Azd8mxR6xcD0zX5pGqGzAYRgdGKR1ZTQwus1HnkRDSX9XgkiUiS58
RGXhDHmKsI03
=uObp
-----END PGP SIGNATURE-----