-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 21 Jun 2026 11:30:55 -0400 Source: acl2 Architecture: source Version: 8.7+dfsg-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Changes: acl2 (8.7+dfsg-3) unstable; urgency=medium . * update ACL2_SNAPSHOT_INFO * add debian/acl2.sh to clean target Checksums-Sha1: 10eddc556c638d80399b4ddb30b856fe1b88001d 2288 acl2_8.7+dfsg-3.dsc 6ca6e0783720a96a9126dbd456d89d785ab4bfd1 901928 acl2_8.7+dfsg-3.debian.tar.xz 562cf2d9572cb387b6fd70bbc00b25cfffa5e61c 7835 acl2_8.7+dfsg-3_source.buildinfo Checksums-Sha256: 1b738e5d46eb385b962e74713a2153a61f18df4b5fb058b6a7ad3aad6946bd0b 2288 acl2_8.7+dfsg-3.dsc 771e8768905b50e9f6383bcd22ebd95260dfcfa2827c84bcd380978809ebb2e7 901928 acl2_8.7+dfsg-3.debian.tar.xz 9da952c6f02fe56af8ef72d3aa7fb3ea6a704088655fb6126a08addad714fc11 7835 acl2_8.7+dfsg-3_source.buildinfo Files: ad7ca8d402427084ae8354063f207600 2288 math optional acl2_8.7+dfsg-3.dsc 3c4c61bd4080fa7424f0e024be82352b 901928 math optional acl2_8.7+dfsg-3.debian.tar.xz c0905dac2b6799464e4e211f479bcde6 7835 math optional acl2_8.7+dfsg-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmpXe9MACgkQuEXOUQ+b cU3pOg/9Gx17T0bq/vXHiqrkiLBBfvpBUSywszWzFpf6bK+PzJHABdA+PMyghEK7 LYWwRrHVNFw2ZWCBG5sLbvzqvpXB4C5FgOhV/rDpD2UrrSnRbXwvFYczamx1RChq +bFDK/bTOCN75VX8SaCUPLR1QoQbJiaEXn1+o7lDOjc4tc4KFHX42ohwal932VYL 3F2B8ohnEtU34WKOfRqcGSVqY3u+Xw2gfc9duoT5bhkCXolQ225VPatoS/ijrvsy 3+fvugfCLbI+WOe9N2RD15z6eXYhjWrE5JlJfDOUsVevadYYWWWg6yfzM+f7JEIo /BBxffC8H+hpQ2aW6YcLAlTd4/ED9BX7nWg6OWnxSV358GZy2h/wTbxwG7kPNaps R/FHbrkNOpyDqo7Yx3wxZO7ZAT1Mvim/VXdl+VJDItDXbdbiZ2vIyORuOfMSefKd wZi/HfAM01032y87bb2Kz+tXPwWF67y6Rq7+KuhspeY4KOeoxCE4UdQfzv28BpD3 iZ2I05gcgbWYL4hLQl93/3q7w+5ZOLvmvOX+MaAXushvWEjr7g7p4IcM0HCaaS0S oUXpvTqK0wKS2xXuoZXkXmbVNEKezp56emc4xs9fdalZMHCjZwt88uK3OL/6uZNe b/+3gI2tsIzC3tpsoRPoJ70tFrVPt/vxdYcs8z57esC3iq76sGc= =ETK8 -----END PGP SIGNATURE-----
