Skip to content

@fedora-haskell Fedora Haskell packaging

Change the repository type filter

All

    Repositories list

    49 repositories

    • compare-fonts

      Public
      0•0•0•0•Updated Nov 11, 2024Nov 11, 2024

    • ghc-tags

      Public
      0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

    • hell

      Public
      Ruby
      •0•0•0•0•Updated Oct 26, 2024Oct 26, 2024

    • idris2

      Public
      idris2 package for Fedora
      0•1•0•0•Updated Sep 24, 2024Sep 24, 2024

    • ghcup

      Public
      0•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • fedora-composes

      Public
      0•0•0•0•Updated Sep 9, 2024Sep 9, 2024

    • MicroHs

      Public
      RPM package of Micro Haskell
      Shell
      •0•0•0•0•Updated Sep 7, 2024Sep 7, 2024

    • roc

      Public
      roc rpm package for Fedora
      rust
      0•0•0•0•Updated Aug 18, 2024Aug 18, 2024

    • lean4

      Public
      Fedora package
      0•1•0•0•Updated Aug 2, 2024Aug 2, 2024

    • unison

      Public
      0•0•0•0•Updated Aug 1, 2024Aug 1, 2024

    • haskell-language-server

      Public
      Haskell
      •0•0•0•0•Updated Jul 13, 2024Jul 13, 2024

    • stack

      Public
      Makefile
      •0•1•0•0•Updated May 31, 2024May 31, 2024

    • fedora-haskell-tools

      Public
      Fedora Haskell package maintenance tools
      Haskell
      •
      GNU General Public License v3.0
      •0•1•1•0•Updated May 2, 2024May 2, 2024

    • elm

      Public
      0•0•0•0•Updated Dec 1, 2023Dec 1, 2023

    • spago

      Public
      0•0•0•0•Updated Nov 30, 2023Nov 30, 2023

    • cabal-install

      Public
      experimental cabal-install packaging for Fedora
      Shell
      •0•0•0•0•Updated Nov 6, 2023Nov 6, 2023

    • pandoc-cli

      Public
      0•0•0•0•Updated Sep 27, 2023Sep 27, 2023

    • ghc

      Public
      Out of date: see https://src.fedoraproject.org/rpms/ghc for the latest packaging
      Roff
      •2•4•2•0•Updated Jul 29, 2023Jul 29, 2023

    • podenv

      Public
      0•0•0•0•Updated Aug 10, 2022Aug 10, 2022

    • koji-tool

      Public
      Install builds from koji
      0•0•0•0•Updated Mar 29, 2022Mar 29, 2022

    • packaging-plans

      Public
      0•0•0•0•Updated Aug 14, 2021Aug 14, 2021

    • hackage-distro-data

      Public
      Makefile
      •0•0•0•0•Updated Aug 11, 2021Aug 11, 2021

    • pandoc

      Public
      pandoc with statically linked Haskell libraries
      Makefile
      •0•1•2•0•Updated May 4, 2021May 4, 2021

    • fbrnch

      Public
      fedora
      Makefile
      •0•1•0•0•Updated Feb 13, 2021Feb 13, 2021

    • dhall

      Public
      https://dhall-lang.org
      configuration
      Makefile
      •1•1•0•1•Updated Oct 7, 2020Oct 7, 2020

    • dhall-json

      Public
      Makefile
      •0•0•0•0•Updated Oct 7, 2020Oct 7, 2020

    • pagure-cli

      Public
      Makefile
      •0•0•0•0•Updated Apr 6, 2020Apr 6, 2020

    • pkgtreediff

      Public
      Makefile
      •0•0•0•0•Updated Mar 13, 2020Mar 13, 2020

    • fedora-img-dl

      Public
      0•0•0•0•Updated Jun 4, 2019Jun 4, 2019

    • ShellCheck

      Public
      Makefile
      •0•0•0•0•Updated Apr 27, 2019Apr 27, 2019