@GNOME_PLATFORM@ @GNOME_MINOR@ @GNOME_MICRO@ @GNOME_DISTRIBUTOR@ @GNOME_DATE_COMMENT_START@@GNOME_DATE@@GNOME_DATE_COMMENT_END@