time.strptime(...) Python 1.5.2/Win32 missing ?

[Gilles Lenfant]

Where's this function???

<pythonsession>

>>> import time
>>> print time.__doc__
This module provides various functions to manipulate time values.
...
strftime() -- convert time tuple to string according to format specification
strptime() -- parse string to time tuple according to format specification
>>> atime = time.strptime('10:20:30', '%H:%M:%S')
Traceback (innermost last):
  File "<pyshell#71>", line 1, in ?
    atime = time.strptime('10:20:30', '%H:%M:%S')
AttributeError: strptime

</pythonsession>

Seems that there's no time.strptime function! Or did I miss something ?

Thanks