-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 21 Dec 2022 10:43:39 -0500 Source: acl2 Architecture: source Version: 8.5dfsg-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Closes: 1026795 Changes: acl2 (8.5dfsg-2) unstable; urgency=medium . * Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2", thanks to Lucas Nussbaum (Closes: #1026795). * build depend latest gcl * remove superfluous tex-common from build-deps Checksums-Sha1: e56fbd9ee8d28ade12a71afd4c5944250cde9088 2268 acl2_8.5dfsg-2.dsc 791cd1375189a486587abbc2c1a31844083aeb16 312856 acl2_8.5dfsg-2.debian.tar.xz 61b0071f6c8fc312e7b71f99d7d29da88842a192 11373 acl2_8.5dfsg-2_source.buildinfo Checksums-Sha256: 547d573ded4dd0967a976bf34bbc83ef313a6ffcf383a9c5b0734a065f04e6d3 2268 acl2_8.5dfsg-2.dsc 69865d46fe26282938550d5ef9eb0f3c6fa34aabeda5d14e662b8c4733c71952 312856 acl2_8.5dfsg-2.debian.tar.xz d28228407fbd05657fa08854e881ba7fe20754ef7d7d6824c07f01c39bb34ee0 11373 acl2_8.5dfsg-2_source.buildinfo Files: 247695b9c64ca6abd63279f8beb3934f 2268 math optional acl2_8.5dfsg-2.dsc 44d03e55678118c7a5303b62c05ba57a 312856 math optional acl2_8.5dfsg-2.debian.tar.xz ed5d705f7bffd26016f5848b6a42507d 11373 math optional acl2_8.5dfsg-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOkDT8ACgkQuEXOUQ+b cU0o5g/8CVkZ1hsrlfu0aSI61pdvL/24K296GHsSNfOq8jPdNQfubJ4PrbknoA2l oZwdkO8LOmww1Hpsv1tFOzBRpnVeRzM0u34ZAgSNEugiznvfOVsUupZk1UxyzB61 h+zHkUcks7G+4XxTHQP2cp76nMC5m9I3F60+Fp4/yJKfWRey6i0YflD46BNUClsQ 4MzJZTVistKS+o/d3DKrNCVeoDsMW+IyZxn4zEQ5LBOegwUadSOT8PLXe4Iy6kRI +TSUO1DSjnUcw4h4b1t0oKw5OI+SDoUsgJBR/kNNMBy8JoMGpH8gATw1NjNCy2Ln IAR8697JSrqam6Qjf4yBGFuunaSVFjAc867BBbAG+ikwzCQ/KiS/DYxTA3ThFJHm BLT06z+y1SZdZvaxSPmNefNYKP2Jhm/rr+FIYgHuaNhWK/D/v0fWWqnHVt4ZmNQD jW6fX5z1VJJfYfCZqEHokqrU5qEcp7roJEB/RZYSCF2H1PzmSjQPhAiBSdMAsu9k qpif7RjQEJ/TDliKOFGppJYuFhARVS//CuSD4iOl1nNNRrtrsMnrqsXMkINQ0ORW GQH4lTnDmcP5OsyuHqTkNL/8KjhgnMTaoC/0FkoTsNq+7iCppUruAEBy3CGKnfe2 JNGzdsGGe7kE3kH5z3iqnsxBSLtUSFeY0zPf/LBestECEzHvNlI= =GHT5 -----END PGP SIGNATURE-----
