Package: ghc-Agda-2.3.0.1-9.fc18 Tag: None Status: complete Built by: pbrobinson ID: 104179 Started: Thu, 31 Jan 2013 15:44:31 UTC Finished: Thu, 31 Jan 2013 18:55:12 UTC Changelog: * Wed Dec 12 2012 Jens Petersen petersen@redhat.com - 2.3.0.1-9 - update QuickCheck-2.5 patch following upstream 2.3.2 - for epel6 redefine newer _emacs_bytecompile - own datadir correctly

* Fri Nov 09 2012 Jens Petersen petersen@redhat.com - 2.3.0.1-8 - build with QuickCheck 2.5

* Thu Jul 19 2012 Fedora Release Engineering rel-eng@lists.fedoraproject.org - 2.3.0.1-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

SRPMS: ghc-Agda-2.3.0.1-9.fc18.src.rpm

Closed tasks: -------------

Task 1410464 on hsv-rainier-2-16-v5tel Task Type: build (None, ghc-Agda-2.3.0.1-9.fc18.src.rpm)

Task 1410465 on cdot-builder-14-2-v7hl Task Type: buildArch (ghc-Agda-2.3.0.1-9.fc18.src.rpm, armv7hl) logs: http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=build... http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=mock_... http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=root.... http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=state... rpms: http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv7hl/em... http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv7hl/em... http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv7hl/gh...

Task 1410466 on hsv-rainier-2-22-v5tel Task Type: buildArch (ghc-Agda-2.3.0.1-9.fc18.src.rpm, armv5tel) logs: http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=build... http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=mock_... http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=root.... http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=state... rpms: http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv5tel/e... http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv5tel/e... http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv5tel/g...

Task Info: http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=1410464 Build Info: http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=104179