Package: minisat2-2.2.0-2.fc17 Tag: None Status: complete Built by: sharkcz

[S390 Koji Build System]

Package: minisat2-2.2.0-2.fc17
Tag: None
Status: complete
Built by: sharkcz
ID: 93821
Started: Fri, 20 Jan 2012 13:43:25 UTC
Finished: Fri, 20 Jan 2012 13:45:13 UTC
Changelog:
* Mon Jan 09 2012 Jerry James <loganjerry at gmail.com> - 2.2.0-2
- Rebuild for GCC 4.7
- Use the canonical source URL
- Drop the use of -ffloat-store, since the code sets the FPU mode

* Wed Jun 22 2011 Jerry James <loganjerry at gmail.com> - 2.2.0-1
- New upstream version
- Drop upstreamed template patch
- Drop unnecessary spec file elements (BuildRoot, etc.)

* Tue Feb 08 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.0-10.20070721
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild



SRPMS:
  minisat2-2.2.0-2.fc17.src.rpm

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

Task 548824 on fedora3.s390.bos.redhat.com
Task Type: build (None, minisat2-2.2.0-2.fc17.src.rpm)

Task 548825 on devel1.s390.bos.redhat.com
Task Type: buildArch (minisat2-2.2.0-2.fc17.src.rpm, s390)
logs:
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548825&name=build.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548825&name=mock_output.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548825&name=root.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548825&name=state.log
rpms:
 http://s390pkgs.fedoraproject.org/packages/minisat2/2.2.0/2.fc17/s390/minisat2-2.2.0-2.fc17.s390.rpm
 http://s390pkgs.fedoraproject.org/packages/minisat2/2.2.0/2.fc17/s390/minisat2-debuginfo-2.2.0-2.fc17.s390.rpm

Task 548826 on fedora3.s390.bos.redhat.com
Task Type: buildArch (minisat2-2.2.0-2.fc17.src.rpm, s390x)
logs:
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548826&name=build.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548826&name=mock_output.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548826&name=root.log
  http://s390.koji.fedoraproject.org/koji/getfile?taskID=548826&name=state.log
rpms:
 http://s390pkgs.fedoraproject.org/packages/minisat2/2.2.0/2.fc17/s390x/minisat2-2.2.0-2.fc17.s390x.rpm
 http://s390pkgs.fedoraproject.org/packages/minisat2/2.2.0/2.fc17/s390x/minisat2-debuginfo-2.2.0-2.fc17.s390x.rpm



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