Changelog for why3-0.81-4.fc20.i686.rpm :
Sun Aug 4 14:00:00 2013 Fedora Release Engineering - 0.81-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Fri Jun 21 14:00:00 2013 Jerry James - 0.81-3
- Rebuild for frama-c Fluorine 20130601

Thu May 23 14:00:00 2013 Jerry James - 0.81-2
- Rebuild for frama-c Fluorine 20130501

Fri May 10 14:00:00 2013 Jerry James - 0.81-1
- New upstream release
- Disable PVS support for now; it requires the NASA libraries
- Fix the conflict between the why and why3 Emacs packages (bz 913522)
- Disable parallel builds due to intermittent build failures

Fri Feb 15 13:00:00 2013 Fedora Release Engineering - 0.73-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

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