Changelog for E-1.8.001-3.fc21.i686.rpm :
Fri Aug 15 14:00:00 2014 Fedora Release Engineering - 1.8.001-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Fri Jun 6 14:00:00 2014 Fedora Release Engineering - 1.8.001-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue Sep 3 14:00:00 2013 Jerry James - 1.8.001-1
- New upstream version

Mon Jul 29 14:00:00 2013 Jerry James - 1.8-1
- New upstream version
- Drop now unneeded -alias patch

Mon Mar 25 13:00:00 2013 Jerry James - 1.7-1
- New upstream release

Wed Feb 13 13:00:00 2013 Jerry James - 1.6-2
- Add tex(supertabular.sty) BR due to TeXLive 2012 changes

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 1.6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Mon Aug 6 14:00:00 2012 Jerry James - 1.6-1
- New upstream release

Wed Jul 18 14:00:00 2012 Fedora Release Engineering - 1.5-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Mon May 7 14:00:00 2012 Jerry James - 1.5-1
- New upstream release

Thu Jan 12 13:00:00 2012 Fedora Release Engineering - 1.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild

Sat Jan 7 13:00:00 2012 Jerry James - 1.4-2
- Rebuild for GCC 4.7

Mon Aug 22 14:00:00 2011 Jerry James - 1.4-1
- New upstream release
- Rebuild man pages with newer version of help2man
- Use the Makefile\'s install target instead of rolling our own

Sat Jul 2 14:00:00 2011 Jerry James - 1.3-1
- New upstream release

Tue Jun 21 14:00:00 2011 Jerry James - 1.2.001-1
- New upstream release
- Now dual-licensed: GPLv2+ or LGPLv2+
- Drop unnecessary spec file elements (BuildRoot, etc.)
- Use virtual provides for the BRs instead of files
- Install the man pages

Mon Feb 7 13:00:00 2011 Fedora Release Engineering - 1.0.002-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Fri Jul 24 14:00:00 2009 Fedora Release Engineering - 1.0.002-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Mon Feb 23 13:00:00 2009 Fedora Release Engineering - 1.0.002-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Mon Dec 22 13:00:00 2008 David A. Wheeler 1.0.002-3
- Work around local tags

Mon Dec 22 13:00:00 2008 David A. Wheeler 1.0.002-2
- Repaired for python2 variations (different releases have different versions
of python2)

Mon Dec 22 13:00:00 2008 David A. Wheeler 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.

Tue Aug 19 14:00:00 2008 David A. Wheeler 0.999.006-2
- Change executable permissions from 0775 to 0755
- Use compilation switches (e.g., -O2 instead of pointless -O6, and use -g)

Tue Aug 19 14:00:00 2008 David A. Wheeler 0.999.006-1
- Initial package