Changelog for why3-xemacs-el-0.71-2.fc16.noarch.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