Recent Projects

atim/starship

Minimal, blazing-fast, and infinitely customizable prompt for any shell! ☄🌌️
  • Centos-stream 9 : aarch64, x86_64
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

tstellar/clang-buildroot-f30

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

simonswine/cri-o

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

atim/kakoune

Modal editor Faster as in fewer keystrokes Multiple selections Orthogonal design Kakoune is a code editor that implements Vi’s "keystrokes as a text editing language" model. As it’s also a modal editor, it is somewhat similar to the Vim editor (after which Kakoune was originally inspired). Kakoune can operate in two modes, normal and insertion. In insertion mode, keys are directly inserted into the current buffer. In normal mode, keys are used to manipulate the current selection and to enter insertion mode. Kakoune has a strong focus on interactivity, most commands provide immediate and incremental results, while still being competitive (as in keystroke count) with Vim. Kakoune works on selections, which are oriented, inclusive range of characters, selections have an anchor and a cursor character. Most commands move both of them, except when extending selection where the anchor character stays fixed and the cursor one moves around. Note: now Kakoune packaged and available in official repos. For daily build use this COPR. This repo for Kakoune plugins which is not available in official repo yet.
  • Centos-stream 9 : aarch64, x86_64
  • EPEL 8 : x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

bdperkin/aliyun

RPM packaging for Alibaba Cloud tools
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

ngompa/open-build-service-client-tools-el8

Packages for Open Build Service client software for EPEL8
  • EPEL 8 : aarch64, ppc64le, x86_64

rfilo/Selinux-policy-f31

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

@Serokell/Tezos

Fedora packages for Tezos tools (most importantly, tezos-client)
  • EPEL 7 : x86_64
  • Fedora 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64

mgrabovs/lean3-community

Lean is at the same time a modern interactive theorem prover/proof assistant for higher-order intuitionistic logic and a dependently typed purely functional programming language. This is the community-maintained 3.x branch of Lean. The official 3.x branch is now end-of-life and not maintained by the original authors anymore.
  • EPEL 8 : x86_64
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

antonpatsev/nginx-clickhouse-rpm

RPM for Simple nginx logs parser & transporter to ClickHouse database.
  • EPEL 7 : x86_64

News - Read All

Task Queue

44 Build Batches 0 Importing 28 Pending 14 Starting 157 Running

Recent Builds - View All