A request (largely off-topic)

From: Petr Hrubis
Message: 63966
Date: 2009-05-29

Hello everyone,

does anyone happen to have the old IPATimesMetrics and/or IPATimesExt
font(s)? I'll be grateful for any help!

Best wishes,

Petr