summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/capnp-ocaml: run proper build target in src_compile to avoid building ...Alexis Ballier2017-09-161-0/+4
* dev-ml/capnp-ocaml: Remove oldAlexis Ballier2017-09-164-441/+0
* dev-ml/zarith: keyworded 1.5 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/cryptokit: keyworded 1.12 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/cryptokit: keyworded 1.11 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ocaml-sqlite3: keyworded 4.2.0 for ppc, bug #627298Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_sexp_conv: keyworded 0.9.0-r1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_metaquot: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_js_style: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_hash: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_enumerate: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_driver: keyworded 0.9.1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_core: keyworded 0.9.0-r1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_compare: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_base: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/pcre-ocaml: keyworded 7.3.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/configurator: keyworded 0.9.1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/stdio: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_type_conv: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_traverse_builtins: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_optcomp: keyworded 0.9.0-r2 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_deriving: keyworded 4.2-r1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_derivers: keyworded 1.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ppx_ast: keyworded 0.9.1 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/octavius: keyworded 1.1.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/ocaml-compiler-libs: keyworded 0.9.0 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/base: keyworded 0.9.3 for ppc, bug #627836Sergei Trofimovich2017-09-101-1/+1
* dev-ml/llvm-ocaml: Bump to 5.0.0Michał Górny2017-09-082-0/+134
* dev-ml/jbuilder: bump to 1.0_beta13Alexis Ballier2017-09-082-0/+34
* dev-ml/ocaml-hashcons: bump to 1.3Alexis Ballier2017-09-012-0/+38
* dev-ml/mccs: initial importAlexis Ballier2017-08-263-0/+42
* dev-ml/ocaml-sqlite3: add missing deps, bug #627298Alexis Ballier2017-08-261-1/+4
* dev-ml/pcre-ocaml: add missing deps, bug #627836Alexis Ballier2017-08-261-2/+7
* dev-ml/opam-file-format: initial importAlexis Ballier2017-08-263-0/+41
* dev-ml/alcotest: bump to 0.8.2Alexis Ballier2017-08-262-0/+34
* dev-ml/ppx_deriving: fix installation path of ppx_deriving exe like in older ...Alexis Ballier2017-08-251-0/+1
* dev-ml/ocaml-migrate-parsetree: bump to 1.0.4Alexis Ballier2017-08-242-0/+21
* dev-ml/ppx_deriving: bump to 4.2Alexis Ballier2017-08-243-1/+52
* dev-ml/ppx_derivers: initial importAlexis Ballier2017-08-243-0/+31
* dev-ml/ocaml-stdint: bump to 0.4.2Alexis Ballier2017-08-232-0/+21
* dev-ml/jbuilder: bump to 1.0_beta12Alexis Ballier2017-08-232-0/+34
* dev-ml/qcheck: bump to 0.7Alexis Ballier2017-08-222-0/+24
* dev-ml/qcheck: Remove oldAlexis Ballier2017-08-224-69/+0
* dev-ml/batteries: Remove oldAlexis Ballier2017-08-174-148/+0
* dev-ml/batteries: bump to 2.7.0Alexis Ballier2017-08-172-0/+24
* dev-ml/llvm-ocaml: Include all experimental targets in -9999Michał Górny2017-08-151-2/+7
* dev-ml/llvm-ocaml: Disable RISCV following upstreamMichał Górny2017-08-152-2/+2
* dev-ml/core: Remove oldAlexis Ballier2017-08-152-37/+0
* dev-ml/core: convert to opam.eclass and add fix for glibc 2.25Alexis Ballier2017-08-152-10/+16