1. Home
  2. Searching: petersen

Search Results petersen

petersen/vte-test

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

petersen/elan

The Lean version manager
  • EPEL 9 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/ghc-9.6.6

a f41 rawhide testing repo
  • Fedora rawhide : aarch64, x86_64

petersen/ptyxis

a new gnome terminal
  • Fedora 40 : 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 39 : aarch64, ppc64le, s390x, x86_64
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/roc

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

petersen/mdbook

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

petersen/lean4

A functional programming language and theorem prover See https://lean-lang.org/
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

News - Read All

Task Queue

1 Build Batches 0 Importing 26 Pending 0 Starting 61 Running

Recent Builds - View All