Accepted acl2 8.5dfsg-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted acl2 8.5dfsg-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 16 Jan 2023 02:38:35 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: acl2_8.5dfsg-5_source.changes
- Debian-source: acl2
- Debian-suite: unstable
- Debian-version: 8.5dfsg-5
- 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=Lxfl/6JOq90KnQIWs83AfB25k8ajC2W8g6k9kooE3Ns=; b=U84SHOB/3BrUbgAEamm12FxN/p 1GUVZwIJvpqRCHlDzO5LUeZAhxCNCFV/SVhsmc4rwRbmWIR9su0YjCgpvEnQnBoO9nffFPO2aBO7n pdGGs/dvCs5oYiobaqJqXtwptWlr0QyQSQk9HgSzGjNkK9Z+TptuKNmHSOzvKq2arl1DCZaZGXSGd 8/+gH3HLgbAGXX33akEB5wNDcAaRj1eMm1tUFwPfnlNYECtNO5JvLRY6Juwt2jSPurrR0lfjmtaIT KzCxLdoVyobnevcUfS6JhF/1pQ/ZjSS8KrcTuWy8t7PS8RaYEugnn/4sDx+/H/Ywr4wS5aDh0ZGox V8JZkQag==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pHFON-00D5mX-My@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 15 Jan 2023 20:02:50 -0500
Source: acl2
Architecture: source
Version: 8.5dfsg-5
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.5dfsg-5) unstable; urgency=medium
.
* relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1
Checksums-Sha1:
2f73111d1dc150aca04c7279524ab371e51ac0e1 2268 acl2_8.5dfsg-5.dsc
41b11782380e7becf6a5cf1222bee0fdcac5b42e 312896 acl2_8.5dfsg-5.debian.tar.xz
355e1c80160a1006cae2220708fa239d35b098f8 10570 acl2_8.5dfsg-5_source.buildinfo
Checksums-Sha256:
3dfa419ecdde8564078f408338a8ef338f4209c476c3918c236e9bed7cc068d5 2268 acl2_8.5dfsg-5.dsc
68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008 312896 acl2_8.5dfsg-5.debian.tar.xz
4d272eaa3b994d438a4310aaf78597bc136158aa5d7f9754a190618ece9b57f3 10570 acl2_8.5dfsg-5_source.buildinfo
Files:
abce8bbf413921a3ef71aa1fb5103fe2 2268 math optional acl2_8.5dfsg-5.dsc
217b5de7bf23c4901da5c804eb348d30 312896 math optional acl2_8.5dfsg-5.debian.tar.xz
411d5a0a61116b11e7d0890727143804 10570 math optional acl2_8.5dfsg-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmPEpfoACgkQuEXOUQ+b
cU3jOBAAinB7XlgdRBq8hp7nd5C684i4AcAhPuvLlaHzeGkfpJEMAi95CjiHWd8b
EAUHw3rign029qr6urYq5JuYNTG/TZVU5v2XFNEugP08c1dJpfx1H0dvrvoh/HCl
+HVwhWm+fZFCJb7EQ75F0X7A7NkrEEJ5cWz2hDIFmm81B+Nq6iauiwCOreQuExoW
K5UD/Y/B5RQXeJBJVbWR0fU7u2eNm/GGWzSvg2iTByr+Sf97VapSrM4sF0Ob5Lya
Fv1FDYJQ0THjZ4RULZzeJTbfCwTZFv0D3iXEt9jEClaM+UKxvzG1x4DAt90UTYrA
ct+VrwlWVm+MIRdAYu9pbwH3ayVUnDFhB6PMjUWgqiIrPj8lOIK9361MeWNmkT92
d77GpJs1MKiq9uYUjRf7K6cBWcPxEDriSwdRYXVreuA9nDF5OjOocXBPKtVwxK4i
IJn647dk9dJoUk1KE4h5cLtON8OqP1/GCOn6xDlWnsqviQebfR6JjpM6PLvIkZlc
nNtlWuswFukx18KYvW/rWOAwZsS9wDgIXX0l/q1HemWOSgLQ6R3SYXNclR6LNho+
ym1VGrQ6xYYj4CvoPVLzw63Gtt1JwKorPn7EZCCLLMSzIMn9u6FsqYfxtHng789K
5XetkVDNUszBKA55vL6/++BDZv/stZO+yn91ZruG6FB8wnXT7I8=
=Ksnx
-----END PGP SIGNATURE-----