server/derived/Version.m3


MODULE Version;

BEGIN
  Name := "2012-08-26 03:55:21";
  Target := "AMD64_LINUX";
END Version.

interface Version is in: