Bug 1511680 - Please update to ghc-gitrev-1.3.1
Summary: Please update to ghc-gitrev-1.3.1
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: Agda
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2017-11-09 20:44 UTC by David Shea
Modified: 2017-12-12 11:15 UTC (History)
2 users (show)

Fixed In Version: Agda-2.5.2-8.fc28 Agda-2.5.2-9.fc27
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2017-12-12 11:15:55 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description David Shea 2017-11-09 20:44:41 UTC 
Description of problem:
gitrev 1.3.1 adds the gitDescribe command, which would be handy to have.


Version-Release number of selected component (if applicable):
ghc-gitrev-0:1.2.0-7.fc27.1.x86_64
Comment 1 Jens Petersen 2017-11-10 07:11:00 UTC 
I filed a RR for gitrev: bug 1511751 btw.

I will try to update the Agda package soon.
Comment 2 Jens Petersen 2017-11-10 07:59:03 UTC 
Should be in Agda-2.5.2-8.fc28

I can backport to f27.
Comment 3 Fedora Update System 2017-11-15 03:48:49 UTC 
Agda-2.5.2-8.fc27 has been submitted as an update to Fedora 27. https://bodhi.fedoraproject.org/updates/FEDORA-2017-e0a61ae743
Comment 4 Fedora Update System 2017-11-15 23:52:41 UTC 
Agda-2.5.2-8.fc27, ghc-gitrev-1.3.1-9.fc27 has been pushed to the Fedora 27 testing repository. If problems still persist, please make note of it in this bug report.
See https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-e0a61ae743
Comment 5 Fedora Update System 2017-11-16 03:36:55 UTC 
Agda-2.5.2-9.fc27 ghc-gitrev-1.3.1-9.fc27 has been submitted as an update to Fedora 27. https://bodhi.fedoraproject.org/updates/FEDORA-2017-e0a61ae743
Comment 6 Fedora Update System 2017-11-17 18:53:33 UTC 
Agda-2.5.2-9.fc27, ghc-gitrev-1.3.1-9.fc27 has been pushed to the Fedora 27 testing repository. If problems still persist, please make note of it in this bug report.
See https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-e0a61ae743
Comment 7 Fedora Update System 2017-12-12 11:15:55 UTC 
Agda-2.5.2-9.fc27, ghc-gitrev-1.3.1-9.fc27 has been pushed to the Fedora 27 stable repository. If problems still persist, 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.