First mirror for ProM Nightly Build package repository

A first mirror has been set up for the package repository of the ProM Nightly Build. As of old, this package repository has been located at (TU/e, Eindhoven, The Netherlands), but now it can also be found at (QUT, Brisbane, Australia). As a result, users can now choose which repository to use, by … [Read more…]