-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 28 Oct 2021 17:26:09 +0000 Source: acl2 Architecture: source Version: 8.4dfsg-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Closes: 987172 Changes: acl2 (8.4dfsg-1) unstable; urgency=medium . * New upstream release * Bug fix: "run-acl2 in emacs fails", thanks to florine forine (Closes: #987172). Checksums-Sha1: c08be7ef503f63e1db0ee50cbd22bae0e1863bbd 2281 acl2_8.4dfsg-1.dsc 3ed1bb68d42627e2b7e9a87d914800d9231cb122 202991839 acl2_8.4dfsg.orig.tar.gz 70810548f72923864edf5ce37dcad1934ff4e0f7 311472 acl2_8.4dfsg-1.debian.tar.xz 6c00760373f2e20f90ade6771f38a94e52d739f4 8066 acl2_8.4dfsg-1_source.buildinfo Checksums-Sha256: 71da49a91eec47506c191a5cd7d12bb9f2c6846201444fe4b332848ac7a8abeb 2281 acl2_8.4dfsg-1.dsc 1781eda71a71e856266bed96db6f92fedf465f3ca2ea83712b9bbba81ceb04b8 202991839 acl2_8.4dfsg.orig.tar.gz 30b40a666cc3a0c51bbf28dc22e15e470feb30a062aa2c049f8027943402a6a1 311472 acl2_8.4dfsg-1.debian.tar.xz 5180d3923892f6c9218e7397f7fd6edb4129e52bfa8249c4f8f61f18fa176d36 8066 acl2_8.4dfsg-1_source.buildinfo Files: cae60f80d03e2e0b211454d22e65bdb3 2281 math optional acl2_8.4dfsg-1.dsc 9468f59a924c337f622d95d7ee3d4b71 202991839 math optional acl2_8.4dfsg.orig.tar.gz ac8693347d7a6b504b7821a5bb3c4bb6 311472 math optional acl2_8.4dfsg-1.debian.tar.xz 46f13a8868dda1d667a42a23bef73e37 8066 math optional acl2_8.4dfsg-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmF634wACgkQuEXOUQ+b cU0VFBAAiua0jVpz6L1V5qH9l/928qMAjx3RLNZwTpSt3C3o4nzdlwJusv4akqTN h8qw8RyFc7UuAlLY2A+RGybLzw9hcXQdZucxtIkuKAztEanv8suHJ3PjZaehncOJ nU3j3JbLcM2uNpBXV2v7h5jL3uO6OVctJikXO/4iJWECb6EpKfVCblE1tFJIcJP4 So/2vBjGvjll5fAsDdOEsV260XbsPVsCfbQ2fwJQ621pZ6TygUO/45hXVzBWGbIV tsx+EdoNDNzZWoztrUc1QXjMvrVnZkTePEoXpUNoEl1d+7jru9MeD6Un8com4Oio Paexd7/mlekcET4xZTTxgQSY0XBxvHd++a7Tg/wTcERm7DebnhAgYhkTdB1DE4oV RNy2fThZrqjdtuOKLzuOQQtd3rqX0lCVcwRRnsH0nElwWpgWGbmlQ6lizIiGReUa sOgvrIK4EkfY9Cxs12W2TwX16osDnxHlCi791Fra4l3n6lrrIB+FkX6ZYbwNja00 iOWZXpVHemkXDnOJj9F/xWwt4hgnGA07yAtx+RbmNzAJLSlbgXQiaC5jML1FBIVb wTKlG+B3UkF3RvoS2An60vplXTPdSx7BwQ7u5JShNmoX0cCVac528u9ELe30s/B+ lg6x6MjIHsoVOtgiGJ9pbP1LbGhU9y5sUz60vA+oT2BS78tqwbQ= =9Jpa -----END PGP SIGNATURE-----
