Commit - rpms/yices - 003f0f4a84ff8c10830ba90abb382678a4467f34 - src.fedoraproject.org

rpms / yices

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`003f0f4` Fix shared library entry in %files.

Authored and Committed by jjames 4 years ago

raw patch tree parent

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

    Fix shared library entry in %files.

Build completed
success

Built as yices-2.6.1-5.fc32
4 years ago

yices.spec

file modified

+1 -2

Powered by Pagure 5.14.1

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

© Red Hat, Inc. and others.