[Bug 991929] New: Agda: FTBFS in rawhide

[bugzilla at redhat.com]

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 at redhat.com
          Reporter: dennis at ausil.us
        QA Contact: extras-qa at fedoraproject.org
                CC: haskell-devel at lists.fedoraproject.org,
                    petersen at 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