Package: cryptominisat-2.9.2-1.fc17 Tag: None Status: complete Built by: sharkcz

[S390 Koji Build System]

Package: cryptominisat-2.9.2-1.fc17
Tag: None
Status: complete
Built by: sharkcz
ID: 100896
Started: Wed, 22 Feb 2012 08:08:45 EST
Finished: Wed, 22 Feb 2012 08:11:14 EST
Changelog:
* Mon Jan 23 2012 Jerry James <loganjerry at gmail.com> - 2.9.2-1
- New upstream version
- Man page is now upstream
- All patches have been applied upstream
- Tests have been removed from the source distribution

* Mon Jan 09 2012 Jerry James <loganjerry at gmail.com> - 2.9.1-3
- Rebuild for GCC 4.7

* Mon Dec 19 2011 Dan Horák <dan[at]danny.cz> - 2.9.1-2
- FPU handling is x86 specific
- set library path so the test is run



SRPMS:
  cryptominisat-2.9.2-1.fc17.src.rpm

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

Task 597925 on fedora3.s390.bos.redhat.com
Task Type: build (None, cryptominisat-2.9.2-1.fc17.src.rpm)

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

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



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