1. Home
  2. petersen

Petersen's Projects

petersen/fbrnch

Deprecated please install directly from Fedora
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/stack2

NOTE this is now obsolete for F32+ which already includes stack 2

petersen/cabal-install

Haskell package manager Upstream Hackage page
  • Epel for CentOS 7 : x86_64
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/ghc-8.6.5

GHC 8.6.5 for EPEL7 ghc-8.6.5 is part of the ghc:8.6 module stream for Fedora 28 and newer. If you want to use ghc:8.6 as default in Copr you can use the repo https://petersen.fedorapeople.org/ghc-8.6-default/ to do that.
  • Epel for CentOS 7 : x86_64

petersen/souffle

Soufflé is a logic programming language inspired by Datalog.
  • Epel for CentOS 8 : aarch64, x86_64
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/ion-shell

https://github.com/redox-os/ion "Ion is a modern system shell that features a simple, yet powerful, syntax. It is written entirely in Rust, which greatly increases the overall quality and security of the shell. It also offers a level of performance that exceeds that of Dash, when taking advantage of Ion's features. While it is developed alongside, and primarily for, RedoxOS, it is a fully capable on other *nix platforms."
  • Fedora rawhide : x86_64

petersen/idris2

Idris 2 is a purely functional programming language with first class types. https://www.idris-lang.org/
  • Epel for CentOS 8 : x86_64
  • Fedora 33 : x86_64
  • Fedora 34 : x86_64
  • Fedora rawhide : x86_64

petersen/rhbzquery

rhbzquery is now packaged in Fedora
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/broot

New file manager written in rust
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/dhall-f32

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

petersen/fedora-tools

Various tools for Fedora developers pdc client
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/stack-2.3

This is obsolete since Fedora 33

petersen/stack-1.9

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Epel for CentOS 7 : 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 for CentOS 7 : x86_64
  • Fedora 33 : aarch64, x86_64
  • Fedora 34 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

News - Read All

Task Queue

0 Build Batches 0 Importing 0 Pending 0 Starting 3 Running

Recent Builds - View All

pipewire

Project: whot/wireplumber

Build: 2256355

State: succeeded

Finished: 6 minutes ago

elementary-greeter

Project: decathorpe/elementary-nightly

Build: 2256354

State: failed

Finished: 13 minutes ago

kernel-xanmod-edge

Project: rmnscnce/kernel-xanmod

Build: 2256287

State: succeeded

Finished: 22 minutes ago

kernel-xanmod-exptl

Project: rmnscnce/kernel-xanmod

Build: 2256290

State: succeeded

Finished: 26 minutes ago