Commit - rpms/coq - 43e271479940b2283ba918f00b16aed94e327d9f - src.fedoraproject.org

rpms / coq

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`43e2714` Fix documentation installation.

Authored and Committed by jjames 2 years ago

raw patch tree parent

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

    Fix documentation installation.

Build canceled
canceled

Built as coq-8.15.0-1.fc37
2 years ago

coq.spec

file modified

+5 -8

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.