#from time import asctime, localtime #for mtime, file in files: # name = file.replace(':','/') * [`name` "`asctime(localtime(mtime))`"]