Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 2069421 - F36FailsToInstall: Agda-stdlib
Summary: F36FailsToInstall: Agda-stdlib
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: Agda-stdlib
Version: 36
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F36FailsToInstall
TreeView+ depends on / blocked
 
Reported: 2022-03-28 21:07 UTC by Miro Hrončok
Modified: 2022-04-05 14:26 UTC (History)
1 user (show)

Fixed In Version: Agda-stdlib-1.7.1-1.fc36
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2022-04-05 14:26:32 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Miro Hrončok 2022-03-28 21:07:35 UTC 
Hello,

Please note that this comment was generated automatically. If you feel that this output has mistakes, please contact me via email (mhroncok).

Your package (Agda-stdlib) Fails To Install in Fedora 36:

can't install Agda-stdlib:
  - nothing provides Agda = 2.6.2 needed by Agda-stdlib-1.7-2.fc36.noarch
  
If you know about this problem and are planning on fixing it, please acknowledge so by setting the bug status to ASSIGNED. If you don't have time to maintain this package, consider orphaning it, so maintainers of dependent packages realize the problem.


If you don't react accordingly to the policy for FTBFS/FTI bugs (https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/), your package may be orphaned in 8+ weeks.


P.S. The data was generated solely from koji buildroot, so it might be newer than the latest compose or the content on mirrors. To reproduce, use the koji/local repo only, e.g. in mock:

    $ mock -r fedora-36-x86_64 --disablerepo='*' --enablerepo=local install Agda-stdlib


P.P.S. If this bug has been reported in the middle of upgrading multiple dependent packages, please consider using side tags: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/#updating-inter-dependent-packages

Thanks!
Comment 1 Jens Petersen 2022-03-29 03:57:54 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.)
Comment 2 Jens Petersen 2022-03-29 04:15:33 UTC 
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.
Comment 3 Fedora Update System 2022-03-29 04:16:10 UTC 
FEDORA-2022-dbf52e077f has been submitted as an update to Fedora 36. https://bodhi.fedoraproject.org/updates/FEDORA-2022-dbf52e077f
Comment 4 Fedora Update System 2022-04-05 14:26:32 UTC 
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.
Note You need to log in before you can comment on or make changes to this bug.