Mantis Bug Tracker

View Revisions: Note 16533 Back to Issue ]
Summary 0007405: Illegal instruction (core dumped) when running coqtop on s390x


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker