4.02.0+dev0-2013-06-13

# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli