aboutsummaryrefslogtreecommitdiff
path: root/math/alt-ergo
diff options
context:
space:
mode:
authorDirk Meyer <dinoex@FreeBSD.org>2012-06-01 05:26:28 +0000
committerDirk Meyer <dinoex@FreeBSD.org>2012-06-01 05:26:28 +0000
commit2b74a89bc8342f0b9b737c37d87737caf7b0ea1e (patch)
treec04604583d8be53b3ed7f10975be828c731f87cb /math/alt-ergo
parent24315159daa0089f08acea4ba1b130fb6721ad5c (diff)
Notes
Diffstat (limited to 'math/alt-ergo')
-rw-r--r--math/alt-ergo/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
index 5e2fe5a349be..cc4fd5263c54 100644
--- a/math/alt-ergo/Makefile
+++ b/math/alt-ergo/Makefile
@@ -7,6 +7,7 @@
PORTNAME= alt-ergo
PORTVERSION= 0.94
+PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= http://alt-ergo.lri.fr/http/ LOCAL/bf