pint-0.5e.tar.gz - File Properties
| FTP Site: | ftp.thp.uni-duisburg.de |
| Description: | University of Duisburg |
| Country: | Germany |
| Directory: | /pub/source |
| File Name: | pint-0.5e.tar.gz |
| File Size: | 166.42 KB (170,417 Bytes) |
| Modified: | 09/Jul/1996 |
| FTP Site: | ftp.thp.uni-duisburg.de |
| Description: | University of Duisburg |
| Country: | Germany |
| Directory: | /pub/source |
| File Name: | pint-0.5e.tar.gz |
| File Size: | 166.42 KB (170,417 Bytes) |
| Modified: | 09/Jul/1996 |
