Package: stp-0.1-20.20140402git.f8a392d.fc21 Tag: None Status: complete Built by: pbrobinson ID: 192105 Started: Wed, 30 Apr 2014 00:04:04 UTC Finished: Wed, 30 Apr 2014 00:31:50 UTC Changelog: * Tue Apr 29 2014 Jerry James loganjerry@gmail.com - 0.1-20.20140402git.f8a392d - Update to recent git snapshot
* Wed Mar 19 2014 Jerry James loganjerry@gmail.com - 0.1-19.20140319git.6110a49 - Update to recent git snapshot, now hosted on github - Build now uses cmake - Tests now need boolector, which has license problems. Disable %check for now unless we can find something useful to do.
* Wed Oct 09 2013 Jerry James loganjerry@gmail.com - 0.1-18.20130223svn - Really rebuild for cryptominisat 2.9.8
SRPMS: stp-0.1-20.20140402git.f8a392d.fc21.src.rpm
Closed tasks: -------------
Task 2291256 on arm01-builder05.arm.fedoraproject.org Task Type: build (None, stp-0.1-20.20140402git.f8a392d.fc21.src.rpm)
Task 2291257 on aarch64-builder09.bos.fedoraproject.org Task Type: buildArch (stp-0.1-20.20140402git.f8a392d.fc21.src.rpm, aarch64) logs: http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=build... http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=mock_... http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=root.... http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=state... rpms: http://armpkgs.fedoraproject.org//packages/stp/0.1/20.20140402git.f8a392d.fc... http://armpkgs.fedoraproject.org//packages/stp/0.1/20.20140402git.f8a392d.fc... http://armpkgs.fedoraproject.org//packages/stp/0.1/20.20140402git.f8a392d.fc...
Task Info: http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=2291256 Build Info: http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=192105