Index of /packages/uc/dec_alpha
Name
Last modified
Size
Description
Parent Directory
-
uc-osf4.0-v2.01.gz
1997-05-13 05:14
575K
gunzip
1994-11-29 00:00
88K
README.alpha
1997-05-12 13:19
579
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443