Name Last modified Size Description Parent Directory - double.README 1994-03-03 02:42 9.9K double-0.2.tar.gz 1994-03-02 20:34 67K