jvanek/java11

Project ID: 31535

Package: cvc4

General Information

Dist Git Repo:: jvanek/java11/cvc4

Default Build Source

Source Type:: Build from an SCM repository
SCM type:: git
Clone URL:: https://src.fedoraproject.org/rpms/cvc4.git
Build SRPM with:: rpkg

Build ID	Package Version	Submitted	Build Time	Status
1355013	1.7-9.fc31	4 years ago	54 minutes	succeeded
1388443	1.7-10.fc31	4 years ago	55 minutes	succeeded
1408619	1.7-11.fc31	4 years ago	an hour	succeeded
1416977	1.7-12.fc31	4 years ago	56 minutes	succeeded
1420042	1.7-12.fc31	4 years ago	54 minutes	succeeded
1435714	1.7-12.fc31	4 years ago	56 minutes	succeeded
1504737	1.7-12.fc31	4 years ago	52 minutes	succeeded
1513386	1.7-12.fc31	4 years ago	54 minutes	succeeded
1544705	1.7-13.fc31	4 years ago	54 minutes	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/jvanek/java11/package/cvc4/"><img src="https://copr.fedorainfracloud.org/coprs/jvanek/java11/package/cvc4/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/jvanek/java11/package/cvc4/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/jvanek/java11/package/cvc4/)