42 files changed, 42 insertions, 23 deletions

diff --git a/archivers/ocaml-bz2/Makefile b/archivers/ocaml-bz2/Makefile
index 9fe6b0fcf0bc..414ae090de12 100644
--- a/archivers/ocaml-bz2/Makefile
+++ b/archivers/ocaml-bz2/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	bz2
 PORTVERSION=	0.6.0
+PORTREVISION=	1
 CATEGORIES=	archivers
 MASTER_SITES=	http://forge.ocamlcore.org/frs/download.php/72/
 PKGNAMEPREFIX=	ocaml-
diff --git a/archivers/ocaml-zip/Makefile b/archivers/ocaml-zip/Makefile
index b39bb3e7fedb..d55767da364d 100644
--- a/archivers/ocaml-zip/Makefile
+++ b/archivers/ocaml-zip/Makefile
@@ -8,6 +8,7 @@
 
 PORTNAME=	zip
 PORTVERSION=	1.04
+PORTREVISION=	1
 CATEGORIES=	archivers
 MASTER_SITES=	http://caml.inria.fr/distrib/bazar-ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/databases/ocaml-sqlite3/Makefile b/databases/ocaml-sqlite3/Makefile
index 9c59e847480c..dc87a49bcfa9 100644
--- a/databases/ocaml-sqlite3/Makefile
+++ b/databases/ocaml-sqlite3/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	sqlite3
 PORTVERSION=	1.0.3
+PORTREVISION=	1
 CATEGORIES=	databases
 MASTER_SITES=	http://www.ocaml.info/ocaml_sources/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-annexlib/Makefile b/devel/ocaml-annexlib/Makefile
index 70af0aed2358..5e181c7014af 100644
--- a/devel/ocaml-annexlib/Makefile
+++ b/devel/ocaml-annexlib/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	annexlib
 PORTVERSION=	0.13.2
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://raevnos.pennmush.org/code/extlib/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-calendar/Makefile b/devel/ocaml-calendar/Makefile
index 650489a4f183..0d0ea18a9d77 100644
--- a/devel/ocaml-calendar/Makefile
+++ b/devel/ocaml-calendar/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	calendar
 PORTVERSION=	2.03
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://forge.ocamlcore.org/frs/download.php/427/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-camljava/Makefile b/devel/ocaml-camljava/Makefile
index 32a38fef67c2..dda635704aec 100644
--- a/devel/ocaml-camljava/Makefile
+++ b/devel/ocaml-camljava/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	camljava
 PORTVERSION=	0.3
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	devel java
 MASTER_SITES=	http://caml.inria.fr/distrib/bazar-ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile
index 54bd01d43d6d..21c6a0377f47 100644
--- a/devel/ocaml-camlp5/Makefile
+++ b/devel/ocaml-camlp5/Makefile
@@ -8,6 +8,7 @@
 
 PORTNAME=	camlp5
 PORTVERSION=	6.02.0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://cristal.inria.fr/~ddr/camlp5/distrib/src/ \
 		http://pauillac.inria.fr/~ddr/camlp5/distrib/src/
diff --git a/devel/ocaml-camomile/Makefile b/devel/ocaml-camomile/Makefile
index fd0d9c788b0e..c9bba4b0d5e7 100644
--- a/devel/ocaml-camomile/Makefile
+++ b/devel/ocaml-camomile/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	camomile
 PORTVERSION=	0.7.2
-PORTREVISION=	0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	SF
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-cfg/Makefile b/devel/ocaml-cfg/Makefile
index d86a2e4893bf..7501f0cc474d 100644
--- a/devel/ocaml-cfg/Makefile
+++ b/devel/ocaml-cfg/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	cfg
 PORTVERSION=	1.7.4
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://www.ocaml.info/ocaml_sources/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-classes/Makefile b/devel/ocaml-classes/Makefile
index 92d9437a970a..29f0518ae2a5 100644
--- a/devel/ocaml-classes/Makefile
+++ b/devel/ocaml-classes/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	classes
 PORTVERSION=	3.05
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	devel
 MASTER_SITES=	http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/\
 		ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/\
diff --git a/devel/ocaml-equeue/Makefile b/devel/ocaml-equeue/Makefile
index 4d4988403fac..25a15c7f7615 100644
--- a/devel/ocaml-equeue/Makefile
+++ b/devel/ocaml-equeue/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	equeue
 PORTVERSION=	2.1.4
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	devel
 MASTER_SITES=	http://www.ocaml-programming.de/packages/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-event/Makefile b/devel/ocaml-event/Makefile
