1. Home
  2. petersen

Petersen's Projects

petersen/idris2

Idris 2 is a purely functional programming language with first class types. https://www.idris-lang.org/
  • EPEL 8 : aarch64, 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/broot

New file manager written in rust
  • Fedora 40 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/fedora-tools

Various tools for Fedora developers pdc client
  • Fedora 40 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/urweb

Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict. Ur supports a powerful kind of metaprogramming based on row types. Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense.
  • EPEL 7 : x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/dhall

The Dhall configuration language

petersen/pagure-cli

pagure-cli is now packaged in Fedora
  • EPEL 7 : x86_64

petersen/ghc-8.6.5

GHC 8.6.5 and cabal-install 2.4.1.0
  • EPEL 7 : ppc64le, x86_64

petersen/pkgtreediff

Tool to compare distro package directories
  • EPEL 7 : ppc64le, x86_64
  • openSUSE Tumbleweed : i586, ppc64le, x86_64

petersen/ghc-8.4.4

ghc-8.4.4 and cabal-install-2.2.0.0 for EPEL7
  • EPEL 7 : ppc64le, x86_64

petersen/zsync

(based on ngompa/zsync)
  • EPEL 7 : ppc64le, x86_64
  • Fedora 40 : i386, ppc64le, x86_64
  • Fedora 41 : i386, ppc64le, x86_64
  • Fedora 42 : i386, ppc64le, x86_64
  • Fedora rawhide : i386, ppc64le, x86_64

News - Read All

Task Queue

0 Build Batches 0 Importing 1 Pending 0 Starting 25 Running

Recent Builds - View All

spirv-llvm-translator

Project: nikic/i686-test-2

Build: 9017174

State: succeeded

Finished: 5 minutes ago

protonup-qt

Project: apicalshark/ProtonUp-Qt

Build: 9017175

State: succeeded

Finished: 5 minutes ago

neochat

Project: solopasha/kde-gear-unstable

Build: 9017164

State: succeeded

Finished: 12 minutes ago

wezterm-nightly

Project: wezfurlong/wezterm-nightly

Build: 9017170

State: succeeded

Finished: 12 minutes ago