Recent Projects

jwendell/binaryen

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 8 : x86_64

seb95/staging

Staging repository for ghostwriter release candidates
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64
  • openSUSE Tumbleweed : aarch64, x86_64

baku/MozillaVPN

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 41 : x86_64
  • Fedora 42 : 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

proletarius101/Upstream_CRIO_Family

This repository is for building upstream components of the CRIO environment and only as a convenience to bleeding edge users. The Fedora built RPMS are the only official RPMs.
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

vladius/efitools

This package installs a variety of tools for manipulating keys and binary signatures on UEFI secure boot platforms. The tools provide access to the keys and certificates stored in the secure variables of the UEFI firmware, usually in the NVRAM area.
  • Fedora 41 : aarch64, i386, x86_64
  • Fedora 42 : aarch64, i386, x86_64
  • Fedora rawhide : aarch64, i386, x86_64

braindevices/epel8x64

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 8 : x86_64

moonkat/rust-boop-gtk

Boop-GTK

chdorb/rpi-imager

Unoffical builds of rpi-imager repository
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

seb95/abuse

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64