-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 25 Apr 2025 09:15:16 -0400
Source: acl2
Architecture: source
Version: 8.6+dfsg-1
Distribution: unstable
Urgency: high
Maintainer: Camm Maguire <
camm@debian.org>
Changed-By: Camm Maguire <
camm@debian.org>
Changes:
acl2 (8.6+dfsg-1) unstable; urgency=high
.
* New upstream release
* build depend gcl27
Checksums-Sha1:
4fc56fde58da3cf57ab99d044a8639e4aaeb4279 2286 acl2_8.6+dfsg-1.dsc
8137607590a4ba1cfc5bfb4cb0a50541abf37302 240329345 acl2_8.6+dfsg.orig.tar.gz
a3cd72cf5ecb52370b6f980b89fccd52d700e537 445216 acl2_8.6+dfsg-1.debian.tar.xz
2d1bc8808c5010b2ca79278b60c2310be3f48bd5 7663 acl2_8.6+dfsg-1_source.buildinfo Checksums-Sha256:
1b6d491e2cda04d0ace6deee54c74afaf5ea8ffdbade2555c5d49a87415e257c 2286 acl2_8.6+dfsg-1.dsc
f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz
eb00ac49edd5048f5e8e49ea0d397d03231c639b440ae5215336ac3c7ad24bf7 445216 acl2_8.6+dfsg-1.debian.tar.xz
2d70a83ecca3cb8c3ad6961d9eb145bf779427618dfa73bee47d4de4dc4510b4 7663 acl2_8.6+dfsg-1_source.buildinfo
Files:
de3d62211cb7311290320385bb102e8f 2286 math optional acl2_8.6+dfsg-1.dsc
771f71065482cd947d11ce939ed3ebe8 240329345 math optional acl2_8.6+dfsg.orig.tar.gz
c8dcd2064c8d0d0d5fdd781e2adb9dcd 445216 math optional acl2_8.6+dfsg-1.debian.tar.xz
bf1102fc64c86dfd5302d476c7237132 7663 math optional acl2_8.6+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgNSTkACgkQuEXOUQ+b cU3tFg/+Ii7dpRHuQ+8iaY3DTRtyxQ9W1YHVzAoEcj4ll5637RokGhmhX2pnbLtN R4E7x9pEJetCRy41Wx60fQrKf46z2o6afB5dLbGPSWh+gVUDk0PFz8FdKcovhjsz mi9G0U2/eDqRBxYHMNfPtLKvGvJCKnvdDcsXp3GmY92T4dzmfdsEz70kcxjCKR8k pcleNfPkhe8XDwLe/ZB+h0NjdSta1E4FF9tcLzvDkeCvO0CalatLSLj/GsgAMf5k uWF01EK03j8ingSTaizIvhKbkSsUKg5DBxXIzd0qHmW/ml3cM8TFN/39xvTvUUOs t/cYgp647tpEItSAEQr0baN+lBOmdkp048c+3NpuNWT9+BUyEMSauB3OscuZ6B2f mJ4PxNuMGhCfBTSZtTdXaAQ5xyTIw686n12Y33l/Jh7x8oDj4KpT6OWgJS4t3P/H oTrKhWTIaYdjpqHNYdcJYcjDAk3alVAoMrpwIgouxgw0c7lweRnPmSAeO3DYw/av fvPGaf+BX9TSGy6YepXApPI96Ii2ZvJnHI7krxQDoVcmF7FDBiq24sLLGo517aqJ EvXN2IVY1mF7Yv3KQw4IeyZk2ZRZBd4grkmqEKrVE6GIG94KmZIJo+LMDUCJqTa8 s/mCBYt8LgNrLwwq/h6HNn7W4DyZ0oKSOZmHiNYOeeWbqjUjzJs=
=Y5HB
-----END PGP SIGNATURE-----
--==============792161426259111723=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaA1SigAKCRCb9qggYcy5 IdIiAQCwjZtKELbPiXMDA2+IQL7cuIiji/xcM1aeqhGxvsph2QD+KrLU0jVjWKY9 CF5G2B1f8NY4o2CuYIbvNT7GCG+tLAs=XVcN
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)