Upstream software project
Agda-stdlib
Agda standard libraries
About Agda-stdlib
Agda standard libraries
This project links 4 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.
These are catalog observations, not a guarantee of installation, compatibility, or upstream support.
Project pictures and package coverage
Project identity
- Project
- Agda-stdlib
- Publisher
- Not authoritatively mapped
- Native package records
- 4
- Operating systems
- fedora-43, fedora-44
- License expression
- MIT
- Metadata completeness
- 100/100 (not a software quality rating)
- Homepage
- Visit upstream site
- Source repository
- Not reported
Source-reported description
The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.
Packages by operating system
Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.
Fedora 43
- Agda-stdlib2.3-4.fc43
Fedora 43 / Unspecified / source Agda-stdlib
Agda standard libraries
noarch43 - Agda-stdlib-docs2.3-4.fc43
Fedora 43 / Unspecified / source Agda-stdlib
Agda standard libraries documentation
noarch43
Fedora 44
- Agda-stdlib2.3-4.fc44
Fedora 44 / Unspecified / source Agda-stdlib
Agda standard libraries
noarch44 - Agda-stdlib-docs2.3-4.fc44
Fedora 44 / Unspecified / source Agda-stdlib
Agda standard libraries documentation
noarch44
Project resources and further reading
Mapping provenance
Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.
No field-level source record is published yet.