Greetings, and thanks for your report! Will get to it, but likely not before the version currently waiting in new propagates into testing, after release.
Take care, florine forine <flor...@danwin1210.me> writes: > 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 -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
