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
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
2 matches
Mail list logo
