Commit - rpms/Agda-stdlib - 474862f3fe5c8548436eb1dea8bacc3e89f24b85 - src.fedoraproject.org

rpms / Agda-stdlib

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: petersen
EPEL:: petersen

`474862f` requires Agda instead of ghc-Agda now

Authored and Committed by petersen 3 years ago

raw patch tree parent

1 file changed. 2 lines added. 1 lines removed.

Agda-stdlib.spec

    requires Agda instead of ghc-Agda now

Build completed
success

Built as Agda-stdlib-1.2-1.fc33
3 years ago

Agda-stdlib.spec

file modified

+2 -1

Powered by Pagure 5.13.3

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

© Red Hat, Inc. and others.