set(SIMGRID_VERSION_MAJOR "3")
set(SIMGRID_VERSION_MINOR "19")
-set(SIMGRID_VERSION_PATCH "0")
-#set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_PATCH "90")
+set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
set(SIMGRID_VERSION_DATE "2018") # Year for copyright information
+SimGrid (3.20) NOT RELEASED YET (Release target: June 21. 2018 10:07 UTC)
+
+----------------------------------------------------------------------------
+
SimGrid (3.19) Released March 20 2018
The Moscovitly-cold Spring release.
+ _ _____ ____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ \ / _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ __) | | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) | / __/| |_| |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_____|\___/
+ (NOT RELEASED)
+
_ _____ _ ___
__ _____ _ __ ___(_) ___ _ __ |___ / / |/ _ \
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | (_) |
sonar.projectKey=simgrid
sonar.projectName=SimGrid
-sonar.projectVersion=3.19
+sonar.projectVersion=3.19.90
sonar.links.homepage=http://simgrid.org
sonar.links.issue=https://github.com/simgrid/simgrid/issues