index 53f17b66877d..d83e0a71013e 100644
--- a/devel/ocaml-event/Makefile
+++ b/devel/ocaml-event/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	event
 PORTVERSION=	0.6.0
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://www.xs4all.nl/~mmzeeman/ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-extlib/Makefile b/devel/ocaml-extlib/Makefile
index 4136722e6674..64822475fcaf 100644
--- a/devel/ocaml-extlib/Makefile
+++ b/devel/ocaml-extlib/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	extlib
 PORTVERSION=	1.5.1
-PORTREVISION=	0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://ocaml-extlib.googlecode.com/files/
 MASTER_SITE_SUBDIR=	ocaml-lib
diff --git a/devel/ocaml-findlib/Makefile b/devel/ocaml-findlib/Makefile
index 15cd044ba86f..c8adc03a4c51 100644
--- a/devel/ocaml-findlib/Makefile
+++ b/devel/ocaml-findlib/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	findlib
 PORTVERSION=	1.2.6
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://download.camlcity.org/download/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-lacaml/Makefile b/devel/ocaml-lacaml/Makefile
index 6f2af79a38d9..82212325c4c0 100644
--- a/devel/ocaml-lacaml/Makefile
+++ b/devel/ocaml-lacaml/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	lacaml
 PORTVERSION=	5.4.7
-PORTREVISION=	0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://hg.ocaml.info/release/lacaml/archive/
 DISTNAME=	release-${PORTVERSION}
diff --git a/devel/ocaml-lwt/Makefile b/devel/ocaml-lwt/Makefile
index d52b41655f73..a310368a05ae 100644
--- a/devel/ocaml-lwt/Makefile
+++ b/devel/ocaml-lwt/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	lwt
 PORTVERSION=	1.1.0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://www.ocsigen.org/download/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-magic/Makefile b/devel/ocaml-magic/Makefile
index 6fc1253674ab..36fce1683304 100644
--- a/devel/ocaml-magic/Makefile
+++ b/devel/ocaml-magic/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	magic
 PORTVERSION=	0.7.3
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	SF/ocaml-${PORTNAME}/ocaml-${PORTNAME}/0.7
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-ounit/Makefile b/devel/ocaml-ounit/Makefile
index 2cc9c43026de..e94ff8168092 100644
--- a/devel/ocaml-ounit/Makefile
+++ b/devel/ocaml-ounit/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	ounit
 PORTVERSION=	1.0.3
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://www.xs4all.nl/~mmzeeman/ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-pcre/Makefile b/devel/ocaml-pcre/Makefile
index d9bb7e5a16c9..99d63ee17a23 100644
--- a/devel/ocaml-pcre/Makefile
+++ b/devel/ocaml-pcre/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	pcre
 PORTVERSION=	6.2.2
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://hg.ocaml.info/release/pcre-ocaml/archive/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-pomap/Makefile b/devel/ocaml-pomap/Makefile
index 6c759c78f898..9f14ad10ad46 100644
--- a/devel/ocaml-pomap/Makefile
+++ b/devel/ocaml-pomap/Makefile
@@ -9,6 +9,7 @@
 PORTNAME=	pomap
 PORTVERSION=	2.9.8
 PORTREVISION=	1
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://www.ocaml.info/ocaml_sources/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-res/Makefile b/devel/ocaml-res/Makefile
index 2f2cff3897e1..dbb3a0e211cc 100644
--- a/devel/ocaml-res/Makefile
+++ b/devel/ocaml-res/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	res
 PORTVERSION=	3.2.0
-PORTREVISION=	0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://hg.ocaml.info/release/res/archive/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-sdl/Makefile b/devel/ocaml-sdl/Makefile
index e561271433f5..f53bc0c2ae52 100644
--- a/devel/ocaml-sdl/Makefile
+++ b/devel/ocaml-sdl/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	sdl
 PORTVERSION=	0.7.2
-PORTREVISION=	8
+PORTREVISION=	9
 CATEGORIES=	devel
 MASTER_SITES=	SF/ocaml${PORTNAME}/OCamlSDL/ocaml${PORTNAME}-${PORTVERSION}
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-sem/Makefile b/devel/ocaml-sem/Makefile
index 6304c340f167..5484b880c49e 100644
--- a/devel/ocaml-sem/Makefile
+++ b/devel/ocaml-sem/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	sem
 PORTVERSION=	0.0.2
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://ocaml-sem.sourceforge.net/files/ \
 		SF/ocaml-${PORTNAME}/${PORTNAME}/${PORTVERSION}		
