Copyright for depqbf source package in Disco