Changelog for coq-8.8.2-41.36.x86_64.rpm :

* Thu Oct 11 2018 ptrommlerAATTicloud.com- update to 8.8.2
* Sun Jan 07 2018 ptrommlerAATTicloud.com- update to 8.7.1
* Thu Nov 02 2017 ptrommlerAATTicloud.com- update to 8.7.0
* I need this in class b/c coq-ide reads _CoqProject files
* Thu Apr 13 2017 peter.trommlerAATTohm-hochschule.de- update to 8.6 from upstream
* Fri Dec 02 2016 peter.trommlerAATTohm-hochschule.de- update to 8.5pl3 from upstream
* Fri Oct 21 2016 peter.trommlerAATTohm-hochschule.de- update to 8.5pl2 from upstream
* Sun Apr 10 2016 peter.trommlerAATTohm-hochschule.de- update to 8.5 from upstream
* Sat May 31 2014 peter.trommlerAATTohm-hochschule.de- update to 8.4pl4 from upstream
* Sun Jan 12 2014 peter.trommlerAATTohm-hochschule.de- update to 8.4pl3 from upstream- follow upstream versioning
* Sun Nov 10 2013 peter.trommlerAATTohm-hochschule.de- revert to our own lablgtk on older systems
* coq-ide cannot be built using 12.2 lablgtk2