diff options
author | ryoon <ryoon@pkgsrc.org> | 2016-12-04 05:17:03 +0000 |
---|---|---|
committer | ryoon <ryoon@pkgsrc.org> | 2016-12-04 05:17:03 +0000 |
commit | e46b432b0ed13da53a2815225113f52577f86d5d (patch) | |
tree | f746272dee6583f36204dffaedbc4a0715372c36 /lang/coq | |
parent | 1053e1da58d04fc8d3a31a3bfd648f46f4fee6fe (diff) | |
download | pkgsrc-e46b432b0ed13da53a2815225113f52577f86d5d.tar.gz |
Recursive revbump from textproc/icu 58.1
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index c90e92122d7..c1ad18241c3 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.91 2016/08/03 10:23:03 adam Exp $ +# $NetBSD: Makefile,v 1.92 2016/12/04 05:17:31 ryoon Exp $ # DISTNAME= coq-8.5pl1 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ |