| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | Agda-2.6.2.2-36.el9.src.rpm | Fedora Other | 1721278 |
| ftp.icm.edu.pl | Agda-2.6.2.2-36.el9.src.rpm | Fedora Other | 1721278 |
| ftp.icm.edu.pl | Agda-2.6.2.2-36.el9.src.rpm | Fedora Other | 1721278 |
| ftp.icm.edu.pl | Agda-2.6.2.2-36.el9.src.rpm | Fedora Other | 1721278 |
| ftp.icm.edu.pl | Agda-2.6.2.2-36.el9.src.rpm | Fedora Other | 1721278 |
