1. Home
  2. petersen

Petersen's Projects

petersen/roc

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

petersen/mdbook

Markdown book generator written in rust Upstream: https://github.com/rust-lang/mdBook
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora 41 : 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 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/duc

duc is now packaged in Fedora Caching disk usage tool
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • EPEL 9 : 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 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora rawhide : x86_64

petersen/lean4

A functional programming language and theorem prover See https://lean-lang.org/ (Note: net access is only required (used) for the epel9 build which needs to build cadical from source)
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora 41 : 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 40 : aarch64, ppc64le, x86_64
  • Fedora 41 : 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 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora 41 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/ostree-pin

Tool to update ostree deployment pin
  • Fedora 40 : aarch64, x86_64
  • Fedora 41 : 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 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora rawhide : x86_64

News - Read All

Task Queue

0 Build Batches 2 Importing 16 Pending 4 Starting 69 Running

Recent Builds - View All

flightctl

Project: packit/flightctl-flightctl-801

Build: 8555783

State: succeeded

Finished: a minute ago

python-pendulum

Project: thrnciar/python-pluggy

Build: 8555788

State: succeeded

Finished: a minute ago

osbuild

Project: packit/osbuild-osbuild-1981

Build: 8555717

State: succeeded

Finished: 2 minutes ago

python-swagger-plugin-for-sphinx

Project: @copr/PyPI

Build: 8555757

State: failed

Finished: 2 minutes ago