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
_______________________________________________
Fedora-sparc mailing list
Fedora-sparc@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-sparc
