diff options
| -rw-r--r-- | devel/kelp/Makefile | 2 | ||||
| -rw-r--r-- | devel/kelp/distinfo | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/devel/kelp/Makefile b/devel/kelp/Makefile index 6f582197f476..6722ae4368ee 100644 --- a/devel/kelp/Makefile +++ b/devel/kelp/Makefile @@ -5,7 +5,7 @@ # PORTNAME= kelp -PORTVERSION= 1.3 +PORTVERSION= 1.3_1 CATEGORIES= devel MASTER_SITES= ftp://ftp.cs.ucsd.edu/pub/scg/KeLP/ DISTNAME= KeLP1.3 diff --git a/devel/kelp/distinfo b/devel/kelp/distinfo index 409f0fcf1832..9f2aaff114e4 100644 --- a/devel/kelp/distinfo +++ b/devel/kelp/distinfo @@ -1 +1 @@ -MD5 (KeLP1.3.tar.gz) = 608af95d3401c6d27d23613fc13069fc +MD5 (KeLP1.3.tar.gz) = f352cad7dbb8285ec67f7a4daef37c72 |