Changelog for why3-0.83-6.fc20.x86_64.rpm :
Thu Jun 26 14:00:00 2014 Jerry James - 0.83-6
- Linking with -z relro -z now breaks plugins; omit \"-z now\"

Tue May 13 14:00:00 2014 Jerry James - 0.83-5
- Rebuild for coq 8.4pl4

Mon Apr 21 14:00:00 2014 Jerry James - 0.83-4
- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5

Mon Mar 24 13:00:00 2014 Jerry James - 0.83-3
- Apply upstream fix for building with ocaml-zarith
- Fix file encodings
- Fix permission bits

Tue Mar 18 13:00:00 2014 Jerry James - 0.83-2
- Back out the post-release fix to the Coq printer, which breaks Frama-C

Fri Mar 14 13:00:00 2014 Jerry James - 0.83-1
- New upstream release
- Use cvc4 instead of cvc3

Wed Feb 26 13:00:00 2014 Jerry James - 0.82-2
- Rebuild for ocamlgraph 1.8.4
- BR ocaml-findlib instead of ocaml-findlib-devel

Fri Dec 13 13:00:00 2013 Jerry James - 0.82-1
- New upstream release
- Drop upstreamed patches
- Add -examples subpackage
- Install LaTeX style
- Turn off frama-c support at upstream\'s request

Mon Sep 30 14:00:00 2013 Jerry James - 0.81-6
- Apply upstream fix for change in the alt-ergo timelimit option

Tue Sep 17 14:00:00 2013 Jerry James - 0.81-5
- Rebuild for OCaml 4.01.0
- Enable debuginfo for the ocaml sources

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