diff options
| author | dinoex <dinoex@FreeBSD.org> | 2010-03-28 14:47:48 +0800 |
|---|---|---|
| committer | dinoex <dinoex@FreeBSD.org> | 2010-03-28 14:47:48 +0800 |
| commit | e8efdd21e5ff43846d793d8491abfecf222c6dc2 (patch) | |
| tree | b0a924a25960c5a794c5f3614258ee9387d99e7f /math/proofgeneral | |
| parent | 2cff994f91a2b9cc6ebdf1c83056d6e0bfbf5f54 (diff) | |
| download | freebsd-ports-gnome-e8efdd21e5ff43846d793d8491abfecf222c6dc2.tar.gz freebsd-ports-gnome-e8efdd21e5ff43846d793d8491abfecf222c6dc2.tar.zst freebsd-ports-gnome-e8efdd21e5ff43846d793d8491abfecf222c6dc2.zip | |
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index ae3979cf0b3a..79ef9be0d94f 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -7,7 +7,7 @@ PORTNAME= proofgeneral PORTVERSION= 3.7.1 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ DISTNAME= ProofGeneral-3.7.1 |