CVS commit: pkgsrc/lang/coq

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/lang/coq
From: "David A. Holland" <dholland%netbsd.org@localhost>
Date: Tue, 29 Dec 2015 06:22:54 +0000

Module Name:    pkgsrc
Committed By:   dholland
Date:           Tue Dec 29 06:22:54 UTC 2015

Modified Files:
        pkgsrc/lang/coq: distinfo
        pkgsrc/lang/coq/patches: patch-Makefile.build

Log Message:
pkglint


To generate a diff of this commit:
cvs rdiff -u -r1.22 -r1.23 pkgsrc/lang/coq/distinfo
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/coq/patches/patch-Makefile.build

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Prev by Date: CVS commit: pkgsrc/games/ufoai
Next by Date: CVS commit: pkgsrc/lang/japhar
Previous by Thread: CVS commit: pkgsrc/games/ufoai
Next by Thread: CVS commit: pkgsrc/lang/japhar
Indexes:

Home | Main Index | Thread Index | Old Index