1. Home
  2. petersen

Petersen's Projects

petersen/nix

Note that nix is already packaged now in Fedora (also in epel10) The repo may contain experimental builds for testing from time to time. If you don't want to test these please use the official Fedora package builds instead. The Purely Functional Package Manager: https://github.com/NixOS/nix Note: the current epel9 package here does not work well - help wanted (there is no official epel9 build in fedora)
  • EPEL 10 : aarch64, x86_64
  • EPEL 8 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora rawhide : aarch64, 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 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora 44 : 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 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora 44 : 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 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora 44 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/test-f44-haskell-upgrade

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

petersen/gsh

Generative Shell: https://github.com/atinylittleshell/gsh
  • EPEL 10 : x86_64
  • EPEL 9 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora 44 : x86_64
  • Fedora rawhide : x86_64

petersen/nickel

Nickel configuration language https://nickel-lang.org/
  • EPEL 10 : x86_64
  • EPEL 9 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora 44 : x86_64
  • Fedora rawhide : x86_64

petersen/amber-lang

Amber language compiles to Bash
  • EPEL 10 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora 44 : 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 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 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 42 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora 44 : 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 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora 44 : 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 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 42 : aarch64, ppc64le, s390x, x86_64
  • Fedora 43 : aarch64, ppc64le, s390x, x86_64
  • Fedora 44 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

News - Read All

Task Queue

2 Build Batches 4 Importing 192 Pending 4 Starting 68 Running

Recent Builds - View All

python-itk-elastix

Project: @copr/PyPI

Build: 10114156

State: failed

Finished: 40 seconds ago

python-dnastack-client-library

Project: @copr/PyPI

Build: 10114161

State: failed

Finished: 41 seconds ago

Project: packit/cockpit-project-starter-kit-1356

Build: 10114142

State: failed

Finished: 46 seconds ago

foreman-release

Project: @theforeman/foreman-3.18-staging-scratch-466c2b4e-af1a-5910-95f9-85eb21365665

Build: 10114141

State: succeeded

Finished: 48 seconds ago