Skip to content
@fedora-haskell

Fedora Haskell packaging

These repos are for tools and experimental packaging for use with the Fedora Copr buildsys: they don't replace the Fedora Package Git repos.

Popular repositories Loading

  1. ghc ghc Public

    Out of date: see https://src.fedoraproject.org/rpms/ghc for the latest packaging

    Roff 4 2

  2. fedora-haskell-tools fedora-haskell-tools Public

    Fedora Haskell package maintenance tools

    Haskell 1

  3. pandoc pandoc Public

    pandoc with statically linked Haskell libraries

    Makefile 1

  4. stack stack Public

    Makefile 1

  5. dhall dhall Public

    https://dhall-lang.org

    Makefile 1 1

  6. fbrnch fbrnch Public

    Makefile 1

Repositories

Showing 10 of 52 repositories
  • haskell-language-server Public
    fedora-haskell/haskell-language-server’s past year of commit activity
    Haskell 0 0 0 0 Updated Mar 30, 2025
  • ghc-tags Public
    fedora-haskell/ghc-tags’s past year of commit activity
    0 0 0 0 Updated Mar 16, 2025
  • rzk Public

    https://copr.fedorainfracloud.org/coprs/petersen/rzk

    fedora-haskell/rzk’s past year of commit activity
    0 0 0 0 Updated Mar 14, 2025
  • lean4 Public

    Fedora package

    fedora-haskell/lean4’s past year of commit activity
    1 0 0 0 Updated Mar 6, 2025
  • elan Public

    RPM for Lean4 version manager

    fedora-haskell/elan’s past year of commit activity
    Shell 0 0 0 0 Updated Mar 3, 2025
  • podenv Public
    fedora-haskell/podenv’s past year of commit activity
    0 0 0 0 Updated Feb 21, 2025
  • unison Public
    fedora-haskell/unison’s past year of commit activity
    0 0 0 0 Updated Jan 13, 2025
  • purescript Public

    rpm package for fedora

    fedora-haskell/purescript’s past year of commit activity
    0 0 0 0 Updated Jan 11, 2025
  • MicroHs Public

    RPM package of Micro Haskell

    fedora-haskell/MicroHs’s past year of commit activity
    Shell 0 0 0 0 Updated Jan 10, 2025
  • ghcup Public
    fedora-haskell/ghcup’s past year of commit activity
    0 0 0 0 Updated Jan 10, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…