Commit - rpms/coq - d098043f2dd236170c117535f495262ad26c68f5 - src.fedoraproject.org

rpms / coq

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`d098043` Rebuild to fix ocamlx(Dynlink) dependency.

Authored and Committed by jjames 3 years ago

raw patch tree parent

1 file changed. 12 lines added. 9 lines removed.

    Rebuild to fix ocamlx(Dynlink) dependency.

Build completed
success

Built as coq-8.11.2-4.fc33
3 years ago

coq.spec

file modified

+12 -9

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.