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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
