Bug#524037: libcoq-ocaml-dev: homepage address duplicated into long description

[Gerfried Fuchs <rhonda@debian.at>]

Package: libcoq-ocaml-dev
Version: 8.2-1+dfsg-1
Severity: minor

        Hi!

 The homepage is already mentioned in the Homepage field and shouldn't
get duplicated into the long description. :)

 So long, and thanks for your great work nevertheless!
Rhonda