summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
...
* dev-ml/ppx_metaquot: Force "upgrade" to latest ppx_core, bug #614922Alexis Ballier2017-04-071-0/+1
* dev-ml/base: Force "upgrade" to latest sexplib with new versionning scheme, b...Alexis Ballier2017-04-071-1/+5
* dev-ml/incremental_kernel: Force "upgrade" on ppx_jane/ppx_driver, bug #614578Alexis Ballier2017-04-061-0/+2
* dev-ml/core_extended: Force "upgrade" on ppx_jane/ppx_driver, bug #614688Alexis Ballier2017-04-061-0/+2
* dev-ml/zed: Add missing opam depAlexis Ballier2017-04-061-0/+1
* dev-ml/zed: Bump to 1.5Alexis Ballier2017-04-062-0/+35
* dev-ml/flow_parser: Bump to 0.43.1Alexis Ballier2017-04-062-0/+37
* dev-ml/ocaml-ctypes: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/jsonm: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/uutf: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/cmdliner: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/dose3: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/ocurl: add ~arm, bug #611014Markus Meier2017-04-051-2/+2
* dev-ml/lwt: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/ocaml-ssl: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/ppx_tools: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/react: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/opam: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/cudf: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/ocamlgraph: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/ocamlweb: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/lablgtk: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/lablgl: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/ocaml-re: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/extlib: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* Revert "dev-ml/cppo: add ~ppc (bug 527318)."Michael Weber2017-04-051-1/+1
* dev-ml/xml-light: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/uutf: add ~ppc (bug 527318).Michael Weber2017-04-052-2/+2
* dev-ml/type-conv: add ~ppc (bug 527318).Michael Weber2017-04-051-2/+2
* dev-ml/sexplib: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/jbuilder: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/result: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/react: add ~ppc (bug 527318).Michael Weber2017-04-052-3/+3
* dev-ml/topkg: add ~ppc (bug 527318).Michael Weber2017-04-052-2/+2
* dev-ml/ppx_tools: add ~ppc (bug 527318).Michael Weber2017-04-052-3/+3
* dev-ml/opam: add ~ppc (bug 527318).Michael Weber2017-04-052-2/+2
* dev-ml/ocaml-re: add ~ppc (bug 527318).Michael Weber2017-04-051-2/+2
* dev-ml/lwt: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/jsonm: add ~ppc (bug 527318).Michael Weber2017-04-052-2/+2
* dev-ml/uchar: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/dose3: add ~ppc (bug 527318).Michael Weber2017-04-051-2/+2
* dev-ml/parmap: add ~ppc (bug 527318).Michael Weber2017-04-052-3/+3
* dev-ml/cudf: add ~ppc (bug 527318).Michael Weber2017-04-051-2/+2
* dev-ml/cppo: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/cmdliner: add ~ppc (bug 527318).Michael Weber2017-04-052-3/+3
* dev-ml/camlbz2: add ~ppc (bug 527318).Michael Weber2017-04-051-1/+1
* dev-ml/ppx_tools: fix remote idAlexis Ballier2017-04-041-1/+1
* dev-ml/merlin: Initial importAlexis Ballier2017-04-033-0/+42
* dev-ml/ocaml-websocket: Initial importAlexis Ballier2017-04-033-0/+67
* dev-ml/flow_parser: Initial import.Alexis Ballier2017-04-033-0/+45