Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).Release Architectures Repo Download Epel for CentOS 8 x86_64 (0)* Epel for CentOS 8 (0 downloads)
* Total number of packages downloaded in the last seven days.
This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/g/aufover/cbmc/