Changelog for why3-0.71-2.fc17.x86_64.rpm :
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