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
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
