petersen 's space

• Overview
• My Workloads

This page layout is currently being worked on. It will look better soon.

• ghc
• ghc-rpm-macros-extra
• ghc-rpm-macros-quick
• ghc-srpm-macros
• alex
• c2hs
• cabal-install
• cabal-rpm
• cpphs
• happy
• hasktags
• hlint
• hscolour
• hwk
• ormolu
• shake
• stack
• ghc-cabal-install-devel
• ghc-cpphs-devel
• ghc-hasktags-devel
• ghc-hlint-devel
• ghc-stack-devel

• Agda
• ShellCheck
• bench
• darcs
• dhall
• dhall-json
• dl-fedora
• dnf-repo
• git-annex
• git-repair
• lsfrom
• idris
• pandoc-cli
• patat
• tart
• ghc-Agda-devel
• ghc-ShellCheck-devel
• ghc-darcs-devel
• ghc-dhall-devel
• ghc-dhall-json-devel
• ghc-idris-devel
• ghc-patat-devel
• ghc-tart-devel
• ghc-pandoc-devel
• ghc-pandoc-server-devel