get the timestamp of a file in desired format

Hi,

I have a file say abc. I get the timestamp in following way:

ls -ltr abc | awk -F" " '{print $6,$7,$8}'

Mar 8 10:23

I need to get the timestamp as :

03-08-2007 10:23:00

Thanks
Sumeet

This is one line with perl...

perl -e '@d=localtime ((stat(shift))[9]); printf "%02d-%02d-%04d %02d:%02d:%02d\n", $d[3],$d[4]+1,$d[5]+1900,$d[2],$d[1],$d[0]' file1.txt