Petersen's Profile

petersen/fbrnch

A tool to help Fedora Packagers Note this is still beta software. While it is generally working well for me (the author) please use at your own risk. Bug reports and feedback are welcome.

• Fedora 32 : aarch64, x86_64
• 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 32 : aarch64, 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/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 32 : x86_64
• Fedora 33 : x86_64
• Fedora 34 : x86_64
• Fedora rawhide : x86_64

petersen/rhbzquery

rhbzquery is now packaged in Fedora

• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/broot

New file manager written in rust

• Fedora 32 : aarch64, x86_64
• 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.

• Fedora 32 : x86_64

petersen/fedora-tools

Various tools for Fedora developers pdc client

• Fedora 32 : aarch64, x86_64
• 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

• Fedora 32 : aarch64, x86_64

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 6 : i386, x86_64
• 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 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/dhall

The Dhall configuration language

• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

Published:

Author:

1 Build Batches 0 Importing 0 Pending 0 Starting 57 Running Running tasks during last 24 hours:

bindfs

Project: barsnick/fed-newer

Build: 2058647

State: failed

Finished: 3 minutes ago

glib2

Project: ligenix/enterprise-sandbox

Build: 2058648

State: failed

Finished: 5 minutes ago

systemd

Project: packit/systemd-systemd-18906

Build: 2058636

State: failed

Finished: 9 minutes ago

wayland

Project: dturner/TOS

Build: 2058645

State: succeeded

Finished: 10 minutes ago