Description of problem: maxima not works after update to sbcl-1.0.35-3.fc12 Version-Release number of selected component (if applicable): maxima-5.20.1-3.fc12.i686 Steps to Reproduce: 1. Start maxmia Actual results: fatal error encountered in SBCL pid 4627(tid 3084895936): can't load .core for different runtime, sorry Additional info: maxima works after downgrading to sbcl-1.0.35-1.fc12
pvs-sbcl-4.2-4.20100126svn.fc12,maxima-5.20.1-4.fc12,sbcl-1.0.38-2.fc12 has been submitted as an update for Fedora 12. http://admin.fedoraproject.org/updates/pvs-sbcl-4.2-4.20100126svn.fc12,maxima-5.20.1-4.fc12,sbcl-1.0.38-2.fc12
pvs-sbcl-4.2-4.20100126svn.fc12, maxima-5.20.1-4.fc12, sbcl-1.0.38-2.fc12, wxMaxima-0.8.5-1.fc12 has been pushed to the Fedora 12 testing repository. If problems still persist, please make note of it in this bug report. If you want to test the update, you can install it with su -c 'yum --enablerepo=updates-testing update pvs-sbcl maxima sbcl wxMaxima'. You can provide feedback for this update here: http://admin.fedoraproject.org/updates/wxMaxima-0.8.5-1.fc12,pvs-sbcl-4.2-4.20100126svn.fc12,maxima-5.20.1-4.fc12,sbcl-1.0.38-2.fc12
(In reply to comment #2) > pvs-sbcl-4.2-4.20100126svn.fc12, maxima-5.20.1-4.fc12, sbcl-1.0.38-2.fc12, > wxMaxima-0.8.5-1.fc12 has been pushed to the Fedora 12 testing repository. If > problems still persist, please make note of it in this bug report. > If you want to test the update, you can install it with > su -c 'yum --enablerepo=updates-testing update pvs-sbcl maxima sbcl wxMaxima'. > You can provide feedback for this update here: > http://admin.fedoraproject.org/updates/wxMaxima-0.8.5-1.fc12,pvs-sbcl-4.2-4.20100126svn.fc12,maxima-5.20.1-4.fc12,sbcl-1.0.38-2.fc12 This works for me, but I should also check that can run, maxima-gui without the same issue. But am unable to due to dependencies.
I encountered the same bug. Revised packages in updates-testing work for me. Thanks for the fix!
pvs-sbcl-4.2-4.20100126svn.fc12, maxima-5.20.1-4.fc12, sbcl-1.0.38-2.fc12, wxMaxima-0.8.5-1.fc12 has been pushed to the Fedora 12 stable repository. If problems still persist, please make note of it in this bug report.