Petersen's Projects

petersen/cabal-install

Haskell package manager: currently version 3.10.2 Upstream Hackage page
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 38 : aarch64, ppc64le, s390x, x86_64
  • Fedora 39 : aarch64, ppc64le, s390x, x86_64
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/dnf-repo

Note dnf-repo is now packaged in Fedora so this repo is obsolete See https://github.com/juhp/dnf-repo#readme
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 38 : aarch64, ppc64le, s390x, x86_64
  • Fedora 39 : aarch64, ppc64le, s390x, x86_64
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64

petersen/haskell-language-server

Haskell LSP server built for Fedora ghc packages.
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/rpmostree-update

rpm-ostree update wrapper that compares previous update output and also outputs changelog with diff. https://github.com/juhp/rpmostree-update#readme !NB The next release will be renamed to rpmostree-tool!
  • EPEL 9 : x86_64
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/roc

A fast, friendly, functional language.
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/mdbook

Markdown book generator written in rust Upstream: https://github.com/rust-lang/mdBook
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/glibc_suppl_langpacks

Supplements: ((glibc and langpacks-XX) unless glibc-all-langpacks)
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/duc

Caching disk usage tool https://github.com/zevv/duc
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • EPEL 9 : x86_64
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/hush

A modern shell scripting language written in Rust https://github.com/hush-shell/hush
  • EPEL 9 : x86_64
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/lean4

A functional programming language and theorem prover See https://lean-lang.org/
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/elm

A functional programming language which compiles to javascript See https://elm-lang.org/
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/MicroHs

Builds of MicroHs (Micro Haskell) releases
  • EPEL 8 : aarch64, ppc64le, s390x, x86_64
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 38 : aarch64, ppc64le, s390x, x86_64
  • Fedora 39 : aarch64, ppc64le, s390x, x86_64
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/ostree-pin

Tool to update ostree deployment pin
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/mdsh

Markdown shell pre-processor
  • Centos-stream 8 : x86_64
  • Centos-stream 9 : x86_64
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64