-----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-----
