1. Home
  2. petersen

Petersen's Projects

petersen/racket

racket 8.2
  • EPEL 8 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/nim

A statically typed compiled systems programming language, that looks a little like Python. Based on the retired Fedora package (without docs and tests). Though the docs should build in copr with network.
  • EPEL 8 : aarch64, x86_64
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/souffle

Soufflé is a logic programming language inspired by Datalog.
  • EPEL 8 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : 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 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora rawhide : x86_64

petersen/idris2

Note this copr is now deprecated since idris2 has been packaged in Fedora (July 2025) 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 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 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/fedora-tools

Various tools for Fedora developers pdc client
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : 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 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora 43 : 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

News - Read All

Task Queue

12 Build Batches 0 Importing 7 Pending 17 Starting 76 Running

Recent Builds - View All

avocado-plugins-vt

Project: @avocado/avocado-vt-latest

Build: 9815930

State: succeeded

Finished: a minute ago

python-osism

Project: @copr/PyPI

Build: 9815944

State: failed

Finished: a minute ago

python-phono3py

Project: @copr/PyPI

Build: 9815937

State: failed

Finished: 2 minutes ago

python-mapchete

Project: @copr/PyPI

Build: 9815938

State: failed

Finished: 2 minutes ago