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(a)gmail.com> - 0.1-20.20140402git.f8a392d
- Update to recent git snapshot
* Wed Mar 19 2014 Jerry James <loganjerry(a)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(a)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=bu...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=mo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=ro...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=2291257&name=st...
rpms:
http://armpkgs.fedoraproject.org//packages/stp/0.1/20.20140402git.f8a392d...
http://armpkgs.fedoraproject.org//packages/stp/0.1/20.20140402git.f8a392d...
http://armpkgs.fedoraproject.org//packages/stp/0.1/20.20140402git.f8a392d...
Task Info:
http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=2291256
Build Info:
http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=192105