
- add version 4.0-beta to available versions - update stable version to 3.1.3 Co-authored-by: Eduardo Rothe <eduardo.rothe@epfl.ch>
- add version 4.0-beta to available versions - update stable version to 3.1.3 Co-authored-by: Eduardo Rothe <eduardo.rothe@epfl.ch>