diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:13:33 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:13:33 +0000 |
| commit | 111ea77efccba867a6e4e248d81c4f1fe8131b4f (patch) | |
| tree | eb283e62e4097110094ffe21f071a1b940feb330 /math/proofgeneral/Makefile | |
| parent | dd06f492078dfc8155802817bb01099ab58bd0cb (diff) | |
Notes
Diffstat (limited to 'math/proofgeneral/Makefile')
| -rw-r--r-- | math/proofgeneral/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 298e87dfc6c0..a564534747ac 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -6,11 +6,11 @@ # PORTNAME= proofgeneral -PORTVERSION= 3.6 -PORTREVISION= 8 +PORTVERSION= 3.7 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ -DISTNAME= ProofGeneral-3.6pre061107 +DISTNAME= ProofGeneral-3.7 +EXTRACT_SUFX= .tgz MAINTAINER= timbob@bigpond.com COMMENT= A generic interface for proof assistants |