Changelog for ghc-Agda-devel-2.5.4-lp150.2.2.x86_64.rpm :

* Tue Jul 10 2018 psimonsAATTsuse.com- Add Agda at version 2.5.4.