Changelog for ghc-DAV-devel-1.3.3-1.7.x86_64.rpm :

* Tue Nov 27 2018 psimonsAATTsuse.com- Update DAV to version 1.3.3. Upstream does not provide a change log file.
* Tue Jul 10 2018 psimonsAATTsuse.com- Add DAV at version 1.3.2.