stable

Agda-2.4.2.2-3.fc22, Agda-stdlib-0.9-1.fc22, & 18 more

FEDORA-2015-6562 created by petersen 9 years ago for Fedora 22
  • 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

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-2015-6562

This update has been submitted for testing by petersen.

9 years ago

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

9 years ago

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.

9 years ago

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.

9 years ago

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

9 years ago

This update has been pushed to testing

9 years ago
User Icon chr77 commented & provided feedback 9 years ago
karma

Works for me

User Icon kuosmanen commented & provided feedback 9 years ago
karma

no package update issues

User Icon kalev commented & provided feedback 9 years ago
karma

Fixes broken dependencies

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

9 years ago

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.

9 years ago

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

9 years ago

This update has been pushed to stable

9 years ago

Please login to add feedback.

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

Automated Test Results