summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/angstrom-unix: Remove oldAlexis Ballier2017-09-222-43/+0
* dev-ml/angstrom: remove oldAlexis Ballier2017-09-224-88/+0
* dev-ml/angstrom-lwt-unix: bump to 0.7.0Alexis Ballier2017-09-222-0/+34
* dev-ml/angstrom-async: bump to 0.7.0Alexis Ballier2017-09-222-0/+34
* dev-ml/angstrom-unix: bump to 0.7.0Alexis Ballier2017-09-222-0/+30
* dev-ml/angstrom: bump to 0.7.0Alexis Ballier2017-09-222-0/+29
* 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