Accepted acl2 8.5dfsg-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted acl2 8.5dfsg-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 22 Dec 2022 08:39:22 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: acl2_8.5dfsg-2_source.changes
- Debian-source: acl2
- Debian-suite: unstable
- Debian-version: 8.5dfsg-2
- 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=IFAidMYP+wqA7qEIGBzLXmB7unNN9wZGNpERRFx05H0=; b=W8qGd1rjLee2NnI4Nd/MKCs2rt qzXNXHtqPI8NYjc5CL9bJWcyBXFk/dUTA5klUBRyQww+dGLVlGpB4Q9ymKqQb1Fyv6YfRZuw+gaCr TUbr284LIHiKHgs69kolD8WQ42RBhIenud7yTmx/7uZdDr4gCxosUUcMGdj9fa7KLZlPqSoYvwsfO eIgbxp0i1XAzGm0BxK+yVvbPEI/SffWRNpYeKTuXsvxbP/rLyy0LfiQPgUNZGMyE4Sfbj7al+9+V9 +YcUoe8tPeCOuDkzVFdMvzHrgiUa8iKv23CiDT4vU2Ojyb0WN9OYMFtmRXOeAWpxgU3tRK9b98crD 4iDOWQWQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p8H6o-00FYXL-07@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 21 Dec 2022 10:43:39 -0500
Source: acl2
Architecture: source
Version: 8.5dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 1026795
Changes:
acl2 (8.5dfsg-2) unstable; urgency=medium
.
* Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2", thanks to Lucas Nussbaum (Closes: #1026795).
* build depend latest gcl
* remove superfluous tex-common from build-deps
Checksums-Sha1:
e56fbd9ee8d28ade12a71afd4c5944250cde9088 2268 acl2_8.5dfsg-2.dsc
791cd1375189a486587abbc2c1a31844083aeb16 312856 acl2_8.5dfsg-2.debian.tar.xz
61b0071f6c8fc312e7b71f99d7d29da88842a192 11373 acl2_8.5dfsg-2_source.buildinfo
Checksums-Sha256:
547d573ded4dd0967a976bf34bbc83ef313a6ffcf383a9c5b0734a065f04e6d3 2268 acl2_8.5dfsg-2.dsc
69865d46fe26282938550d5ef9eb0f3c6fa34aabeda5d14e662b8c4733c71952 312856 acl2_8.5dfsg-2.debian.tar.xz
d28228407fbd05657fa08854e881ba7fe20754ef7d7d6824c07f01c39bb34ee0 11373 acl2_8.5dfsg-2_source.buildinfo
Files:
247695b9c64ca6abd63279f8beb3934f 2268 math optional acl2_8.5dfsg-2.dsc
44d03e55678118c7a5303b62c05ba57a 312856 math optional acl2_8.5dfsg-2.debian.tar.xz
ed5d705f7bffd26016f5848b6a42507d 11373 math optional acl2_8.5dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOkDT8ACgkQuEXOUQ+b
cU0o5g/8CVkZ1hsrlfu0aSI61pdvL/24K296GHsSNfOq8jPdNQfubJ4PrbknoA2l
oZwdkO8LOmww1Hpsv1tFOzBRpnVeRzM0u34ZAgSNEugiznvfOVsUupZk1UxyzB61
h+zHkUcks7G+4XxTHQP2cp76nMC5m9I3F60+Fp4/yJKfWRey6i0YflD46BNUClsQ
4MzJZTVistKS+o/d3DKrNCVeoDsMW+IyZxn4zEQ5LBOegwUadSOT8PLXe4Iy6kRI
+TSUO1DSjnUcw4h4b1t0oKw5OI+SDoUsgJBR/kNNMBy8JoMGpH8gATw1NjNCy2Ln
IAR8697JSrqam6Qjf4yBGFuunaSVFjAc867BBbAG+ikwzCQ/KiS/DYxTA3ThFJHm
BLT06z+y1SZdZvaxSPmNefNYKP2Jhm/rr+FIYgHuaNhWK/D/v0fWWqnHVt4ZmNQD
jW6fX5z1VJJfYfCZqEHokqrU5qEcp7roJEB/RZYSCF2H1PzmSjQPhAiBSdMAsu9k
qpif7RjQEJ/TDliKOFGppJYuFhARVS//CuSD4iOl1nNNRrtrsMnrqsXMkINQ0ORW
GQH4lTnDmcP5OsyuHqTkNL/8KjhgnMTaoC/0FkoTsNq+7iCppUruAEBy3CGKnfe2
JNGzdsGGe7kE3kH5z3iqnsxBSLtUSFeY0zPf/LBestECEzHvNlI=
=GHT5
-----END PGP SIGNATURE-----