-----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-----
Attachment:
pgplVoXqJVjKk.pgp
Description: PGP signature