diff options
| author | prlw1 <prlw1@pkgsrc.org> | 2016-05-03 11:40:00 +0000 |
|---|---|---|
| committer | prlw1 <prlw1@pkgsrc.org> | 2016-05-03 11:40:00 +0000 |
| commit | ce9787f40b9a60d1d384e7dbda7adf4e17dffea6 (patch) | |
| tree | 5a3106e603f2093d7172fa2cfbdd8c5759a79486 /lang/coq | |
| parent | d9848f3d79acf24ad28c3e1da51167b650a1c771 (diff) | |
| download | pkgsrc-ce9787f40b9a60d1d384e7dbda7adf4e17dffea6.tar.gz | |
revbump for libsoup's ABI issue
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 355c23c1e4c..6232dd0aee8 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.87 2016/04/11 19:01:54 ryoon Exp $ +# $NetBSD: Makefile,v 1.88 2016/05/03 11:40:04 prlw1 Exp $ # DISTNAME= coq-8.5 -PKGREVISION= 2 +PKGREVISION= 3 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ |