Commit - rpms/cvc4 - 41e5d62ddff52b60fee1a54577a247c3d4b6a5ae - src.fedoraproject.org

rpms / cvc4

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`41e5d62` Do not link against libpython.

Authored and Committed by jjames 4 years ago

raw patch tree parent

1 file changed. 8 lines added. 1 lines removed.

    Do not link against libpython.

Build completed
success

Built as cvc4-1.7-10.fc33
4 years ago

cvc4.spec

file modified

+8 -1

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.