diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2014-07-05 19:27:03 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2014-07-05 19:27:03 +0000 |
| commit | 021be14f65e3b732ae6982186bf54dbd69a69883 (patch) | |
| tree | 549a2be83e3dcddc6f89b8dad7a2a0255a9fc86a /lang/twelf | |
| parent | b72419c1f0f62f8e6230d2844e52e07d11a96053 (diff) | |
| download | ports-021be14f65e3b732ae6982186bf54dbd69a69883.tar.gz ports-021be14f65e3b732ae6982186bf54dbd69a69883.zip | |
Notes
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index aefd74a9f0ab..78fd521463e7 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -9,7 +9,7 @@ MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/ DISTNAME= twelf-1-5R1 MAINTAINER= ports@FreeBSD.org -COMMENT= A meta-logical framework for deductive systems +COMMENT= Meta-logical framework for deductive systems .if defined(WITH_MLTON) RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton |