jvanek/java17

Project ID: 52074

Package: z3

General Information

Dist Git Repo:: jvanek/java17/z3

Default Build Source

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

Build ID	Package Version	Submitted	Build Time	Status
3254398	4.8.14-2.fc34	2 years ago	31 minutes	succeeded
3256713	4.8.14-2.fc34	2 years ago	34 minutes	succeeded
3296770	4.8.14-3.fc35	2 years ago	37 minutes	succeeded
3330139	4.8.14-4.fc35	2 years ago	38 minutes	succeeded

Status Badge

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

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