Package: minisat2-2.0-7.20070721.fc9 Tag: dist-f9 Status: complete Built by: ausil

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Package: minisat2-2.0-7.20070721.fc9
Tag: dist-f9
Status: complete
Built by: ausil
ID: 14469
Started: Thu, 25 Sep 2008 22:41:25 CDT
Finished: Thu, 25 Sep 2008 22:49:44 CDT
Changelog:
* Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-7.20070721
- Removed code for switching between -O2 and -O3, per reviewer request.

* Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-6.20070721
- Timing tests found -O3 was unhelpful; switched back to -O2, but left stub
  in case a switch to another -O level would help in the future.
  -O3 real 0m35.714s, 0m35.714s, 0m35.834s vs. -O2 real 0m35.296s, 0m35.301s

* Tue Jul 08 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-5.20070721
- Moved to higher optimization level (-O3); speed is critical for this app.



SRPMS:
  minisat2-2.0-7.20070721.fc9.src.rpm

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

Task 85865 on korolev.ausil.us
Task Type: build (dist-f9, /cvs/pkgs:rpms/minisat2/F-9:minisat2-2_0-7_20070721_fc9)

Task 86810 on daedalus.ausil.us
Task Type: tagBuild (noarch)

Task 86775 on korolev.ausil.us
Task Type: buildSRPMFromSCM (/cvs/pkgs:rpms/minisat2/F-9:minisat2-2_0-7_20070721_fc9)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86775&name=srpm.log

Task 86782 on daedalus.ausil.us
Task Type: buildArch (minisat2-2.0-7.20070721.fc9.src.rpm, sparc64)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86782&name=build.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86782&name=root.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86782&name=state.log
rpms:
 http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc9/sparc64/minisat2-2.0-7.20070721.fc9.sparc64.rpm
 http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc9/sparc64/minisat2-debuginfo-2.0-7.20070721.fc9.sparc64.rpm

Task 86783 on daedalus.ausil.us
Task Type: buildArch (minisat2-2.0-7.20070721.fc9.src.rpm, sparcv9)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86783&name=build.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86783&name=root.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=86783&name=state.log
rpms:
 http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc9/sparcv9/minisat2-2.0-7.20070721.fc9.sparcv9.rpm
 http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc9/sparcv9/minisat2-debuginfo-2.0-7.20070721.fc9.sparcv9.rpm



Task Info: http://sparc.koji.fedoraproject.org/koji/taskinfo?taskID=85865
Build Info: http://sparc.koji.fedoraproject.org/koji/buildinfo?buildID=14469

_______________________________________________
Fedora-sparc mailing list
Fedora-sparc@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-sparc

[Index of Archives]     [Fedora Users]     [Older Fedora Users]     [Linux ARM]     [ARM Kernel]     [Fedora Advisory Board]     [Fedora Security]     [Fedora Maintainers]     [Fedora Devel Java]     [Fedora Legacy]     [Fedora Desktop]     [ATA RAID]     [Fedora Marketing]     [Fedora Mentors]     [Fedora Package Announce]     [Fedora Package Review]     [Fedora Music]     [Fedora Packaging]     [Centos]     [Fedora SELinux]     [Fedora Triage]     [Coolkey]     [Yum Users]     [Tux]     [Big List of Linux Books]     [Yosemite Hiking & Camping]     [KDE Users]     [Fedora Art]     [Fedora Docs]     [Asterisk PBX]

  Powered by Linux