Agda-2.5.1: src/data/uhc-agda-base/LICENSE