Release candidate 1 of MIRA 5. Note that the .tar.gz and the .zip file in the assets are "git clone" versions of the source, while the .tar.bz2 is an immediately compilable source package. Addition...