jvanek/java11

Project ID: 31535

Package: z3

General Information

Dist Git Repo:: jvanek/java11/z3

Default Build Source

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

Build ID	Package Version	Submitted	Build Time	Status
1355996	4.8.7-9.fc31	5 years ago	36 minutes	succeeded
1366925	4.8.7-10.fc31	5 years ago	39 minutes	succeeded
1375905	4.8.8-1.fc31	5 years ago	40 minutes	succeeded
1388237	4.8.8-2.fc31	5 years ago	42 minutes	succeeded
1388252	4.8.8-2.fc31	5 years ago	39 minutes	succeeded
1388261	4.8.8-2.fc31	5 years ago	41 minutes	succeeded
1413051	4.8.8-3.fc31	5 years ago	40 minutes	succeeded
1421025	4.8.8-3.fc31	5 years ago	38 minutes	succeeded
1421153	4.8.8-3.fc31	5 years ago	38 minutes	succeeded
1436697	4.8.8-3.fc31	5 years ago	39 minutes	succeeded
1436825	4.8.8-3.fc31	5 years ago	38 minutes	succeeded
1505720	4.8.8-3.fc31	5 years ago	38 minutes	succeeded
1513913	4.8.8-3.fc31	5 years ago	37 minutes	succeeded
1547040	4.8.8-4.fc31	5 years ago	38 minutes	succeeded

Status Badge

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

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