@aufover/cbmc

Project ID: 54082

Package: cbmc

General Information

Dist Git Repo:: @aufover/cbmc/cbmc

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
3130012	5.38.0-1.el8	2 years ago	2 minutes	succeeded
3130179	5.38.0-2.el8	2 years ago	2 minutes	succeeded
3130197	5.38.0-3.el8	2 years ago	2 minutes	succeeded
3290348	5.49.0-1.fc35	2 years ago	47 minutes	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/g/aufover/cbmc/package/cbmc/"><img src="https://copr.fedorainfracloud.org/coprs/g/aufover/cbmc/package/cbmc/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/g/aufover/cbmc/package/cbmc/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/g/aufover/cbmc/package/cbmc/)