diff options
Diffstat (limited to 'lang/maude/Makefile')
| -rw-r--r-- | lang/maude/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 15ac3a58ce06..74378f054149 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -7,6 +7,7 @@ PORTNAME= maude PORTVERSION= 2.3 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ DISTNAME= Maude-${PORTVERSION} |