Commit - rpms/z3 - e32772559e0caab4937e9df2983816f8d12dab2c - src.fedoraproject.org

rpms / z3

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`e327725` Exclude OCaml BRs on i386

Authored and Committed by jjames 11 months ago

raw patch tree parent

1 file changed. 2 lines added. 0 lines removed.

    Exclude OCaml BRs on i386

Build completed
success

Built as z3-4.12.2-5.fc39
11 months ago

z3.spec

file modified

+2 -0

Powered by Pagure 5.14.1

Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint

© Red Hat, Inc. and others.