Accepted acl2 8.5dfsg-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted acl2 8.5dfsg-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 30 Dec 2022 14:39:19 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: acl2_8.5dfsg-3_source.changes
- Debian-source: acl2
- Debian-suite: unstable
- Debian-version: 8.5dfsg-3
- 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=C0jJJKs/HCs2AU4eYPgW1vALCcL64xeBu/eW/68IIT8=; b=akF0tDi4AyOJjFvF3JzLMwujnX 3eW/PR/3jkXoU39p1f+FnQBc4BrscHGjb8v7dOWijxxgGzC9QzVDD6nioKEl9YsPB5Sij6fk1acrs n1ujqcl0VEhJnlyaheEPZu4SOKi+QO/fZaVoW8hYNJdd+QZ+F0H6OxYi4TNvhBXQ8RY8C1OiPjpGC RmshDcnUiKoMYzERJk4HkRuAYMhGVaySyjEf+EZmd/FDas1mqocWmP+KdsavDYdWD5pL/3afplWFd xEhYoao/uhctkre0QEPUSR5+igWqMxHaKIVU7t1LQlASb4lKvVV6F5ShxFWqxvmhT5CwOwTXGQRz3 YhKotu2w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pBGXX-00AvRO-V8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 25 Dec 2022 18:10:20 -0500
Source: acl2
Architecture: source
Version: 8.5dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.5dfsg-3) unstable; urgency=medium
.
* build depend latest gcl
Checksums-Sha1:
37d0a61ca5d80dba1f0b234781561e803d9811fe 2268 acl2_8.5dfsg-3.dsc
874f0f54494698a59c4edf2dcea3290445175310 312868 acl2_8.5dfsg-3.debian.tar.xz
f2d4c9e7fdaa7207e33a326c5a145123428ba350 11373 acl2_8.5dfsg-3_source.buildinfo
Checksums-Sha256:
dd2dce9e8a56ce3370a2c7aa3c7d356f7c07174a71864cac347cd31b1bdab411 2268 acl2_8.5dfsg-3.dsc
2cfbdf5150c8ccea338b9f26571d9fc4ca299a76643e5f054d8ac03e8de114d8 312868 acl2_8.5dfsg-3.debian.tar.xz
ffdd15f5dd9a836ab483cd6c448793a698c40e7ca957101b977b23004a75bfc2 11373 acl2_8.5dfsg-3_source.buildinfo
Files:
3494e07461ab94412c54b01c2a5abd6e 2268 math optional acl2_8.5dfsg-3.dsc
9b15a06b48927e5d923fd791cf21fa95 312868 math optional acl2_8.5dfsg-3.debian.tar.xz
90ad0037aba1ad9f7f78af073cfb96bb 11373 math optional acl2_8.5dfsg-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOo2goACgkQuEXOUQ+b
cU3jQw//fD4gPyEI3HnOvM1XPQWr/H6ZNlTfwzkv52o+gPlg9b8QpPjn6q2fFv9B
BV6evQGE2ATRqk23SdN7WigLOszqlJRSwiLq09T1sJSF12e/+3NZ2DhqZcJmZVkQ
FDIXMOL2a0rujsIBFw8fibeH295ym9q9ZkA9hci6oJ+PU/W7pWh1FZ3EtBjLDDJb
/9verPBdncaZJTtljKR5a+TlQRazV4p4LcDZSEA91dE0/r8KK0xwcyudroLERpeR
HlkujTEQ9EE5Nx6UdzBwL3oY5M50Vrxh+uESjJkFjzku2KBUCgntdNglSa1GfBPO
NBLt0lu0bLtym2tMSqM5YdSy+StiC+AB2rHsYfIYewhwln2sSlqWlSlwHefyfRWy
oJMHHqbJ3e9LJiET3tLVB9SfZTOKAj55fI2SAYVXJGZqjRZ8PCgpCfFDTJVPmtpG
ag71p8xP9brJF9lr5Thj5eq29AWhHyf6fW1+JmYhTWE1vFMOP0tXBRHhHkQq9h6o
ybsM7ZSnkuUqVB0g/ciJ/tgBvFCNaGK3J3qzvrvTH0DaPOWBLugLY4PBG1MpvONb
FCvY/QTJHvMz/LHyU7CFpAnt+5fv2bIoT6JFPyuQkgWj4ZdvlyZdOY9aDxJC+mcI
5lOn5OU6CqbCl+0X/4v8miW02PvlClUsoiqEAd59Jx7aY8BowXg=
=GjMO
-----END PGP SIGNATURE-----