A helpful user noticed that I also require libgsl to build and run, and found that earlier versions of KDE and Qt worked as well. I have added this info to the list of requirements on the summary page. Thanks, Jiang!
Sorry to those who downloaded the first package I uploaded, I don't think it built. The new one, mizar-0.90.444.tar.bz2, should work better. I'm still figuring out this whole software distribution thing. :)