summaryrefslogtreecommitdiff
path: root/ocaml
diff options
context:
space:
mode:
authorJuergen Daubert <jue@jue.li>2013-09-16 16:03:53 +0200
committerJuergen Daubert <jue@jue.li>2013-09-16 16:03:53 +0200
commitb76a3f7ccd09e45f07c737955ac60f81d2ccd526 (patch)
tree447297a57e0bc82e12a3488f3f3bc32b23d2cb9a /ocaml
parent800acaedecf4e23371acb610580c1c9e6b5628e4 (diff)
downloadopt-b76a3f7ccd09e45f07c737955ac60f81d2ccd526.tar.gz
opt-b76a3f7ccd09e45f07c737955ac60f81d2ccd526.tar.xz
ocaml: update to 4.01.0
Diffstat (limited to 'ocaml')
-rw-r--r--ocaml/.footprint9
-rw-r--r--ocaml/.md5sum2
-rw-r--r--ocaml/Pkgfile4
3 files changed, 12 insertions, 3 deletions
diff --git a/ocaml/.footprint b/ocaml/.footprint
index a7cff7a20..bf2a0dca7 100644
--- a/ocaml/.footprint
+++ b/ocaml/.footprint
@@ -268,6 +268,7 @@ drwxr-xr-x root/root usr/lib/ocaml/compiler-libs/
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/asmlibrarian.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/asmlink.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/asmpackager.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/ast_mapper.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/asttypes.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/btype.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/bytegen.cmi
@@ -287,8 +288,10 @@ drwxr-xr-x root/root usr/lib/ocaml/compiler-libs/
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/cmx_format.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/coloring.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/comballoc.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/compenv.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/compile.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/compilenv.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/compmisc.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/config.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/consistbl.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/ctype.cmi
@@ -299,6 +302,7 @@ drwxr-xr-x root/root usr/lib/ocaml/compiler-libs/
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/emitaux.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/emitcode.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/env.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/envaux.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/errors.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/expunge.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/genprintval.cmi
@@ -349,6 +353,7 @@ drwxr-xr-x root/root usr/lib/ocaml/compiler-libs/
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/parsetree.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/path.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/pparse.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/pprintast.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/predef.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/primitive.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/printast.cmi
@@ -393,6 +398,8 @@ drwxr-xr-x root/root usr/lib/ocaml/compiler-libs/
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typecore.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typedecl.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typedtree.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typedtreeIter.cmi
+-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typedtreeMap.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typemod.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/typeopt.cmi
-rw-r--r-- root/root usr/lib/ocaml/compiler-libs/types.cmi
@@ -532,6 +539,8 @@ drwxr-xr-x root/root usr/lib/ocaml/ocamlbuild/
-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_executor.o
-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_pack.cmi
-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_plugin.cmi
+-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_plugin.cmo
+-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_plugin.cmx
-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_unix_plugin.cmi
-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_unix_plugin.cmo
-rw-r--r-- root/root usr/lib/ocaml/ocamlbuild/ocamlbuild_unix_plugin.cmx
diff --git a/ocaml/.md5sum b/ocaml/.md5sum
index 6f093b02d..498f98c3f 100644
--- a/ocaml/.md5sum
+++ b/ocaml/.md5sum
@@ -1 +1 @@
-1c9dca1130edc0d1fa4647ae2cd7564a ocaml-4.00.1.tar.bz2
+32015b473de16ca19b82c728358eaa78 ocaml-4.01.0.tar.xz
diff --git a/ocaml/Pkgfile b/ocaml/Pkgfile
index c9fb9753f..26996f6cc 100644
--- a/ocaml/Pkgfile
+++ b/ocaml/Pkgfile
@@ -5,9 +5,9 @@
# Depends on: binutils gdbm
name=ocaml
-version=4.00.1
+version=4.01.0
release=1
-source=(http://caml.inria.fr/pub/distrib/$name-4.00/$name-$version.tar.bz2)
+source=(http://caml.inria.fr/pub/distrib/$name-4.01/$name-$version.tar.xz)
build() {
cd $name-$version

Generated by cgit