Copyright for spigot source package in Stretch