diff options
| author | Ashish SHUKLA <ashish@FreeBSD.org> | 2013-03-30 05:13:30 +0000 |
|---|---|---|
| committer | Ashish SHUKLA <ashish@FreeBSD.org> | 2013-03-30 05:13:30 +0000 |
| commit | 7fc5bd70f304960d548c295f626246d604c95564 (patch) | |
| tree | b7bada52f6c86c598f322b8419f7e1f930917b31 /math/proofgeneral | |
| parent | 826c313a0ed2f3235d705c8acc3bce9bdc6aeaff (diff) | |
| download | ports-7fc5bd70f304960d548c295f626246d604c95564.tar.gz ports-7fc5bd70f304960d548c295f626246d604c95564.zip | |
Notes
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 25ca9ba88c54..284fce62518c 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -7,7 +7,7 @@ PORTNAME= proofgeneral PORTVERSION= 4.1 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ PKGNAMESUFFIX= -${EMACS_NAME} |