Package | Summary | Distribution | Download |
Agda-common-2.6.4.3-50.fc41.noarch.html | Agda common files | Fedora Rawhide for s390x | Agda-common-2.6.4.3-50.fc41.noarch.rpm |
Agda-common-2.6.4.3-50.fc41.noarch.html | Agda common files | Fedora Rawhide for x86_64 | Agda-common-2.6.4.3-50.fc41.noarch.rpm |
Agda-common-2.6.4.3-50.fc41.noarch.html | Agda common files | Fedora Rawhide for aarch64 | Agda-common-2.6.4.3-50.fc41.noarch.rpm |
Agda-common-2.6.4.3-50.fc41.noarch.html | Agda common files | Fedora Rawhide for ppc64le | Agda-common-2.6.4.3-50.fc41.noarch.rpm |
Agda-common-2.6.4.1-46.fc40.noarch.html | Agda common files | Fedora 40 for x86_64 | Agda-common-2.6.4.1-46.fc40.noarch.rpm |
Agda-common-2.6.4.1-46.fc40.noarch.html | Agda common files | Fedora 40 for aarch64 | Agda-common-2.6.4.1-46.fc40.noarch.rpm |
Agda-common-2.6.4.1-46.fc40.noarch.html | Agda common files | Fedora 40 for ppc64le | Agda-common-2.6.4.1-46.fc40.noarch.rpm |
Agda-common-2.6.4.1-46.fc40.noarch.html | Agda common files | Fedora 40 for s390x | Agda-common-2.6.4.1-46.fc40.noarch.rpm |
Agda-common-2.6.3-40.fc39.noarch.html | Agda common files | Fedora 39 for x86_64 | Agda-common-2.6.3-40.fc39.noarch.rpm |
Agda-common-2.6.3-40.fc39.noarch.html | Agda common files | Fedora 39 for aarch64 | Agda-common-2.6.3-40.fc39.noarch.rpm |
Agda-common-2.6.3-40.fc39.noarch.html | Agda common files | Fedora 39 for ppc64le | Agda-common-2.6.3-40.fc39.noarch.rpm |
Agda-common-2.6.3-40.fc39.noarch.html | Agda common files | Fedora 39 for s390x | Agda-common-2.6.3-40.fc39.noarch.rpm |
Agda-common-2.6.2.2-36.el9.noarch.html | Agda common files | EPEL 9 for ppc64le | Agda-common-2.6.2.2-36.el9.noarch.rpm |
Agda-common-2.6.2.2-36.el9.noarch.html | Agda common files | EPEL 9 for x86_64 | Agda-common-2.6.2.2-36.el9.noarch.rpm |
Agda-common-2.6.2.2-36.el9.noarch.html | Agda common files | EPEL 9 for aarch64 | Agda-common-2.6.2.2-36.el9.noarch.rpm |
Agda-common-2.6.2.2-36.el9.noarch.html | Agda common files | EPEL 9 for s390x | Agda-common-2.6.2.2-36.el9.noarch.rpm |