Commit - rpms/Agda-stdlib - 262553a3a6e9c27396a8c8b4cfc09a4690dad8f7 - src.fedoraproject.org

rpms / Agda-stdlib

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: petersen
EPEL:: petersen

`262553a` install library files correctly under src/

Authored and Committed by petersen 5 years ago

raw patch tree parent

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

Agda-stdlib.spec

    install library files correctly under src/

Build completed
success

Built as Agda-stdlib-0.15-3.fc30
5 years ago
Build completed
success

Built as Agda-stdlib-0.15-3.fc29
5 years ago

Agda-stdlib.spec

file modified

+6 -3

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.