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 42 : 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 42 : 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 42 : 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 42 : 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 10 : aarch64, ppc64le, x86_64
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : 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 42 : 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 42 : 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 42 : 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 42 : x86_64
  • Fedora rawhide : x86_64

News - Read All

Task Queue

0 Build Batches 0 Importing 2 Pending 0 Starting 82 Running

Recent Builds - View All

perl-File-Path

Project: loise/NoldenOS-10-buildroot

Build: 8681655

State: succeeded

Finished: 2 minutes ago

perl-PathTools

Project: loise/NoldenOS-10-buildroot

Build: 8681654

State: succeeded

Finished: 2 minutes ago

python-aiohttp

Project: @meshtastic/platformio-epel10

Build: 8681651

State: succeeded

Finished: 3 minutes ago

perl-Getopt-Long

Project: loise/NoldenOS-10-buildroot

Build: 8681653

State: succeeded

Finished: 4 minutes ago