| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | emacs-common-proofgeneral-3.7.1-4.fc12.src.rpm | Fedora 12 | 2030088 |
| ftp.icm.edu.pl | emacs-common-proofgeneral-3.7.1-4.fc12.src.rpm | Fedora 12 | 2030088 |
| ftp.icm.edu.pl | emacs-common-proofgeneral-3.7.1-4.fc12.src.rpm | Fedora 12 | 2030088 |
