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

rpms / coq

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`ef4484f` Rebuild for ocaml-lablgtk3 3.1.4

Authored and Committed by jjames 2 months ago

raw patch tree parent

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

    Rebuild for ocaml-lablgtk3 3.1.4

Build completed
success

Built as coq-8.18.0-4.fc40
2 months ago

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.