diff options
| author | Florent Thoumie <flz@FreeBSD.org> | 2007-05-19 20:36:56 +0000 |
|---|---|---|
| committer | Florent Thoumie <flz@FreeBSD.org> | 2007-05-19 20:36:56 +0000 |
| commit | d4f0d0048a8755106a4b0445221a19761e746984 (patch) | |
| tree | c87184c5bfeaf942c827c5f706186ce9786a2588 /devel/menhir | |
| parent | e82affd309fc2d8e5ea19b2e003f1296920bd825 (diff) | |
| download | ports-d4f0d0048a8755106a4b0445221a19761e746984.tar.gz ports-d4f0d0048a8755106a4b0445221a19761e746984.zip | |
Notes
Diffstat (limited to 'devel/menhir')
| -rw-r--r-- | devel/menhir/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index f073fa1b69b5..d67a3cd033f8 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -7,6 +7,7 @@ PORTNAME= menhir PORTVERSION= 20070215 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ |