Commit - rpms/gappalib-coq - 9c36b1dc9b42fb0bfaba7907344e0bdbeaae658d - src.fedoraproject.org

rpms / gappalib-coq

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`9c36b1d` Rebuild for ocaml-zarith 1.13

Authored and Committed by jjames 10 months ago

raw patch tree parent

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

gappalib-coq.spec

    Rebuild for ocaml-zarith 1.13

Build completed
success

Built as gappalib-coq-1.5.3-4.fc39
10 months 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.