aboutsummaryrefslogtreecommitdiff
path: root/math/coq
diff options
context:
space:
mode:
authorDirk Meyer <dinoex@FreeBSD.org>2010-02-05 11:46:55 +0000
committerDirk Meyer <dinoex@FreeBSD.org>2010-02-05 11:46:55 +0000
commitca9c60461cb276ee2afe18260afc8dec97c1b6f8 (patch)
tree723ef4dd1e7ab15998168c724ba862742907ca7a /math/coq
parentfba82b2a968f007c64e260a48433dc7f9e39a3b8 (diff)
downloadports-ca9c60461cb276ee2afe18260afc8dec97c1b6f8.tar.gz
ports-ca9c60461cb276ee2afe18260afc8dec97c1b6f8.zip
- update to jpeg-8
Notes
Notes: svn path=/head/; revision=249285
Diffstat (limited to 'math/coq')
-rw-r--r--math/coq/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile
index c3742a69880b..f7e927a5a506 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -7,7 +7,7 @@
PORTNAME= coq
PORTVERSION= 8.2.1
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= math
MASTER_SITES= http://coq.inria.fr/V${PORTVERSION:R}/files/ \
ftp://ftp.stack.nl/pub/users/johans/coq/