Changelog for ghc-HaTeX-3.19.0.0-3.10.x86_64.rpm :

* Tue Jul 10 2018 psimonsAATTsuse.com- Add HaTeX at version 3.19.0.0.