Commit - rpms/gappalib-coq - ed2047ffd8d38f1252dc7800045dd7a3c2473b87 - src.fedoraproject.org

rpms / gappalib-coq

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`ed2047f` Rebuild to fix OCaml dependencies.

Authored and Committed by jjames 3 years ago

raw patch tree parent

1 file changed. 4 lines added. 1 lines removed.

gappalib-coq.spec

    Rebuild to fix OCaml dependencies.

Build completed
success

Built as gappalib-coq-1.4.4-3.fc33
3 years ago

gappalib-coq.spec

file modified

+4 -1

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.