Bug 2069421
Summary: | F36FailsToInstall: Agda-stdlib | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Miro Hrončok <mhroncok> |
Component: | Agda-stdlib | Assignee: | Jens Petersen <petersen> |
Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | unspecified | Docs Contact: | |
Priority: | unspecified | ||
Version: | 36 | CC: | petersen |
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | Unspecified | ||
OS: | Unspecified | ||
Whiteboard: | |||
Fixed In Version: | Agda-stdlib-1.7.1-1.fc36 | Doc Type: | If docs needed, set a value |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2022-04-05 14:26:32 UTC | Type: | --- |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: | |||
Bug Depends On: | |||
Bug Blocks: | 1992487 |
Description
Miro Hrončok
2022-03-28 21:07:35 UTC
This looks like a false positive to me, unless I am missing something? $ sudo dnf install Agda-stdlib : Dependencies resolved. ============================================================================================================================= Package Architecture Version Repository Size ============================================================================================================================= Installing: Agda-stdlib noarch 1.7-2.fc36 fedora 105 M Installing dependencies: Agda x86_64 2.6.2-34.fc36 fedora 7.8 M Agda-common noarch 2.6.2-34.fc36 fedora 643 k Transaction Summary ============================================================================================================================= Install 3 Packages Total download size: 114 M Installed size: 188 M Is this ok [y/N]: (Unrelated but just noting there is also an Agda update I pushed to Bodhi yesterday.) Ah okay I think I understood what happened now: anyway this should get fixed by the next updates-testing push. My bad for creating the Agda update initially without the updated Agda-stdlib. FEDORA-2022-dbf52e077f has been submitted as an update to Fedora 36. https://bodhi.fedoraproject.org/updates/FEDORA-2022-dbf52e077f FEDORA-2022-dbf52e077f has been pushed to the Fedora 36 stable repository. If problem still persists, please make note of it in this bug report. |