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

rpms / coq

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`c4bf7f3` LICENSE.doc is in %_pkgdocdir, not %_docdir.

Authored and Committed by jjames 2 years ago

raw patch tree parent

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

    LICENSE.doc is in %_pkgdocdir, not %_docdir.

Build completed
success

Built as coq-8.14.0-1.fc36
2 years ago

coq.spec

file modified

+1 -1

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.