[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.106 and 1.107

version 1.106, 2018/03/12 11:16:58 version 1.107, 2018/04/09 11:29:23
Line 1 
Line 1 
 # $NetBSD$  # $NetBSD$
 #  #
   
 DISTNAME=       coq-8.7.1  DISTNAME=       coq-8.7.2
 PKGREVISION=    2  
 CATEGORIES=     lang math  CATEGORIES=     lang math
 MASTER_SITES=   http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/  MASTER_SITES=   ${MASTER_SITE_GITHUB:=coq/}
   GITHUB_TAG=     V${PKGVERSION_NOREV}
   
 MAINTAINER=     jaapb@NetBSD.org  MAINTAINER=     jaapb@NetBSD.org
 HOMEPAGE=       http://coq.inria.fr/  HOMEPAGE=       http://coq.inria.fr/
 COMMENT=        Theorem prover which extracts programs from proofs  COMMENT=        Theorem prover which extracts programs from proofs
 LICENSE=        gnu-lgpl-v2.1  LICENSE=        gnu-lgpl-v2.1
   
   WRKSRC=         ${WRKDIR}/${DISTNAME}
   
 USE_TOOLS+=             gmake  USE_TOOLS+=             gmake
 HAS_CONFIGURE=          yes  HAS_CONFIGURE=          yes
 CONFIGURE_ARGS+=        -prefix ${PREFIX}  CONFIGURE_ARGS+=        -prefix ${PREFIX}
Legend:
Removed from v.1.106  
changed lines
  Added in v.1.107
CVSweb <webmaster@jp.NetBSD.org>