Copr Build System
log in | OIDC login | gssapi-login | sign up
  • Search by user name
  • Search by group name
  • Search by project name
  • Search by package name
  • Searching documentation
  1. Home
  2. @aufover

@aufover Group

FAS details | View Members

Projects in @aufover Group

@aufover/cbmc

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

@aufover/simplified-rpms

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

@aufover/ldpwrap

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

@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 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 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 rawhide : x86_64

Task Queue

0 Build Batches 0 Importing 0 Pending 2 Starting 58 Running Running tasks during last 24 hours:

Recent Builds - View All

Contact us

  • Fedora Build System on Matrix

Copr Project

  • Project Homepage
  • User Documentation
  • API Documentation
  • Report a Bug
  • Report a security issue
  • Known Issues
  • FAQ

Site Navigation

  • Home
  • Task Queue
  • API
  • GDPR
  • RSS
  • Database Dump
  • Storage statistics

Powered by

  • Python
  • PatternFly
  • Dist Git
  • Resalloc

Sponsored by

  • Red Hat
  • Fedora
  • Amazon Web Services
  • IBM
  • Oregon State University