@fedora-review/fedora-review-2223012-cvc5

Project ID: 93772

Package: cvc5

General Information

Dist Git Repo:: @fedora-review/fedora-review-2223012-cvc5/cvc5

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
6173872	1.0.5-1.fc39	1 year, 4 months ago	15 minutes	failed

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2223012-cvc5/package/cvc5/"><img src="https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2223012-cvc5/package/cvc5/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2223012-cvc5/package/cvc5/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2223012-cvc5/package/cvc5/)