| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | hal-devel-0.5.13-9.fc12.i686.rpm | Fedora 12 | 40020 |
| ftp.icm.edu.pl | hal-devel-0.5.13-9.fc12.i686.rpm | Fedora 12 | 40020 |
| ftp.icm.edu.pl | hal-devel-0.5.13-9.fc12.i686.rpm | Fedora 12 | 40020 |
| ftp.icm.edu.pl | hal-devel-0.5.13-9.fc12.i686.rpm | Fedora 12 | 40020 |
