1. Home
  2. petersen

Petersen's Projects

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 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/cabal-install

Haskell package manager: currently version 3.14.1 Upstream Hackage page
  • EPEL 10 : aarch64, ppc64le, s390x, x86_64
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora 42 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

News - Read All

Task Queue

13 Build Batches 0 Importing 84 Pending 0 Starting 43 Running

Recent Builds - View All

fedora-release

Project: mtasaka/ruby-40-01

Build: 9815399

State: succeeded

Finished: 2 minutes ago

linux-firmware

Project: danayer/linux-firmware-git

Build: 9815376

State: succeeded

Finished: 2 minutes ago

monado

Project: joviatrix/monado-git

Build: 9815391

State: succeeded

Finished: 3 minutes ago

libquotient

Project: @kdesig/kde-beta

Build: 9815397

State: succeeded

Finished: 3 minutes ago