csutils / csmockLinks
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆25Updated this week
Alternatives and similar repositories for csmock
Users that are interested in csmock are comparing it to the libraries listed below
Sorting:
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆59Updated this week
- Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools☆21Updated 3 weeks ago
- A python module for configuration of block devices☆110Updated this week
- Configuration files for Feedback Pipeline☆22Updated this week
- ☆24Updated 3 years ago
- ☆40Updated last year
- RPM build system - upstream for https://copr.fedorainfracloud.org/☆139Updated this week
- Generic Health Checking Framework for systemd☆124Updated 4 months ago
- Build-Pipelines for Operating System Artifacts☆249Updated this week
- Container build support for Koji buildsystem☆30Updated 4 months ago
- C Library for manipulating module metadata files☆32Updated last month
- Build deb packages from rpm specifications☆63Updated last month
- Enhanced config file parser, which merges config files placed in several locations into one.☆89Updated 2 months ago
- Various scripts for operating on an OSTree repository☆28Updated 4 years ago
- Middleware service for console.redhat.com, between osbuild/image-builder-frontend and osbuild/osbuild-composer.☆54Updated this week
- Module Building in a Box☆18Updated 2 years ago
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆46Updated last month
- Upstream project ← → Downstream distribution☆145Updated this week
- Leapp - Application & OS Modernization Framework (For in-place upgrades, follow leapp-repository)☆99Updated 2 weeks ago
- A userspace fake of "sudo"☆20Updated 4 years ago
- Tool for checking common errors in rpm packages☆152Updated last week
- Tool to update fedora packages branches☆24Updated 3 weeks ago
- Package management library.☆193Updated last week
- OpenScanHub is a service for static and dynamic analysis.☆18Updated last month
- ☆11Updated last year
- Create and maintain base bootable container images from Fedora ELN and CentOS Stream packages☆44Updated last year
- spec-cleaner☆29Updated last week
- Local DNS caching services configuration daemon.☆12Updated last month
- Platform for collection and analysis of packages and package crashes☆46Updated last year
- Cockpit Continuous Integration and Delivery☆38Updated 2 weeks ago