Commit - rpms/Agda - 8b113d48b1f9d68a3aba10c118ea36be0b1865e7 - src.fedoraproject.org

rpms / Agda

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: petersen
EPEL:: petersen

`8b113d4` enable armv7hl with -O0 (#991929)

Authored and Committed by petersen 3 years ago

raw patch tree parent

1 file changed. 7 lines added. 3 lines removed.

    enable armv7hl with -O0 (#991929)

Build completed
success

Built as Agda-2.6.1-24.fc33
3 years ago

Agda.spec

file modified

+7 -3

Powered by Pagure 5.14.1

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

© Red Hat, Inc. and others.