Recent Projects

atim/gtk-gist-manager

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

@aufover/gllvm

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

mkulik/postgresql-pgpool-II

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

jaffachief/emacs-packages

Various emacs packages packaged
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora rawhide : x86_64

ganapathi/VOIP

Voice Over Internet Protocol
  • Centos-stream 8 : x86_64
  • Centos-stream 9 : x86_64
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64

rhawalsh/8.1.x-VDO

This project is intended to provide builds of VDO versions 8.1.x and up.
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora rawhide : x86_64

odubaj/ruby

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

@aufover/symbiotic

Tool for verifying computer programs based on instrumentation, program slicing and symbolic executor KLEE.

@aufover/divine

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

@aufover/predator

A Shape Analyzer Based on Symbolic Memory Graphs
  • EPEL 10 : x86_64
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • EPEL 9 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora rawhide : x86_64
  • Rhel+epel 10 : x86_64

News - Read All

Task Queue

13 Build Batches 0 Importing 43 Pending 9 Starting 125 Running

Recent Builds - View All