Hi everyone.
Packages will be offline for a few days due to some bugs in the Qt GUI.
For instance, the GUI can in some cases mix up the buffers for source files criterion.tpp and dynamics.tpp, which is quite annoying to say the least.
Working on it for a 2.0.4 release soon.
