Copyright for ogmtools source package in Hardy