[Fedora-sparc] Package: E-1.0.002-3.fc9 Tag: al3 Status: complete Built by: ausil

[SPARC Koji Build System]

Package: E-1.0.002-3.fc9
Tag: al3
Status: complete
Built by: ausil
ID: 19942
Started: Thu, 22 Jan 2009 07:42:38 CST
Finished: Thu, 22 Jan 2009 08:01:10 CST
Changelog:
* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-3
- Work around local tags

* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-2
- Repaired for python2 variations (different releases have different versions
  of python2)

* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-1
- Added python2.5 as BuildRequires
- Update to E version 1.0 ("Temi").  This includes...
- Improved eproof script signal handling.
- Fixed a number of warnings with the latest gcc version.
- Updated proof objects to latest SZS ontology.



SRPMS:
  E-1.0.002-3.fc9.src.rpm

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

Task 132028 on korolev.ausil.us
Task Type: build (None, E-1.0.002-3.fc9.src.rpm)

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

Task 132030 on korolev.ausil.us
Task Type: buildArch (E-1.0.002-3.fc9.src.rpm, sparcv9)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=132030&name=build.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=132030&name=root.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=132030&name=state.log
rpms:
 http://sparc.koji.fedoraproject.org/packages/E/1.0.002/3.fc9/sparcv9/E-1.0.002-3.fc9.sparcv9.rpm
 http://sparc.koji.fedoraproject.org/packages/E/1.0.002/3.fc9/sparcv9/E-debuginfo-1.0.002-3.fc9.sparcv9.rpm



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