2016-12-19 12:25:40 UTC

6 files changed, 43 insertions, 30 deletions

diff --git a/metadata/md5-cache/dev-ml/iTeML-2.5 b/metadata/md5-cache/dev-ml/iTeML-2.5
new file mode 100644
index 000000000000..baa39b2c3fdb
--- /dev/null
+++ b/metadata/md5-cache/dev-ml/iTeML-2.5
@@ -0,0 +1,13 @@
+DEFINED_PHASES=install
+DEPEND=dev-ml/ounit:= dev-lang/ocaml:=[ocamlopt] >=dev-ml/qcheck-0.5:= dev-ml/ocamlbuild >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Inline (Unit) Tests for OCaml
+EAPI=5
+HOMEPAGE=https://github.com/vincent-hugot/iTeML
+KEYWORDS=~amd64
+LICENSE=GPL-3
+RDEPEND=dev-ml/ounit:= dev-lang/ocaml:=[ocamlopt] >=dev-ml/qcheck-0.5:=
+SLOT=0/2.5
+SRC_URI=https://github.com/vincent-hugot/iTeML/archive/v2.5.tar.gz -> iTeML-2.5.tar.gz
+_eclass_exported_funcs=src_install:-
+_eclasses_=findlib	9909e5ca0f77ff5b693885a3d7aeadb7
+_md5_=6ab2a3a3ee9e66e99ed0665e1205be8a
diff --git a/metadata/md5-cache/dev-ml/ocaml-containers-0.18 b/metadata/md5-cache/dev-ml/ocaml-containers-0.18
deleted file mode 100644
index 763e54b86017..000000000000
--- a/metadata/md5-cache/dev-ml/ocaml-containers-0.18
+++ /dev/null
@@ -1,14 +0,0 @@
-DEFINED_PHASES=compile configure install prepare test unpack
-DEPEND=dev-ml/result:= dev-ml/sequence:= dev-ml/cppo >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-3.12:=[ocamlopt?] || ( dev-ml/ocamlbuild <dev-lang/ocaml-4.02.3-r1 )
-DESCRIPTION=A modular standard library focused on data structures
-EAPI=5
-HOMEPAGE=https://github.com/c-cube/ocaml-containers
-IUSE=+ocamlopt debug doc
-KEYWORDS=~amd64
-LICENSE=BSD-2
-RDEPEND=dev-ml/result:= dev-ml/sequence:= >=dev-lang/ocaml-3.12:=[ocamlopt?]
-SLOT=0/0.18
-SRC_URI=https://github.com/c-cube/ocaml-containers/archive/0.18.tar.gz -> ocaml-containers-0.18.tar.gz
-_eclass_exported_funcs=src_unpack:base src_prepare:base src_configure:- src_compile:oasis src_test:oasis src_install:oasis
-_eclasses_=base	3fe4f8980633fd7bc69e9887209ba2fe	eutils	b83a2420b796f7c6eff682679d08fe25	findlib	9909e5ca0f77ff5b693885a3d7aeadb7	multilib	165fc17c38d1b11dac2008280dab6e80	oasis	473d7851a239e10730fd5d1f7301e7ca	toolchain-funcs	1b1da0c45c555989dc5d832b54880783
-_md5_=50dbb8eff240823ee5526bb503bd58f1
diff --git a/metadata/md5-cache/dev-ml/ocaml-containers-0.19 b/metadata/md5-cache/dev-ml/ocaml-containers-0.19
deleted file mode 100644
index 4b748f6770d3..000000000000
--- a/metadata/md5-cache/dev-ml/ocaml-containers-0.19
+++ /dev/null
@@ -1,14 +0,0 @@
-DEFINED_PHASES=compile configure install prepare test unpack
-DEPEND=dev-ml/result:= dev-ml/sequence:= dev-ml/cppo >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-3.12:=[ocamlopt?] || ( dev-ml/ocamlbuild <dev-lang/ocaml-4.02.3-r1 )
-DESCRIPTION=A modular standard library focused on data structures
-EAPI=5
-HOMEPAGE=https://github.com/c-cube/ocaml-containers
-IUSE=+ocamlopt debug doc
-KEYWORDS=~amd64
-LICENSE=BSD-2
-RDEPEND=dev-ml/result:= dev-ml/sequence:= >=dev-lang/ocaml-3.12:=[ocamlopt?]
-SLOT=0/0.19
-SRC_URI=https://github.com/c-cube/ocaml-containers/archive/0.19.tar.gz -> ocaml-containers-0.19.tar.gz
-_eclass_exported_funcs=src_unpack:base src_prepare:base src_configure:- src_compile:oasis src_test:oasis src_install:oasis
-_eclasses_=base	3fe4f8980633fd7bc69e9887209ba2fe	eutils	b83a2420b796f7c6eff682679d08fe25	findlib	9909e5ca0f77ff5b693885a3d7aeadb7	multilib	165fc17c38d1b11dac2008280dab6e80	oasis	473d7851a239e10730fd5d1f7301e7ca	toolchain-funcs	1b1da0c45c555989dc5d832b54880783
-_md5_=50dbb8eff240823ee5526bb503bd58f1
diff --git a/metadata/md5-cache/dev-ml/ocaml-containers-0.20 b/metadata/md5-cache/dev-ml/ocaml-containers-0.22
index db964ea6d0cb..5c42c614440d 100644
--- a/metadata/md5-cache/dev-ml/ocaml-containers-0.20
+++ b/metadata/md5-cache/dev-ml/ocaml-containers-0.22
@@ -7,8 +7,8 @@ IUSE=test +ocamlopt debug doc test
 KEYWORDS=~amd64
 LICENSE=BSD-2
 RDEPEND=dev-ml/result:= dev-ml/sequence:= >=dev-lang/ocaml-3.12:=[ocamlopt?]
