Synopsis: lang/coq PLIST inaccuracies related to coqide Responsible-Changed-From-To: pkg-manager->jaapb Responsible-Changed-By: jaapb%NetBSD.org@localhost Responsible-Changed-When: Thu, 26 Oct 2017 10:57:18 +0000 Responsible-Changed-Why: I'll take it (maintainer of package)