diff --git a/devel/ocaml-sexplib/Makefile b/devel/ocaml-sexplib/Makefile
index 2cc48e0e0d6d..488f613fc3a1 100644
--- a/devel/ocaml-sexplib/Makefile
+++ b/devel/ocaml-sexplib/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	sexplib
 PORTVERSION=	3.0.0
-PORTREVISION=	0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://www.janestcapital.com/ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-typeconv/Makefile b/devel/ocaml-typeconv/Makefile
index 456233276ed5..99b89d88dcd5 100644
--- a/devel/ocaml-typeconv/Makefile
+++ b/devel/ocaml-typeconv/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	type-conv
 PORTVERSION=	1.0.0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://janestcapital.com/ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-ulex/Makefile b/devel/ocaml-ulex/Makefile
index 69ae15d37076..bf2529852dc0 100644
--- a/devel/ocaml-ulex/Makefile
+++ b/devel/ocaml-ulex/Makefile
@@ -8,6 +8,7 @@
 
 PORTNAME=	ulex
 PORTVERSION=	1.1
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://www.cduce.org/download/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-xstr/Makefile b/devel/ocaml-xstr/Makefile
index 3a27bdd0d4f2..872f826c3093 100644
--- a/devel/ocaml-xstr/Makefile
+++ b/devel/ocaml-xstr/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	xstr
 PORTVERSION=	0.2.1
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://www.ocaml-programming.de/packages/
 PKGNAMEPREFIX=	ocaml-
diff --git a/devel/ocaml-xstrp4/Makefile b/devel/ocaml-xstrp4/Makefile
index 40b5a3231dce..2b00d32e834b 100644
--- a/devel/ocaml-xstrp4/Makefile
+++ b/devel/ocaml-xstrp4/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	xstrp4
 PORTVERSION=	1.7
-PORTREVISION=	0
+PORTREVISION=	1
 CATEGORIES=	devel
 MASTER_SITES=	http://download.camlcity.org/download/
 PKGNAMEPREFIX=	ocaml-
diff --git a/ftp/ocaml-ocurl/Makefile b/ftp/ocaml-ocurl/Makefile
index cded8e022046..3cd0a7eef247 100644
--- a/ftp/ocaml-ocurl/Makefile
+++ b/ftp/ocaml-ocurl/Makefile
@@ -5,6 +5,7 @@
 
 PORTNAME=	ocurl
 PORTVERSION=	0.5.3
+PORTREVISION=	1
 CATEGORIES=	ftp
 MASTER_SITES=	SF
 PKGNAMEPREFIX=	ocaml-
diff --git a/graphics/ocaml-images/Makefile b/graphics/ocaml-images/Makefile
index 24b86b0351cd..0560e40b444b 100644
--- a/graphics/ocaml-images/Makefile
+++ b/graphics/ocaml-images/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	images
 PORTVERSION=	3.0.2
-PORTREVISION=	6
+PORTREVISION=	7
 PORTEPOCH=	2
 CATEGORIES=	graphics
 MASTER_SITES=	ftp://ftp.inria.fr/INRIA/Projects/cristal/caml-light/bazar-ocaml/ \
diff --git a/graphics/ocaml-lablgl/Makefile b/graphics/ocaml-lablgl/Makefile
index a27618df7c51..0567401d21a2 100644
--- a/graphics/ocaml-lablgl/Makefile
+++ b/graphics/ocaml-lablgl/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	lablgl
 PORTVERSION=	1.04
+PORTREVISION=	1
 CATEGORIES=	graphics
 MASTER_SITES=	http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/
 PKGNAMEPREFIX=	ocaml-
diff --git a/lang/ocaml-camlidl/Makefile b/lang/ocaml-camlidl/Makefile
index 4d49b980b2a8..d9b576fe0f78 100644
--- a/lang/ocaml-camlidl/Makefile
+++ b/lang/ocaml-camlidl/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	camlidl
 PORTVERSION=	1.05
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	lang
 MASTER_SITES=	http://caml.inria.fr/distrib/bazar-ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/math/ocaml-ocamlgraph/Makefile b/math/ocaml-ocamlgraph/Makefile
index 917eed22440b..dd9f7e83361e 100644
--- a/math/ocaml-ocamlgraph/Makefile
+++ b/math/ocaml-ocamlgraph/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	ocamlgraph
 PORTVERSION=	1.7
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	http://ocamlgraph.lri.fr/download/
 PKGNAMEPREFIX=	ocaml-
