Package: ghc-Agda-2.3.0.1-9.fc18 Tag: None Status: complete Built by: pbrobinson
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(a)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(a)redhat.com> - 2.3.0.1-8
- build with QuickCheck 2.5
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng(a)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=bu...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=mo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=ro...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410465&name=st...
rpms:
http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv7hl...
http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv7hl...
http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv7hl...
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=bu...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=mo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=ro...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=1410466&name=st...
rpms:
http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv5te...
http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv5te...
http://armpkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.fc18/armv5te...
Task Info: http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=1410464
Build Info: http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=104179