-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 14 May 2025 08:36:42 -0400 Source: acl2 Architecture: source Version: 8.6+dfsg-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Closes: 436372 1061384 1083157 1096276 Changes: acl2 (8.6+dfsg-3) unstable; urgency=medium . * build-dep latest gcl * lintian cleanups * Bug fix: "Includes non-free RFC again", thanks to Bastian Germann (Closes: #1083157). * Bug fix: "add support for loongarch64", thanks to zhangdandan (Closes: #1061384). * Bug fix: "ftbfs with GCC-15", thanks to Matthias Klose (Closes: #1096276). * Bug fix: "not handling nostrip build option (policy 10.1) sid/i386", thanks to Julien Danjou (Closes: #436372). nostrip obsolete in favor of dh_strip/dbgsym, no longer mentioned in policy. Checksums-Sha1: acff64c8bf4865164a893976dd4d989a98f7d702 2288 acl2_8.6+dfsg-3.dsc cd8a1f21303b25b607d92dc70721a2bd26cc48df 711200 acl2_8.6+dfsg-3.debian.tar.xz 00b98809fb421bf18fb870b78fac94ce29c07b1a 7753 acl2_8.6+dfsg-3_source.buildinfo Checksums-Sha256: 03d2d39337b16ef4e42d11ff10e86fe529a49389f929dbbe81c2c8db4a3444aa 2288 acl2_8.6+dfsg-3.dsc 39613319694eb435d9933bd8fa160467bbcd0c8d8e78b8dfd421284d7b529772 711200 acl2_8.6+dfsg-3.debian.tar.xz cc4c946fc3833481cf9d54724677c56531d17284f3862c01189e960fbcc1e94c 7753 acl2_8.6+dfsg-3_source.buildinfo Files: 955e72fd7bdba67f5a75a405a4e6adb6 2288 math optional acl2_8.6+dfsg-3.dsc 07db5025e350c50aabd886f7e9c49235 711200 math optional acl2_8.6+dfsg-3.debian.tar.xz f3b19cac623f85d89926bc930196f13d 7753 math optional acl2_8.6+dfsg-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgknykACgkQuEXOUQ+b cU206BAAm561lL80pEbnchLYMEgo9vg/LakPQy8EWRZzFpjkf+JUL/Grfj92B8GW zTSavL9M9wQqIeK5wm/Ox6IZxJxmMmsraZE9kbGT8yIs+WvZUZmyZAiCpLlNqFmz XFxsrowCYfQF+gpnI2wo781/EkFkcl7pOTgnXzed6sjutjRyJDQbb42mVsYAGtND LLM4dCs9aYq4fvBtlNIbcgl+se5pUTQpY8m0cgcdEC5Odslae9VV8GVqK4CEU/SC kptCUlroMRIF5y5W2o5p1lQFclQG843Uzma1+rDhSqLqOa0xghzsxFtrTZ0oSym/ v43/NlntqrojGrkx59IuDvf3oFB3j3Uv6u/idqud2lFZ3GZTU9ywAuZk28lEHJ1g Y4Xrq2ihueFm1LIji8VILafaBpF1tN9JulFRQNob6qhmZZfOgq59NCvs5tvbND7x eeFHksb+jisiZ2IzOMGgAgiBPrbTan8yGSuuLosZlJZh/Up78uwD8PI7zC2UE6O4 rTD2ARhiA0QB+zzqJTbycuM0iEb7rVGIszbO2i1tIJISFaRmCn7yDUkjvRuqYehC Zb0Cm/CxjHxhqCnRW7lCVKD120vsC3iCQIi18wrw/MR2nmPRqMUCLl7qOe4ZKgDc lWJMdi6Lnh3D7y+mjFGqdvX3aJ/J5OaMeKthxazBO3pd09nbflg= =WqAY -----END PGP SIGNATURE-----
