Name Last modified Size Description Parent Directory - INFO 1993-02-16 18:35 2.6K README 1993-02-16 18:36 1.3K RELEASE-3.0 1993-02-16 18:36 1.7K LEDA-3.0.tar.Z 1993-02-16 19:18 672K