diff options
| -rw-r--r-- | shells/pdksh/Makefile | 6 | ||||
| -rw-r--r-- | shells/pdksh/distinfo | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/shells/pdksh/Makefile b/shells/pdksh/Makefile index b80017575417..3e36587692bf 100644 --- a/shells/pdksh/Makefile +++ b/shells/pdksh/Makefile @@ -1,12 +1,12 @@ # New ports collection makefile for: pdksh -# Version required: 5.2.11 +# Version required: 5.2.12 # Date created: 23 May 1995 # Whom: thomas@ghpc8.ihf.rwth-aachen.de # -# $Id: Makefile,v 1.13 1996/10/01 06:54:09 tg Exp $ +# $Id: Makefile,v 1.14 1996/10/16 06:34:33 tg Exp $ # -DISTNAME= pdksh-5.2.11 +DISTNAME= pdksh-5.2.12 CATEGORIES+= shells MASTER_SITES= ftp://ftp.cs.mun.ca/pub/pdksh/ diff --git a/shells/pdksh/distinfo b/shells/pdksh/distinfo index 67e53f711c8f..63174a55f331 100644 --- a/shells/pdksh/distinfo +++ b/shells/pdksh/distinfo @@ -1 +1 @@ -MD5 (pdksh-5.2.11.tar.gz) = c498a3e93ddd1a5b6a18ee79cbfb0203 +MD5 (pdksh-5.2.12.tar.gz) = b622d7b961dbb6dc9cccd237a68ff151 |