Spec URL: http://petersen.fedorapeople.org//ghc-gitrev.spec SRPM URL: http://petersen.fedorapeople.org//ghc-gitrev-1.3.1-1.fc26.src.rpm Description: Some handy Template Haskell splices for including the current git hash and branch in the code of your project. Useful for including in panic messages, '--version' output, or diagnostic info for more informative bug reports.
This package built on koji: https://koji.fedoraproject.org/koji/taskinfo?taskID=23031526
To unbundle the package from Agda.
No issue, package accepted.
Thanks Robert-André for reviewing https://pagure.io/releng/fedora-scm-requests/issue/2947
(fedrepo-req-admin): The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-gitrev. You may commit to the branch "f27" in about 10 minutes.
Agda-2.5.2-8.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
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
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
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
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.