Repositories list

• podenv

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• lean4

  Public
  Fedora package

  00 forks•11 star•00 issues•00 pull requests•Updated Mar 29, 2026Mar 29, 2026

• haskell-language-server

  Public
  Haskell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• fedora-haskell-tools

  Public
  Fedora Haskell package maintenance tools

  Haskell

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 17, 2026Feb 17, 2026

• nickel

  Public
  RPM of the Nickel configuration language

  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 3, 2026Jan 3, 2026

• MicroHs

  Public
  RPM package of Micro Haskell

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 1, 2026Jan 1, 2026

• ghcup

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 29, 2025Aug 29, 2025

• unison

  Public
  11 fork•00 stars•00 issues•00 pull requests•Updated Aug 21, 2025Aug 21, 2025

• cabal-install

  Public
  experimental cabal-install packaging for Fedora

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 29, 2025Jul 29, 2025

• elan

  Public
  RPM for Lean4 version manager

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 30, 2025May 30, 2025

• ghc-tags

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 16, 2025Mar 16, 2025

• rzk

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

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 14, 2025Mar 14, 2025

• purescript

  Public
  rpm package for fedora

  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 11, 2025Jan 11, 2025

• compare-fonts

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 11, 2024Nov 11, 2024

• hell

  Public
  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 26, 2024Oct 26, 2024

• idris2

  Public
  idris2 package for Fedora

  00 forks•11 star•00 issues•00 pull requests•Updated Sep 24, 2024Sep 24, 2024

• fedora-composes

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 9, 2024Sep 9, 2024

• roc

  Public
  roc rpm package for Fedora

  rust

  rust

  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 18, 2024Aug 18, 2024

• stack

  Public
  Makefile

  •00 forks•11 star•00 issues•00 pull requests•Updated May 31, 2024May 31, 2024

• elm

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 1, 2023Dec 1, 2023

• spago

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 30, 2023Nov 30, 2023

• pandoc-cli

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 27, 2023Sep 27, 2023

• ghc

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

  Roff

  •22 forks•44 stars•22 issues•00 pull requests•Updated Jul 29, 2023Jul 29, 2023

• koji-tool

  Public
  Install builds from koji

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 29, 2022Mar 29, 2022

• packaging-plans

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 14, 2021Aug 14, 2021

• hackage-distro-data

  Public
  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 11, 2021Aug 11, 2021

• pandoc

  Public
  pandoc with statically linked Haskell libraries

  Makefile

  •00 forks•11 star•22 issues•00 pull requests•Updated May 4, 2021May 4, 2021

• fbrnch

  Public
  fedora

  fedora

  Makefile

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 13, 2021Feb 13, 2021

• dhall

  Public
  https://dhall-lang.org

  configuration

  configuration

  Makefile

  •11 fork•11 star•00 issues•11 pull request•Updated Oct 7, 2020Oct 7, 2020

• dhall-json

  Public
  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 7, 2020Oct 7, 2020