FEDORA-2016-23c83c1fa7

enhancement update in Fedora 25 for Agda, darcs, & 16 more

Status: stable 2 years ago

dependency fixes and updates for ghc-7.10.3

Comments 26

This update has been submitted for testing by petersen.

This update has been pushed to testing.

This update has been unpushed.

petersen edited this update.

New build(s):

  • ghc-rpm-macros-1.6.9-1.fc25

Removed build(s):

  • ghc-rpm-macros-1.6.8-1.fc25

This update has been submitted for testing by petersen.

This update has been pushed to testing.

petersen edited this update.

New build(s):

  • ghc-snap-core-0.9.8.0-2.fc25
  • ghc-rpm-macros-1.6.9-2.fc25
  • ghc-yaml-0.8.18.7-2.fc25

Removed build(s):

  • ghc-rpm-macros-1.6.9-1.fc25
  • ghc-yaml-0.8.18.1-1.fc25
  • ghc-snap-core-0.9.8.0-1.fc25

This update has been submitted for testing by petersen.

This update has been pushed to testing.

petersen edited this update.

New build(s):

  • haskell-platform-2016.7.10.3-3.fc25

Removed build(s):

  • haskell-platform-2016.7.10.3-2.fc25

This update has been submitted for testing by petersen.

This update has been pushed to testing.

petersen edited this update.

New build(s):

  • ghc-snap-server-0.9.5.1-1.fc25
  • ghc-happstack-server-7.4.6.2-1.fc25
  • ghc-hledger-lib-0.27.1-1.fc25
  • hledger-0.27.1-1.fc25
  • darcs-2.12.2-1.fc25
  • pandoc-1.17.0.3-2.fc25
  • ghc-aeson-pretty-0.8.2-1.fc25
  • ghc-warp-3.0.13.1-1.fc25
  • pandoc-citeproc-0.10.1.1-1.fc25
  • ghc-shelly-1.5.2-1.fc25
  • ghc-scotty-0.10.0-1.fc25
  • ghc-hakyll-4.8.3.2-1.fc25
  • ghc-boxes-0.1.4-4.fc25

This update has been submitted for testing by petersen.

This update has been pushed to testing.

petersen edited this update.

petersen edited this update.

New build(s):

  • ghc-warp-3.0.13.1-2.fc25

Removed build(s):

  • ghc-warp-3.0.13.1-1.fc25

This update has been submitted for testing by petersen.

This update has been pushed to testing.

petersen edited this update.

New build(s):

  • Agda-2.4.2.5-1.fc25

This update has been submitted for testing by petersen.

This update has been pushed to testing.

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

I filed #1383608 for the empty darcs manpage issue.

This update has been submitted for stable by petersen.

This update has been pushed to stable.

Add Comment & Feedback

Please login to add feedback.

Content Type
RPM
Status
stable
Test Gating
Submitted by
Update Type
enhancement
Update Severity
unspecified
Karma
0
stable threshold: 3
unstable threshold: -3
Autopush (karma)
Enabled
Autopush (time)
Disabled
Dates
submitted 2 years ago
in testing 2 years ago
in stable 2 years ago
modified 2 years ago

Related Bugs 5

00 #1096609
00 #1100652
00 #1153948
00 #1202162
00 #1376233

Automated Test Results