1. Home
  2. petersen

Petersen's Projects

petersen/cabal-install-1.18

cabal-install 1.18. The ghc-7.8.4 copr also contains cabal-install-1.18.
  • EPEL 7 : x86_64

petersen/ghc-7.8.4

ghc-7.8.4 and cabal-install-1.18.
  • EPEL 7 : ppc64le, x86_64

petersen/idris

Latest version of idris built using cabal sandbox to pull in latest dependencies. Note idris is also in Fedora but the version there tends to lag because of missing dependencies. Idris is a dependently-typed functional programming language: http://www.idris-lang.org/ See https://github.com/fedora-haskell/idris for the package source.
  • EPEL 7 : ppc64le, x86_64

petersen/pandoc

Latest Pandoc with Haskell libraries statically linked for portability. Older versions of pandoc are included in Fedora, EPEL, and CRB 8. Bugs or PRs to github
  • EPEL 7 : ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/cabal-install

Haskell package manager: currently version 3.10.2 Upstream Hackage page
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

News - Read All

Task Queue

1 Build Batches 0 Importing 5 Pending 0 Starting 70 Running

Recent Builds - View All

aubio

Project: psimovec/openblas-0.3.23

Build: 8433005

State: failed

Finished: 2 minutes ago

powerdevil

Project: solopasha/plasma-unstable

Build: 8434076

State: succeeded

Finished: 3 minutes ago

buildtag

Project: @copr/copr-ping

Build: 8434084

State: succeeded

Finished: 4 minutes ago

dj64

Project: stsp/dosemu2

Build: 8434083

State: succeeded

Finished: 4 minutes ago