Changelog for ghc-djot-0.1.0.0-1.115.x86_64.rpm :

* Thu Feb 15 2024 Peter Simons - Add djot at version 0.1.0.0.