FEDORA-2015-6562

enhancement update in Fedora 22 for Agda, Agda-stdlib, & 18 more

Status: stable 4 years ago
  • Agda-2.4.2.2 and Agda-stdlib-0.9
  • alex-3.1.4
  • cabal-install-1.18.0.8
  • cpphs-1.18.9
  • happy-1.19.5
  • hlint-1.9.10
  • ghc-derive-2.5.22
  • ghc-haskell-src-exts-1.16.0.1
  • ghc-QuickCheck-2.7.6
  • ghc-Stream-0.4.7.2

How to install

sudo dnf upgrade --advisory=FEDORA-2015-6562

Comments 18

This update has been submitted for testing by petersen.

petersen has edited this update. New build(s): haskell-platform-2014.2.0.0.2-3.fc22.

Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/59984/steps/runtask/logs/stdio (results are informative only)

petersen has edited this update. New build(s): Agda-stdlib-0.9-1.fc22, git-annex-5.20140717-6.fc22.

Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/59987/steps/runtask/logs/stdio (results are informative only)

Taskotron: depcheck test PASSED on i386. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/59989/steps/runtask/logs/stdio (results are informative only)

Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/59989/steps/runtask/logs/stdio (results are informative only)

This update is currently being pushed to the Fedora 22 testing updates repository.

This update is currently being pushed to the Fedora 22 testing updates repository.

This update has been pushed to testing

Works for me

karma: +1

no package update issues

karma: +1

Fixes broken dependencies

karma: +1

This update has reached the stable karma threshold and will be pushed to the stable updates repository

Taskotron: upgradepath test PASSED on noarch. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/61875/steps/runtask/logs/stdio (results are informative only)

This update is currently being pushed to the Fedora 22 stable updates repository.

This update is currently being pushed to the Fedora 22 stable updates repository.

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
+3
stable threshold: 3
unstable threshold: -3
Autopush (karma)
Disabled
Autopush (time)
Disabled
Dates
submitted 4 years ago
in testing 4 years ago
in stable 4 years ago
modified 4 years ago

Related Bugs 6

00 #1062194 ghc-haskell-src-exts-1.16.0.1 is available
00 #1079503 ghc-derive-2.5.22 is available
00 #1164120 Agda-2.4.2.2 is available
00 #1180422 alex-3.1.4 is available
00 #1180439 happy-1.19.5 is available
00 #1190393 ghc-Stream-0.4.7.2 is available

Automated Test Results