set(SIMGRID_VERSION_MAJOR "3")
set(SIMGRID_VERSION_MINOR "13")
set(SIMGRID_VERSION_PATCH "0")
-set(SIMGRID_VERSION_EXTRA "-devel") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_EXTRA "") # Extra words to add to version string (e.g. -rc1)
set(SIMGRID_VERSION_DATE "2016") # Year for copyright information
-SimGrid (3.13) UNRELEASED; urgency=low
+SimGrid (3.13) stable; urgency=low
The Half Release, a.k.a. the Zealous Easter Trim.
* ongoing process to cleanly separate the model-checking algorithms
from the code model-checking support.
- -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+ -- Wed Apr 27 21:00:53 CEST 2016 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
SimGrid (3.12) stable; urgency=low
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |_ \
\ V / __/ | \__ \ | (_) | | | | ___) || |___) |
\_/ \___|_| |___/_|\___/|_| |_| |____(_)_|____/
+ Apr 27 2016
The Half Release, a.k.a. the Zealous Easter Trim.