diff options
Diffstat (limited to 'math/isabelle/Makefile')
| -rw-r--r-- | math/isabelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index ae74eda7f151..61384f95ae92 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -7,6 +7,7 @@ PORTNAME= isabelle PORTVERSION= 2005 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://isabelle.in.tum.de/dist/ \ http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \ |