https://bugzilla.redhat.com/show_bug.cgi?id=991929
Bug ID: 991929
Summary: Agda: FTBFS in rawhide
Product: Fedora
Version: rawhide
Component: Agda
Assignee: petersen(a)redhat.com
Reporter: dennis(a)ausil.us
QA Contact: extras-qa(a)fedoraproject.org
CC: haskell-devel(a)lists.fedoraproject.org,
petersen(a)redhat.com
Blocks: 991858
Your package Agda failed to build from source in current rawhide.
http://koji.fedoraproject.org/koji/taskinfo?taskID=5694323
Build logs:
root.log:
http://kojipkgs.fedoraproject.org/work/tasks/4323/5694323/root.log
build.log:
http://kojipkgs.fedoraproject.org/work/tasks/4323/5694323/build.log
state.log:
http://kojipkgs.fedoraproject.org/work/tasks/4323/5694323/state.log
NOTE: build logs are cleaned up after 1 week
For details on mass rebuild see
https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=bIgzEmn2it&a=cc_unsubscribe