Changelog for
why3-0.81-3.fc19.x86_64.rpm :
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