-SLOT=0/0.20
-SRC_URI=https://github.com/c-cube/ocaml-containers/archive/0.20.tar.gz -> ocaml-containers-0.20.tar.gz
+SLOT=0/0.22
+SRC_URI=https://github.com/c-cube/ocaml-containers/archive/0.22.tar.gz -> ocaml-containers-0.22.tar.gz
 _eclass_exported_funcs=src_unpack:base src_prepare:base src_configure:- src_compile:oasis src_test:oasis src_install:oasis
 _eclasses_=base	3fe4f8980633fd7bc69e9887209ba2fe	eutils	b83a2420b796f7c6eff682679d08fe25	findlib	9909e5ca0f77ff5b693885a3d7aeadb7	multilib	165fc17c38d1b11dac2008280dab6e80	oasis	473d7851a239e10730fd5d1f7301e7ca	toolchain-funcs	1b1da0c45c555989dc5d832b54880783
 _md5_=c7f5905e394b8613e7b1a7d500d01231
diff --git a/metadata/md5-cache/dev-ml/qcheck-0.5 b/metadata/md5-cache/dev-ml/qcheck-0.5
new file mode 100644
index 000000000000..db84e3334c31
--- /dev/null
+++ b/metadata/md5-cache/dev-ml/qcheck-0.5
@@ -0,0 +1,14 @@
+DEFINED_PHASES=compile configure install prepare test unpack
+DEPEND=dev-ml/ounit:= !<dev-ml/iTeML-2.5 dev-ml/ocamlbuild >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-3.12:=[ocamlopt?] || ( dev-ml/ocamlbuild <dev-lang/ocaml-4.02.3-r1 )
+DESCRIPTION=QuickCheck inspired property-based testing for OCaml
+EAPI=5
+HOMEPAGE=https://github.com/c-cube/qcheck/
+IUSE=+ocamlopt debug
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/ounit:= !<dev-ml/iTeML-2.5 >=dev-lang/ocaml-3.12:=[ocamlopt?]
+SLOT=0
+SRC_URI=https://github.com/c-cube/qcheck/archive/0.5.tar.gz -> qcheck-0.5.tar.gz
+_eclass_exported_funcs=src_unpack:base src_prepare:base src_configure:oasis src_compile:oasis src_test:oasis src_install:oasis
+_eclasses_=base	3fe4f8980633fd7bc69e9887209ba2fe	eutils	b83a2420b796f7c6eff682679d08fe25	findlib	9909e5ca0f77ff5b693885a3d7aeadb7	multilib	165fc17c38d1b11dac2008280dab6e80	oasis	473d7851a239e10730fd5d1f7301e7ca	toolchain-funcs	1b1da0c45c555989dc5d832b54880783
+_md5_=1b0ab148957191f0a1b804c8912cc8a9
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.6 b/metadata/md5-cache/sci-mathematics/coq-8.6
new file mode 100644
index 000000000000..d0a669f1daaf
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.6
@@ -0,0 +1,14 @@
+DEFINED_PHASES=compile configure install test
+DEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( dev-ml/camlp4:= ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] ) doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-tex/xcolor dev-texlive/texlive-pictures dev-texlive/texlive-mathextra dev-texlive/texlive-latexextra )
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=5
+HOMEPAGE=http://coq.inria.fr/
+IUSE=gtk debug +ocamlopt doc camlp5
+KEYWORDS=~amd64 ~ppc ~x86
+LICENSE=LGPL-2.1
+RDEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( dev-ml/camlp4:= ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] )
+SLOT=0
+SRC_URI=http://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz
+_eclass_exported_funcs=src_configure:- src_compile:- src_test:- src_install:-
+_eclasses_=eutils	b83a2420b796f7c6eff682679d08fe25	multilib	165fc17c38d1b11dac2008280dab6e80	toolchain-funcs	1b1da0c45c555989dc5d832b54880783
+_md5_=7daa83b700b360f3ddab159a4315e72a