maxima-5.42.1-10.fc31.x86_64 seems to be compiled with sbcl from Fedora 30 instead of 31.
Created attachment 1634663 [details] output of sbcl/maxima with error message; line 25 tells "fc30" instead the expected "fc31"
The problem is as follows: I have quicklisp code in ~/.sbclrc and quicklisp loads asdf from package cl-asdf-20101028-16.fc31.noarch which is compiled with sbcl...fc31. But maxima (maxima-5.42.1-10.fc31.x86_64) is a sbcl...fc30 image and can't load asdf (cl-asdf-20101028-16.fc31.noarch) because it is compiled with sbcl-...fc31. This is shown if you put (require 'asdf) in ~/.sbclrc and then run "maxima --lisp sbcl": Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) : lrmaxima debugger invoked on a SB-FASL::INVALID-FASL-VERSION in thread #<THREAD "main thread" RUNNING {10005385B3}>: #<SB-SYS:FD-STREAM for "file /usr/lib/sbcl/contrib/asdf.fasl" {100245F983}> is a fasl file compiled with SBCL 1.4.14-3.fc31, and can't be loaded into SBCL 1.4.14-2.fc30. .... To circumvent this error temporarily one can put into ~/.sbclrc (unless (find-package "maxima") ... quicklisp code and other code that might load sbcl-..31 files ... ) I think the error could be resolved, if maxima is compiled with the same sbcl version as installed by the sbcl package.
FEDORA-2019-4b6e55bc36 has been submitted as an update to Fedora 31. https://bodhi.fedoraproject.org/updates/FEDORA-2019-4b6e55bc36
maxima-5.43.0-1.fc31 has been pushed to the Fedora 31 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-4b6e55bc36
maxima-5.43.0-1.fc31 has been pushed to the Fedora 31 stable repository. If problems still persist, please make note of it in this bug report.