Package: libwhy-coq Version: 2.18.dfsg-2 Severity: normal Hi! The long description of libwhy-coq is this: #v+ Description: Why library for Coq This package contains Why library for Coq. #v- This is just one short sentence not really describing what libwhy-coq is about, and what the Why library is. Please expand it a bit further. So long, and thanks for your great work nevertheless! Rhonda