stable

Agda-2.5.2-9.fc27 and ghc-gitrev-1.3.1-9.fc27

FEDORA-2017-e0a61ae743 created by petersen 7 years ago for Fedora 27

Update gitrev to 1.3.1 in a new separate package

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2017-e0a61ae743

This update has been submitted for testing by petersen.

7 years ago

petersen edited this update.

New build(s):

  • ghc-gitrev-1.3.1-9.fc27

Karma has been reset.

7 years ago

petersen edited this update.

7 years ago

This update has been pushed to testing.

7 years ago

petersen edited this update.

New build(s):

  • Agda-2.5.2-9.fc27

Removed build(s):

  • Agda-2.5.2-8.fc27

Karma has been reset.

7 years ago

This update has been submitted for testing by petersen.

7 years ago

petersen edited this update.

7 years ago

This update has been pushed to testing.

7 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

7 years ago

This update has been submitted for batched by petersen.

7 years ago

This update has been submitted for stable by bodhi.

7 years ago

This update has been pushed to stable.

7 years ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
7 years ago
in testing
7 years ago
in stable
7 years ago
modified
7 years ago
BZ#1511680 Please update to ghc-gitrev-1.3.1
0
0
BZ#1511751 Review Request: ghc-gitrev - Compile git revision info into Haskell projects
0
0

Automated Test Results