SVNRevision = @REPL_REVISION_NR@
Version = @REPL_VERSION@