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 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 Maguirec...@maguirefamily.org
==
"The earth is but one country, and mankind its citizens." -- Baha'u'llah