Petersen's Profile

petersen/stack2

Haskell stack v2 builds If you want older stack v1 then see https://copr.fedorainfracloud.org/coprs/petersen/stack.

• Fedora 30 : aarch64, i386, x86_64
• Fedora 31 : aarch64, i386, x86_64
• Fedora 32 : aarch64, i386, x86_64
• Fedora rawhide : aarch64, i386, x86_64

petersen/cabal-install

Haskell package manager Upstream Hackage page

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

petersen/hlint

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

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

petersen/pagure-cli

A client for querying Pagure repos and users

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

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

petersen/fedora-tools

Various tools for Fedora developers pdc client

• Fedora 30 : aarch64, i386, x86_64
• Fedora 31 : aarch64, x86_64
• Fedora 32 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/stack-2.3

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

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

petersen/dhall

The Dhall configuration language

• Fedora 30 : aarch64, i386, x86_64
• Fedora 31 : aarch64, x86_64
• Fedora 32 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/dl-fedora

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

• Fedora 30 : x86_64
• Fedora 31 : x86_64
• Fedora 32 : 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 30 : aarch64, i386, x86_64
• Fedora 31 : aarch64, i386, x86_64
• Fedora 32 : 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 11 Running Running tasks during last 24 hours:

NetworkManager

Project: networkmanager/NetworkManager-master

Build: 1530194

State: succeeded

Finished: 4 minutes ago

neovim

Project: agriffis/neovim-nightly

Build: 1530202

State: succeeded

Finished: 5 minutes ago

nivlheim

Project: oyvindh/Nivlheim-staging

Build: 1530201

State: succeeded

Finished: 8 minutes ago

hello

Project: packit/packit-service-hello-world-107

Build: 1530200

State: succeeded

Finished: 10 minutes ago