1. Home
  2. petersen

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

News - Read All

Task Queue

11 Build Batches 1 Importing 0 Pending 10 Starting 75 Running

Recent Builds - View All

subscription-manager-cockpit

Project: packit/cockpit-project-subscription-manager-cockpit-151

Build: 9810652

State: succeeded

Finished: 2 minutes ago

Project: packit/osbuild-image-builder-frontend-3810

Build: 9810655

State: canceled

Finished: 2 minutes ago

tmate

Project: mtasaka/rubydep-heavypkg-40-01

Build: 9810127

State: succeeded

Finished: 2 minutes ago

cockpit-image-builder

Project: packit/osbuild-image-builder-frontend-3810

Build: 9810651

State: canceled

Finished: 3 minutes ago