Accepted acl2 8.5dfsg-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted acl2 8.5dfsg-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 14 Jan 2023 01:23:56 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: acl2_8.5dfsg-4_source.changes
- Debian-source: acl2
- Debian-suite: unstable
- Debian-version: 8.5dfsg-4
- 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=qGGO1nenhqmVe/D88fealRg/xgELeVqblcN9reUo1vs=; b=mQAaGjebk7yS3CNUIbsrep1Djz gDj9OMLSJJpwYoOciODbnWKIAsjPTXkRxJSYnZq8uTqxpbkyY3t/I1ly+Zg6tPaZ36k61DamckqeW yORsWNd67FSkHYsGcZ3RBHJ48SWiS+/+L5e6LiKAyDlO4rBQQPBNP0aS5MYHdyx2Z+CDmtvRRF5KG 96u4+BfxDjtNJVltb5Yoa4GZZsP9JDpUwg1e9AAuG0TfUoXqekHucbWghEOzH6lwSOFiFWgscKcbb vZANzw+FRfAe70xWw1acNyfCOEc1WJ5RpmR/lEks/qnz0gOj+F6u2gtBq2NlrAndmsiK5bRDREj5x hf11wqXQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pGVH2-001tH0-KF@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 08 Jan 2023 17:09:23 -0500
Source: acl2
Architecture: source
Version: 8.5dfsg-4
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.5dfsg-4) unstable; urgency=medium
.
* build depend latest gcl
Checksums-Sha1:
338963ee9faab890743844ef9ea34b2d128bd044 2268 acl2_8.5dfsg-4.dsc
652e0a7e06ff804eac79560bce5e1f0817c53f50 312840 acl2_8.5dfsg-4.debian.tar.xz
216eae0b5784320799c5b382725f785167e38778 11252 acl2_8.5dfsg-4_source.buildinfo
Checksums-Sha256:
a93b7aff14c1d8bda98a66e762f05075399a55127f9d634e0e24468cd343d6ad 2268 acl2_8.5dfsg-4.dsc
e1d40f7333d53e7250d64fd63dcd8c5d8f5b6954890a574d927888d0b618f6b2 312840 acl2_8.5dfsg-4.debian.tar.xz
289573bcb041d6236137a4e385bcb1a612872eb407922d9349691a6ef8a7f389 11252 acl2_8.5dfsg-4_source.buildinfo
Files:
4bef5eade758b7f59d327acd361d3a8b 2268 math optional acl2_8.5dfsg-4.dsc
ff74df47644519b2e498f25852a018b9 312840 math optional acl2_8.5dfsg-4.debian.tar.xz
401339428acae4dd4db5f6103c0dda98 11252 math optional acl2_8.5dfsg-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmPB8OEACgkQuEXOUQ+b
cU3rVA//eUukGeNTXAVD+TqHs0kub+PeFTXtXpphG5zd5N4GGSN305rW8juhiHst
RZODhF197T/LMgXcpoTINsf2m9ea/ppCoMYHLh5bNAfxlBujN+e/0ZPGE/bZenhn
J8fj6WtxwyfMUTo4/ya0W8QNY0YZuzQ/CrMnrjzFFE9LMO4QIO1DIHmulQaNFxhN
KiFVxci8vfcgh6Poy9ozLwgFlc0p5+SrFF6zSgIhtiEI2hocjX8O1IX6YalPBKw5
IqY7dqhAaOTMgYusdRxtWruxC5RlIkN+/olw+i4YwfZ2ScepzRP3C0nrUMdbyUVI
d1Jjj/0oTae0VxOK4NczwJer+xf4vaD3grYqPBqx/Dg9iSwxkMkEsSS9DtZH3meI
CNf3Ah57O/52vYjY87kL6A9jarsI00LARboEn90gZVFSNQA0IJKU9qP09hu7Bi63
0Mwx53CHZhZ/OY0/LD0XGmSASt6Fi+aeyFs6OooNjiahUpdsIuhFlispwqnavAxC
EE6jrFUKur0w3NiCctZCy79f3ZyGEU72m6DT63SQgddijUfM30Dnj2BhFpRy6UBw
xnnGye3nbnvUz1oPc3F2n7xBAnDhJ0PS1FBxIAqmN2kFCHyOsxSx75K16gSDTtDU
9XUz0SjGUznPbmjDyWGCwVNk1kFo2mlBOxAKln1dpz9d1zMf6S0=
=4k7c
-----END PGP SIGNATURE-----