Changelog for coq-8.3pl1-2.i486.rpm :

* Tue May 14 2013 PLD Linux Team - For complete changelog see: http://git.pld-linux.org/?p=packages/coq.git;a=log;h=master
* Tue May 14 2013 Jan Rękorajski f449971- rel 2