Your message dated Thu, 28 Oct 2021 18:03:46 +0000 with message-id <[email protected]> and subject line Bug#987172: fixed in acl2 8.4dfsg-1 has caused the Debian Bug report #987172, regarding acl2: run-acl2 in emacs fails to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 987172: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=987172 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: acl2 Version: 8.3dfsg-2 Severity: normal Dear Maintainer, M-x run-acl2 in emacs fails probably because /usr/share/emacs/site-lisp/acl2/mfm.el uses an obsolete function string-to-int. See https://stackoverflow.com/questions/52726142/emacs-26-symbol-s-function-definition-is-void-string-to-int. emacs configuration in ~/.emacs: (setq *acl2-sources-dir* "/usr/share/acl2-8.3dfsg/") (setq *acl2-interface-dir* "/usr/share/emacs/site-lisp/acl2/") (setq inferior-acl2-program "/usr/bin/acl2") -- System Information: Debian Release: bullseye/sid Architecture: amd64 (x86_64) Versions of packages acl2 depends on: ii libc6 2.31-11 ii libgmp10 2:6.2.1+dfsg-1 ii libreadline8 8.1-1 ii libx11-6 2:1.7.0-2 Versions of packages acl2 recommends: ii acl2-books 8.3dfsg-2 ii acl2-source 8.3dfsg-2 Versions of packages acl2 suggests: ii acl2-emacs 8.3dfsg-2 -- no debconf information --
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---Source: acl2 Source-Version: 8.4dfsg-1 Done: Camm Maguire <[email protected]> We believe that the bug you reported is fixed in the latest version of acl2, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Camm Maguire <[email protected]> (supplier of updated acl2 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----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 <[email protected]> Changed-By: Camm Maguire <[email protected]> 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-----
--- End Message ---
