Up to [cvs.NetBSD.org] / pkgsrc / lang / coq
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: pkgsrc-2004Q1
Revision 1.3 / (download) - annotate - [select for diffs], Sat Jan 24 13:51:14 2004 UTC (20 years, 2 months ago) by grant
Branch: MAIN
CVS Tags: pkgsrc-2004Q1-base,
pkgsrc-2004Q1
Changes since 1.2: +2 -2
lines
Diff to previous 1.2 (colored)
replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.