jwakely/Boost-beta

Project ID: 5234

Package: cvc4

General Information

Dist Git Repo:: jwakely/Boost-beta/cvc4

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
141300	1.4-8.fc24	8 years ago	55 minutes	succeeded
146455	1.4-8.fc24	8 years ago	22 minutes	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/jwakely/Boost-beta/package/cvc4/"><img src="https://copr.fedorainfracloud.org/coprs/jwakely/Boost-beta/package/cvc4/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/jwakely/Boost-beta/package/cvc4/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/jwakely/Boost-beta/package/cvc4/)