Changelog for ghc-gitrev-devel-1.3.1-3.9.x86_64.rpm :

* Tue Jul 10 2018 psimonsAATTsuse.com- Add gitrev at version 1.3.1.