Changelog for why3-0.85-9.fc22.x86_64.rpm :
Sat Apr 11 14:00:00 2015 Jerry James - 0.85-9
- Rebuild for coq 8.4pl6

Wed Mar 18 13:00:00 2015 Jerry James - 0.85-8
- Rebuild for ocaml-ocamlgraph 1.8.6

Sat Feb 21 13:00:00 2015 Jerry James - 0.85-7
- Note bundled jquery
- Fix sed expression separators for new RPM_OPT_FLAGS and RPM_LD_FLAGS

Wed Feb 18 13:00:00 2015 Richard W.M. Jones - 0.85-6
- ocaml-4.02.1 rebuild.

Thu Nov 6 13:00:00 2014 Jerry James - 0.85-5
- Rebuild for ocaml-camlp5 6.12

Thu Oct 30 13:00:00 2014 Jerry James - 0.85-4
- Rebuild for coq 8.4pl5

Tue Oct 14 14:00:00 2014 Jerry James - 0.85-3
- Rebuild for ocaml-zarith 1.3

Thu Sep 18 14:00:00 2014 Jerry James - 0.85-2
- Bump and rebuild

Wed Sep 17 14:00:00 2014 Jerry James - 0.85-1
- New upstream release
- New source URL

Tue Sep 2 14:00:00 2014 Jerry James - 0.84-1
- New upstream release
- Fix license handling

Mon Aug 25 14:00:00 2014 Jerry James - 0.83-14
- Rebuild for new gappalib-coq build

Sun Aug 24 14:00:00 2014 Richard W.M. Jones - 0.83-13
- ocaml-4.02.0+rc1 rebuild.

Mon Aug 18 14:00:00 2014 Fedora Release Engineering - 0.83-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Mon Aug 4 14:00:00 2014 Jerry James - 0.83-11
- Rebuild for new gappalib-coq build

Sat Aug 2 14:00:00 2014 Richard W.M. Jones - 0.83-10
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Fri Aug 1 14:00:00 2014 Richard W.M. Jones - 0.83-9
- OCaml 4.02.0 beta rebuild.

Thu Jun 26 14:00:00 2014 Jerry James - 0.83-8
- Linking with -z relro -z now breaks plugins; omit \"-z now\"

Sun Jun 8 14:00:00 2014 Fedora Release Engineering - 0.83-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

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

Mon Apr 21 14:00:00 2014 Jerry James - 0.83-5
- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5
- Drop unnecessary sqlite-devel BR

Tue Apr 15 14:00:00 2014 Richard W.M. Jones - 0.83-4
- Remove ocaml_arches macro (RHBZ#1087794).

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