1. Home
  2. petersen

Petersen's Projects

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

petersen/gren

A functional programming language that compiles to JS.
  • EPEL 9 : x86_64
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora rawhide : x86_64

News - Read All

Task Queue

1 Build Batches 0 Importing 2 Pending 0 Starting 77 Running

Recent Builds - View All

fdesktop

Project: infastin/thirdparty

Build: 8434371

State: failed

Finished: 27 seconds ago

rubygem-snmp

Project: mtasaka/rubygems-ruby34-02

Build: 8434171

State: succeeded

Finished: 41 seconds ago

rubygem-sprockets-rails

Project: mtasaka/rubygems-ruby34-02

Build: 8434168

State: succeeded

Finished: 58 seconds ago

rubygem-spring

Project: mtasaka/rubygems-ruby34-02

Build: 8434170

State: succeeded

Finished: a minute ago