-------------------------------------------------------------------
Tue Sep  1 10:37:33 UTC 2020 - psimons@suse.com

- Add fingertree at version 0.1.4.2.