Hi,

the patch below updates the repository URLs of two packages I maintain,
that were included into the gnu repository.

-- 
	Philip K.