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 3 years ago 36 minutes succeeded
1366925 4.8.7-10.fc31 3 years ago 39 minutes succeeded
1375905 4.8.8-1.fc31 3 years ago 40 minutes succeeded
1388237 4.8.8-2.fc31 3 years ago 42 minutes succeeded
1388252 4.8.8-2.fc31 3 years ago 39 minutes succeeded
1388261 4.8.8-2.fc31 3 years ago 41 minutes succeeded
1413051 4.8.8-3.fc31 3 years ago 40 minutes succeeded
1421025 4.8.8-3.fc31 3 years ago 38 minutes succeeded
1421153 4.8.8-3.fc31 3 years ago 38 minutes succeeded
1436697 4.8.8-3.fc31 3 years ago 39 minutes succeeded
1436825 4.8.8-3.fc31 3 years ago 38 minutes succeeded
1505720 4.8.8-3.fc31 3 years ago 38 minutes succeeded
1513913 4.8.8-3.fc31 3 years ago 37 minutes succeeded
1547040 4.8.8-4.fc31 3 years ago 38 minutes succeeded

Status Badge

HTML Code:
Markdown Code: