Petersen's Profile

petersen/fbrnch

A tool to help Fedora Packagers Note this is still experimental (alpha/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 31 : aarch64, x86_64
• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/stack2

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

• Fedora 31 : aarch64, x86_64

petersen/cabal-install

Haskell package manager Upstream Hackage page

• Epel for CentOS 7 : x86_64
• Fedora 31 : aarch64, x86_64
• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/dhall

The Dhall configuration language

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

petersen/stack-2.3

This is obsolete since Fedora 33

• Fedora 31 : aarch64, x86_64
• 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 : aarch64, x86_64
• Fedora 31 : 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 for CentOS 7 : aarch64, x86_64
• Fedora 31 : aarch64, x86_64
• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/pagure-cli

A client for querying Pagure repos and users

• Epel for CentOS 7 : x86_64
• Fedora 31 : aarch64, x86_64
• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/dl-fedora

NB: dl-fedora is now in Fedora Tool for downloading Fedora images

• Fedora 31 : x86_64
• Fedora 32 : x86_64
• Fedora 33 : x86_64
• Fedora rawhide : 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/pkgtreediff

Tool to compare distro package directories

• Epel for CentOS 7 : x86_64
• Fedora 31 : aarch64, i386, x86_64
• Fedora 32 : aarch64, i386, x86_64
• Fedora 33 : aarch64, i386, x86_64
• Fedora rawhide : aarch64, i386, x86_64
• openSUSE Tumbleweed : i586, x86_64

petersen/ghc-8.6.3

For Fedora, please use 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 module-default repo https://petersen.fedorapeople.org/ghc-8.6-default/ to do that.

• Epel for CentOS 6 : x86_64
• Epel for CentOS 7 : x86_64

Published:

Author:

0 Importing 0 Pending 0 Starting 26 Running Running tasks during last 24 hours:

dosemu2

Project: stsp/dosemu2

Build: 1681542

State: succeeded

Finished: 4 minutes ago

mock-core-configs

Project: @mock/mock-pull-requests

Build: 1681541

State: succeeded

Finished: 8 minutes ago

mock

Project: @mock/mock-pull-requests

Build: 1681540

State: succeeded

Finished: 10 minutes ago

yubikey-manager-qt

Project: jjelen/yubikey-manager-qt

Build: 1681538

State: failed

Finished: 13 minutes ago