-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 25 Dec 2022 18:10:20 -0500 Source: acl2 Architecture: source Version: 8.5dfsg-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Changes: acl2 (8.5dfsg-3) unstable; urgency=medium . * build depend latest gcl Checksums-Sha1: 37d0a61ca5d80dba1f0b234781561e803d9811fe 2268 acl2_8.5dfsg-3.dsc 874f0f54494698a59c4edf2dcea3290445175310 312868 acl2_8.5dfsg-3.debian.tar.xz f2d4c9e7fdaa7207e33a326c5a145123428ba350 11373 acl2_8.5dfsg-3_source.buildinfo Checksums-Sha256: dd2dce9e8a56ce3370a2c7aa3c7d356f7c07174a71864cac347cd31b1bdab411 2268 acl2_8.5dfsg-3.dsc 2cfbdf5150c8ccea338b9f26571d9fc4ca299a76643e5f054d8ac03e8de114d8 312868 acl2_8.5dfsg-3.debian.tar.xz ffdd15f5dd9a836ab483cd6c448793a698c40e7ca957101b977b23004a75bfc2 11373 acl2_8.5dfsg-3_source.buildinfo Files: 3494e07461ab94412c54b01c2a5abd6e 2268 math optional acl2_8.5dfsg-3.dsc 9b15a06b48927e5d923fd791cf21fa95 312868 math optional acl2_8.5dfsg-3.debian.tar.xz 90ad0037aba1ad9f7f78af073cfb96bb 11373 math optional acl2_8.5dfsg-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOo2goACgkQuEXOUQ+b cU3jQw//fD4gPyEI3HnOvM1XPQWr/H6ZNlTfwzkv52o+gPlg9b8QpPjn6q2fFv9B BV6evQGE2ATRqk23SdN7WigLOszqlJRSwiLq09T1sJSF12e/+3NZ2DhqZcJmZVkQ FDIXMOL2a0rujsIBFw8fibeH295ym9q9ZkA9hci6oJ+PU/W7pWh1FZ3EtBjLDDJb /9verPBdncaZJTtljKR5a+TlQRazV4p4LcDZSEA91dE0/r8KK0xwcyudroLERpeR HlkujTEQ9EE5Nx6UdzBwL3oY5M50Vrxh+uESjJkFjzku2KBUCgntdNglSa1GfBPO NBLt0lu0bLtym2tMSqM5YdSy+StiC+AB2rHsYfIYewhwln2sSlqWlSlwHefyfRWy oJMHHqbJ3e9LJiET3tLVB9SfZTOKAj55fI2SAYVXJGZqjRZ8PCgpCfFDTJVPmtpG ag71p8xP9brJF9lr5Thj5eq29AWhHyf6fW1+JmYhTWE1vFMOP0tXBRHhHkQq9h6o ybsM7ZSnkuUqVB0g/ciJ/tgBvFCNaGK3J3qzvrvTH0DaPOWBLugLY4PBG1MpvONb FCvY/QTJHvMz/LHyU7CFpAnt+5fv2bIoT6JFPyuQkgWj4ZdvlyZdOY9aDxJC+mcI 5lOn5OU6CqbCl+0X/4v8miW02PvlClUsoiqEAd59Jx7aY8BowXg= =GjMO -----END PGP SIGNATURE-----
