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