Petersen's Projects

petersen/nix

The Purely Functional Package Manager: https://github.com/NixOS/nix There are only recent builds for fedora (and really old one for epel8) Note: the nix is now under package review for being added to fedora
  • EPEL 8 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/lean4

A functional programming language and theorem prover See https://lean-lang.org/ (Note: buildtime net access is only required (used) for the epel9 which needs to build cadical from source)
  • EPEL 10 : aarch64, ppc64le, x86_64
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/haskell-language-server

Haskell LSP server built for Fedora ghc packages.
  • EPEL 10 : aarch64, ppc64le, x86_64
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/ghcup

Haskell installer: https://www.haskell.org/ghcup Note I just packaged this for reference and do not use it myself. Please use and support the official Fedora ghcX.Y packages instead: see https://fedoraproject.org/wiki/Haskell_SIG#GHC_X.Y_packages
  • EPEL 9 : x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/test-nix-boost

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/nix-setup

*DEPRECATED in favor of https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2388768-nix/ This sets up Fedora for the nix package manager, including /nix/, which falls outside FHS. The package comes without warranties, but do report any problems.
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/cabal-install-3.14

Haskell cabal-install version 3.14
  • EPEL 10 : aarch64, ppc64le, s390x, x86_64
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora 42 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/aider-chat

Aider code assistant https://github.com/Aider-AI/aider
  • EPEL 10 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/test-ghc-i686

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 41 : i386
  • Fedora 42 : i386
  • Fedora rawhide : i386

petersen/ghc-9.6.7

NB Fedora ghc9.6 package is already updated to 9.6.7 now (still in testing) (build net access is enabled for haskell-language-server)
  • Fedora 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora 42 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/rzk

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/purescript

Purescript functional programming language that compiles to javascript See https://www.purescript.org/
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora 42 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/cabal-install-3.12

Haskell cabal-install v3.12
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/cabal-install-3.10

Haskell cabal-install version 3.10
  • EPEL 9 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64