1. Home
  2. petersen

Petersen's Projects

petersen/vte-test

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

petersen/elan

The Lean version manager
  • EPEL 10 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/ptyxis

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

petersen/gpp

Generic (general-purpose) preprocessor https://logological.org/gpp Docs: https://files.nothingisreal.com/software/gpp/gpp.html
  • EPEL 8 : 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 rawhide : aarch64, ppc64le, s390x, x86_64

petersen/roc

A fast, friendly, functional language.
  • 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 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 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 rawhide : x86_64

petersen/hush

A modern shell scripting language written in Rust https://github.com/hush-shell/hush
  • EPEL 9 : 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: 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 rawhide : aarch64, ppc64le, x86_64

News - Read All

Task Queue

11 Build Batches 0 Importing 7 Pending 7 Starting 89 Running

Recent Builds - View All

python-kkpyutil

Project: @copr/PyPI

Build: 9250636

State: failed

Finished: a minute ago

python-cyclonedx-bom

Project: @copr/PyPI

Build: 9250627

State: failed

Finished: a minute ago

python-civics-cdf-validator

Project: @copr/PyPI

Build: 9250628

State: failed

Finished: 2 minutes ago

python3-docs

Project: @python/python3.14

Build: 9250658

State: succeeded

Finished: 2 minutes ago