diff --git a/security/ocaml-cryptgps/Makefile b/security/ocaml-cryptgps/Makefile
index 0d0686af4539..105edc761bd6 100644
--- a/security/ocaml-cryptgps/Makefile
+++ b/security/ocaml-cryptgps/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	cryptgps
 PORTVERSION=	0.2.1
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	security
 MASTER_SITES=	http://www.ocaml-programming.de/packages/
 PKGNAMEPREFIX=	ocaml-
diff --git a/security/ocaml-cryptokit/Makefile b/security/ocaml-cryptokit/Makefile
index f8be4b4e75fc..36904960a196 100644
--- a/security/ocaml-cryptokit/Makefile
+++ b/security/ocaml-cryptokit/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	cryptokit
 PORTVERSION=	1.3
-PORTREVISION=	3
+PORTREVISION=	4
 CATEGORIES=	security
 MASTER_SITES=	http://caml.inria.fr/distrib/bazar-ocaml/
 PKGNAMEPREFIX=	ocaml-
diff --git a/security/ocaml-ssl/Makefile b/security/ocaml-ssl/Makefile
index 5ea924940359..0fb5fc096b59 100644
--- a/security/ocaml-ssl/Makefile
+++ b/security/ocaml-ssl/Makefile
@@ -6,6 +6,7 @@
 
 PORTNAME=	ssl
 PORTVERSION=	0.4.3
+PORTREVISION=	1
 CATEGORIES=	security devel
 MASTER_SITES=	SF/savonet/ocaml-${PORTNAME}/${PORTVERSION}
 PKGNAMEPREFIX=	ocaml-
diff --git a/textproc/ocaml-csv/Makefile b/textproc/ocaml-csv/Makefile
index 43c34952892a..bde8155cecf1 100644
--- a/textproc/ocaml-csv/Makefile
+++ b/textproc/ocaml-csv/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	ocaml-csv
 PORTVERSION=	1.2.1
+PORTREVISION=	1
 CATEGORIES=	textproc
 MASTER_SITES=	https://forge.ocamlcore.org/frs/download.php/420/
 
diff --git a/textproc/ocaml-expat/Makefile b/textproc/ocaml-expat/Makefile
index 93e79d4eca84..ba09e8b2a024 100644
--- a/textproc/ocaml-expat/Makefile
+++ b/textproc/ocaml-expat/Makefile
@@ -8,7 +8,7 @@
 
 PORTNAME=	ocaml-expat
 PORTVERSION=	0.9.1
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	textproc
 MASTER_SITES=	http://www.xs4all.nl/~mmzeeman/ocaml/
 
diff --git a/textproc/ocaml-pxp/Makefile b/textproc/ocaml-pxp/Makefile
index e6cd674d3378..caec41574da2 100644
--- a/textproc/ocaml-pxp/Makefile
+++ b/textproc/ocaml-pxp/Makefile
@@ -7,6 +7,7 @@
 
 PORTNAME=	pxp
 PORTVERSION=	1.2.1
+PORTREVISION=	1
 CATEGORIES=	textproc
 MASTER_SITES=	http://download.camlcity.org/download/
 PKGNAMEPREFIX=	ocaml-
diff --git a/www/ocaml-net/Makefile b/www/ocaml-net/Makefile
index d4d0345a0f43..b09bc0aa5fb0 100644
--- a/www/ocaml-net/Makefile
+++ b/www/ocaml-net/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	net
 PORTVERSION=	2.2.9
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	www
 MASTER_SITES=	SF/ocaml${PORTNAME}/ocaml${PORTNAME}/${PORTVERSION}
 PKGNAMEPREFIX=	ocaml-
diff --git a/x11-toolkits/ocaml-lablgtk/Makefile b/x11-toolkits/ocaml-lablgtk/Makefile
index 01500d6b8a73..f18508ee79cf 100644
--- a/x11-toolkits/ocaml-lablgtk/Makefile
+++ b/x11-toolkits/ocaml-lablgtk/Makefile
@@ -7,7 +7,7 @@
 
 PORTNAME=	lablgtk
 PORTVERSION=	1.2.7
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	x11-toolkits
 MASTER_SITES=	http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/ \
 		ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/
diff --git a/x11-toolkits/ocaml-lablgtk2/Makefile b/x11-toolkits/ocaml-lablgtk2/Makefile
index 957b6f8b469e..f8300f92d8d2 100644
--- a/x11-toolkits/ocaml-lablgtk2/Makefile
+++ b/x11-toolkits/ocaml-lablgtk2/Makefile
@@ -6,6 +6,7 @@
 
 PORTNAME=	lablgtk2
 PORTVERSION=	2.14.2
+PORTREVISION=	1
 CATEGORIES=	x11-toolkits
 MASTER_SITES=	ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ \
 		http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/ \