[BACK]Return to Makefile CVS log [TXT][DIR] Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

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

Diff for /pkgsrc/lang/coq/Makefile between version 1.12 and 1.13

version 1.12, 2006/01/27 19:22:58 version 1.13, 2006/02/05 23:09:44
Line 2 
Line 2 
 #  #
   
 DISTNAME=       coq-8.0pl3  DISTNAME=       coq-8.0pl3
   PKGREVISION=    1
 CATEGORIES=     lang math  CATEGORIES=     lang math
 MASTER_SITES=   ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/  MASTER_SITES=   ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/
   

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13

CVSweb <webmaster@jp.NetBSD.org>