lang/coq/MESSAGE:	$NetBSD: MESSAGE,v 1.1.1.1 2003/03/22 20:21:16 kristerw Exp $
lang/coq/Makefile:	$NetBSD: Makefile,v 1.117 2018/12/09 18:52:33 adam Exp $
lang/coq/PLIST:	$NetBSD: PLIST,v 1.28 2018/08/02 12:57:03 jaapb Exp $
lang/coq/distinfo:	$NetBSD: distinfo,v 1.31 2018/08/02 12:57:03 jaapb Exp $
lang/coq/options.mk:	$NetBSD: options.mk,v 1.4 2018/08/02 12:57:03 jaapb Exp $
lang/coq/patches/patch-Makefile.common:	$NetBSD: patch-Makefile.common,v 1.4 2017/11/03 11:20:28 jaapb Exp $
