diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-11-12 16:10:16 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-11-12 16:10:16 +0000 |
| commit | fe2799bea85c73f75e2898b34b0c039a3a9b873a (patch) | |
| tree | 9e744199ee6d5802740a1055f645751d24302cb2 /devel/frama-c | |
| parent | 55ef9340e10a687ab382888d21257a145893785d (diff) | |
| download | pkgsrc-fe2799bea85c73f75e2898b34b0c039a3a9b873a.tar.gz | |
Revbumps associated with update of lang/ocaml.
Diffstat (limited to 'devel/frama-c')
| -rw-r--r-- | devel/frama-c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index 21476b15b70..9a2ce30ea2b 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.83 2018/11/12 03:51:52 ryoon Exp $ +# $NetBSD: Makefile,v 1.84 2018/11/12 16:10:18 jaapb Exp $ # DISTNAME= frama-c-Phosphorus-20170501 PKGNAME= ${DISTNAME:S/-Phosphorus//} -PKGREVISION= 15 +PKGREVISION= 16 CATEGORIES= devel MASTER_SITES= https://frama-c.com/download/ |