Package | Summary | Distribution | Download |
Agda-stdlib-docs-1.7.3-7.fc41.noarch.html | Agda standard libraries documentation | Fedora Rawhide for x86_64 | Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm |
Agda-stdlib-docs-1.7.3-7.fc41.noarch.html | Agda standard libraries documentation | Fedora Rawhide for aarch64 | Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm |
Agda-stdlib-docs-1.7.3-7.fc41.noarch.html | Agda standard libraries documentation | Fedora Rawhide for ppc64le | Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm |
Agda-stdlib-docs-1.7.3-7.fc41.noarch.html | Agda standard libraries documentation | Fedora Rawhide for s390x | Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm |
Agda-stdlib-docs-1.7.3-5.fc40.noarch.html | Agda standard libraries documentation | Fedora 40 for x86_64 | Agda-stdlib-docs-1.7.3-5.fc40.noarch.rpm |
Agda-stdlib-docs-1.7.3-5.fc40.noarch.html | Agda standard libraries documentation | Fedora 40 for aarch64 | Agda-stdlib-docs-1.7.3-5.fc40.noarch.rpm |
Agda-stdlib-docs-1.7.3-5.fc40.noarch.html | Agda standard libraries documentation | Fedora 40 for ppc64le | Agda-stdlib-docs-1.7.3-5.fc40.noarch.rpm |
Agda-stdlib-docs-1.7.3-5.fc40.noarch.html | Agda standard libraries documentation | Fedora 40 for s390x | Agda-stdlib-docs-1.7.3-5.fc40.noarch.rpm |
Agda-stdlib-docs-1.7.2-1.fc39.noarch.html | Agda standard libraries documentation | Fedora 39 for x86_64 | Agda-stdlib-docs-1.7.2-1.fc39.noarch.rpm |
Agda-stdlib-docs-1.7.2-1.fc39.noarch.html | Agda standard libraries documentation | Fedora 39 for aarch64 | Agda-stdlib-docs-1.7.2-1.fc39.noarch.rpm |
Agda-stdlib-docs-1.7.2-1.fc39.noarch.html | Agda standard libraries documentation | Fedora 39 for ppc64le | Agda-stdlib-docs-1.7.2-1.fc39.noarch.rpm |
Agda-stdlib-docs-1.7.2-1.fc39.noarch.html | Agda standard libraries documentation | Fedora 39 for s390x | Agda-stdlib-docs-1.7.2-1.fc39.noarch.rpm |