Package | Summary | Distribution | Download |
Agda-common-2.6.4.1-47.fc41.noarch.html | Agda common files | Fedora Rawhide for x86_64 | Agda-common-2.6.4.1-47.fc41.noarch.rpm |
Agda-common-2.6.4.1-47.fc41.noarch.html | Agda common files | Fedora Rawhide for aarch64 | Agda-common-2.6.4.1-47.fc41.noarch.rpm |
Agda-common-2.6.4.1-47.fc41.noarch.html | Agda common files | Fedora Rawhide for ppc64le | Agda-common-2.6.4.1-47.fc41.noarch.rpm |
Agda-common-2.6.4.1-47.fc41.noarch.html | Agda common files | Fedora Rawhide for s390x | Agda-common-2.6.4.1-47.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-38.fc38.noarch.html | Agda common files | Fedora 38 for x86_64 | Agda-common-2.6.2.2-38.fc38.noarch.rpm |
Agda-common-2.6.2.2-38.fc38.noarch.html | Agda common files | Fedora 38 for aarch64 | Agda-common-2.6.2.2-38.fc38.noarch.rpm |
Agda-common-2.6.2.2-38.fc38.noarch.html | Agda common files | Fedora 38 for ppc64le | Agda-common-2.6.2.2-38.fc38.noarch.rpm |
Agda-common-2.6.2.2-38.fc38.noarch.html | Agda common files | Fedora 38 for s390x | Agda-common-2.6.2.2-38.fc38.noarch.rpm |
Agda-common-2.6.2.2-37.fc37.noarch.html | Agda common files | Fedora 37 for x86_64 | Agda-common-2.6.2.2-37.fc37.noarch.rpm |
Agda-common-2.6.2.2-37.fc37.noarch.html | Agda common files | Fedora 37 for aarch64 | Agda-common-2.6.2.2-37.fc37.noarch.rpm |
Agda-common-2.6.2.2-37.fc37.noarch.html | Agda common files | Fedora 37 for ppc64le | Agda-common-2.6.2.2-37.fc37.noarch.rpm |
Agda-common-2.6.2.2-37.fc37.noarch.html | Agda common files | Fedora 37 for s390x | Agda-common-2.6.2.2-37.fc37.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 |