pint-0.5d.tar.gz - File Properties
| FTP Site: | ftp.thp.uni-duisburg.de |
| Description: | University of Duisburg |
| Country: | Germany |
| Directory: | /pub/source |
| File Name: | pint-0.5d.tar.gz |
| File Size: | 161.98 KB (165,872 Bytes) |
| Modified: | 11/Sep/1995 |
| FTP Site: | ftp.thp.uni-duisburg.de |
| Description: | University of Duisburg |
| Country: | Germany |
| Directory: | /pub/source |
| File Name: | pint-0.5d.tar.gz |
| File Size: | 161.98 KB (165,872 Bytes) |
| Modified: | 11/Sep/1995 |
