| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | ghc-microlens-platform-0.4.3.5-1.12.src.rpm | OpenSuSE | 30247 |
| ftp.icm.edu.pl | ghc-microlens-platform-0.4.3.5-1.12.src.rpm | OpenSuSE | 30247 |
| ftp.icm.edu.pl | ghc-microlens-platform-0.4.3.5-1.12.src.rpm | OpenSuSE | 30247 |
