Copr Build System
log in | gssapi-login | sign up
  • Search by user name
  • Search by group name
  • Search by project name
  • Search by package name
  • Searching documentation
  1. Home
  2. Searching: petersen

Search Results petersen

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 6 : i386, x86_64
  • EPEL 7 : ppc64le, x86_64
  • Fedora 34 : aarch64, ppc64le, x86_64
  • Fedora 35 : aarch64, ppc64le, x86_64
  • Fedora 36 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/cabal-install

Haskell package manager: currently version 3.6 Upstream Hackage page
  • Fedora 34 : aarch64, ppc64le, s390x, x86_64
  • Fedora 35 : aarch64, ppc64le, s390x, x86_64
  • Fedora 36 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64
  • 1 ...
  • 4
  • 5
  • 6

News - Read All

Published:

Author:

Published:

Author:

Task Queue

11 Build Batches 0 Importing 3 Pending 0 Starting 62 Running Running tasks during last 24 hours:

Recent Builds - View All

Contact us

  • #fedora-buildsys @ libera.chat

Copr Project

  • Project Homepage
  • User Documentation
  • Report a Bug
  • Known Issues
  • FAQ

Site Navigation

  • Home
  • Task Queue
  • API
  • GDPR
  • RSS
  • Database Dump
  • Storage statistics

Powered by

  • Python
  • OpenStack
  • PatternFly
  • Dist Git