Subject: CVS commit: pkgsrc/lang/coq
From: David A. Holland
Date: 2020-03-01 06:25:14
Message id: 20200301052514.1F68FFBF4@cvs.NetBSD.org
Log Message:
lang/coq now needs adwaita-icon-theme.

(without it the new coqide is missing things, and it seems to
specifically refer to adwaita-icon-theme by name)

Bump PKGREVISION to 1, since coqide is a default-on option.
Files:
RevisionActionfile
1.129modifypkgsrc/lang/coq/Makefile
1.10modifypkgsrc/lang/coq/options.mk