Package: picosat-936-3.fc17 Tag: None Status: complete Built by: sharkcz

[S390 Koji Build System]

Package: picosat-936-3.fc17
Tag: None
Status: complete
Built by: sharkcz
ID: 93789
Started: Fri, 20 Jan 2012 11:54:52 EST
Finished: Fri, 20 Jan 2012 11:57:02 EST
Changelog:
* Fri Jan 06 2012 Jerry James <loganjerry at gmail.com> - 936-3
- Rebuild for GCC 4.7
- Minor spec file cleanups

* Wed Feb 09 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 936-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

* Thu Jan 27 2011 Jerry James <loganjerry at gmail.com> - 936-1
- Update to version 936.
- Drop picosat-sharedlib.patch, incorporated upstream.
- Add picosat-trace.patch, to support separate tracing and nontracing libs.



SRPMS:
  picosat-936-3.fc17.src.rpm

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

Task 548576 on fedora1.s390.bos.redhat.com
Task Type: buildArch (picosat-936-3.fc17.src.rpm, s390x)
logs:
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548576&name=build.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548576&name=mock_output.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548576&name=root.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548576&name=state.log
rpms:
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390x/picosat-936-3.fc17.s390x.rpm
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390x/picosat-debuginfo-936-3.fc17.s390x.rpm
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390x/picosat-devel-936-3.fc17.s390x.rpm
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390x/picosat-libs-936-3.fc17.s390x.rpm

Task 548556 on devel1.s390.bos.redhat.com
Task Type: build (None, picosat-936-3.fc17.src.rpm)

Task 548575 on fedora2.s390.bos.redhat.com
Task Type: buildArch (picosat-936-3.fc17.src.rpm, s390)
logs:
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548575&name=build.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548575&name=mock_output.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548575&name=root.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548575&name=state.log
rpms:
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390/picosat-936-3.fc17.s390.rpm
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390/picosat-debuginfo-936-3.fc17.s390.rpm
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390/picosat-devel-936-3.fc17.s390.rpm
 http://s390pkgs.fedoraproject.org/packages/picosat/936/3.fc17/s390/picosat-libs-936-3.fc17.s390.rpm



Task Info: http://s390.koji.fedoraproject.org/koji/taskinfo?taskID=548556
Build Info: http://s390.koji.fedoraproject.org/koji/buildinfo?buildID=93789