Subject: CVS commit: pkgsrc/lang/coq
From: David A. Holland
Date: 2021-02-09 23:38:30
Message id: 20210209223830.785F9FA95@cvs.NetBSD.org
Log Message:
take MAINTAINER, ok jaapb@
Files:
RevisionActionfile
1.138modifypkgsrc/lang/coq/Makefile