Commit - rpms/Agda - 147e1019eb9686602c3ac0fd91f0f9ad75e262ad - src.fedoraproject.org

rpms / Agda

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: petersen
EPEL:: petersen

`147e101` remove uri-encode from sources

Authored and Committed by petersen 3 years ago

raw patch tree parent

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

    remove uri-encode from sources

Build completed
success

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

sources

file modified

+0 -1

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.