diff options
author | obache <obache> | 2012-09-15 10:03:29 +0000 |
---|---|---|
committer | obache <obache> | 2012-09-15 10:03:29 +0000 |
commit | 82870a0e7cf41332efdec864d6fdc727c40a9794 (patch) | |
tree | 8faf04c1c75d686de4b4032499fe5b2a290498ff /lang/coq | |
parent | 3ead1740d30a1cfd9eda491a446873a83ef45792 (diff) | |
download | pkgsrc-82870a0e7cf41332efdec864d6fdc727c40a9794.tar.gz |
recursive bump from libffi shlib major bump
(additionaly, reset PKGREVISION of qt4-* sub packages from base qt4 update)
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 6039158e590..6ac481a077f 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.44 2012/09/07 19:17:00 adam Exp $ +# $NetBSD: Makefile,v 1.45 2012/09/15 10:05:18 obache Exp $ # DISTNAME= coq-8.3pl1 -PKGREVISION= 12 +PKGREVISION= 13 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V8.3pl1/files/ |