Copyright for numdiff source package in Mantic