Copyright for coq-ext-lib source package in Oracular