Changelog for why3-xemacs-0.73-4.fc18.noarch.rpm :
Mon Jan 7 13:00:00 2013 Jerry James - 0.73-4
- Rebuild for coq 8.4pl1

Fri Dec 14 13:00:00 2012 Richard W.M. Jones - 0.73-3
- Rebuild for OCaml 4.00.1.

Thu Aug 23 14:00:00 2012 Jerry James - 0.73-2
- Rebuild for coq 8.4

Thu Aug 2 14:00:00 2012 Jerry James - 0.73-1
- New upstream release

Sun Jul 22 14:00:00 2012 Fedora Release Engineering - 0.71-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Thu Apr 19 14:00:00 2012 Jerry James - 0.71-2
- Add missing sqlite-devel BR
- Do not move the coq plugin
- Generate debuginfo for the sole C program
- Add man pages

Fri Dec 16 13:00:00 2011 Jerry James - 0.71-1
- Initial RPM