summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/menhir: version bump.Alexis Ballier2015-09-242-0/+37
* dev-ml/cppo: bump to 1.3.1.Alexis Ballier2015-09-212-0/+32
* dev-ml/parmap: bump to 1.0_rc7Alexis Ballier2015-09-212-0/+47
* dev-ml/cppo: remove old.Alexis Ballier2015-09-214-93/+0
* dev-ml/extlib: Fix deps. Upstream switched from camlp4 to cppo.Alexis Ballier2015-09-191-2/+2
* dev-ml/ocaml-expect: bump to 0.0.5Alexis Ballier2015-09-192-0/+28
* dev-ml/ocaml-expect: remove old.Alexis Ballier2015-09-192-27/+0
* dev-ml/async: bump to 113.00.00Alexis Ballier2015-09-192-0/+40
* dev-ml/async: remove old.Alexis Ballier2015-09-193-80/+0
* dev-ml/async_extra: bump to 113.00.00Alexis Ballier2015-09-192-0/+39
* dev-ml/async_extra: remove old.Alexis Ballier2015-09-193-76/+0
* dev-ml/async_rpc_kernel: bump to 113.00.00Alexis Ballier2015-09-192-0/+30
* dev-ml/async_unix: bump to 113.00.00Alexis Ballier2015-09-192-0/+37
* dev-ml/async_unix: remove old.Alexis Ballier2015-09-193-74/+0
* dev-ml/async_kernel: bump to 113.00.00Alexis Ballier2015-09-192-0/+34
* dev-ml/async_kernel: remove old.Alexis Ballier2015-09-193-68/+0
* dev-ml/bignum: initial import, ebuild by me.Alexis Ballier2015-09-193-0/+35
* dev-ml/zarith: initial import, bug #388903Alexis Ballier2015-09-193-0/+55
* dev-ml/comparelib: bump to 113.00.00Alexis Ballier2015-09-192-0/+23
* dev-ml/pipebang: bump to 113.00.00Alexis Ballier2015-09-192-0/+21
* dev-ml/pipebang: remove old.Alexis Ballier2015-09-193-42/+0
* dev-ml/core_profiler: bump to 113.00.00Alexis Ballier2015-09-192-0/+34
* dev-ml/core_bench: remove old.Alexis Ballier2015-09-192-30/+0
* dev-ml/core_extended: bump to 113.00.00Alexis Ballier2015-09-192-0/+38
* dev-ml/core_extended: remove old.Alexis Ballier2015-09-193-76/+0
* dev-ml/re2: bump to 113.00.00Alexis Ballier2015-09-192-0/+33
* dev-ml/core: bump to 113.00.00Alexis Ballier2015-09-192-0/+42
* dev-ml/core: remove old.Alexis Ballier2015-09-195-165/+0
* dev-ml/core_kernel: bump to 113.00.00Alexis Ballier2015-09-192-0/+44
* dev-ml/custom_printf: bump to 113.00.00Alexis Ballier2015-09-192-0/+25
* dev-ml/custom_printf: remove old.Alexis Ballier2015-09-192-25/+0
* dev-ml/incremental: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/fieldslib: bump to 113.00.00Alexis Ballier2015-09-192-0/+27
* dev-ml/fieldslib: remove old.Alexis Ballier2015-09-193-54/+0
* dev-ml/bin-prot: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/bin-prot: remove old.Alexis Ballier2015-09-193-58/+0
* dev-ml/comparelib: remove oldAlexis Ballier2015-09-192-23/+0
* dev-ml/re2: remove old.Alexis Ballier2015-09-195-128/+0
* dev-ml/pa_structural_sexp: bump to 113.00.00Alexis Ballier2015-09-192-0/+24
* dev-ml/pa_ounit: bump to 113.00.00Alexis Ballier2015-09-192-0/+23
* dev-ml/pa_ounit: remove old.Alexis Ballier2015-09-193-46/+0
* dev-ml/sexplib: bump to 113.00.00Alexis Ballier2015-09-192-0/+26
* dev-ml/type-conv: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/type-conv: remove oldAlexis Ballier2015-09-193-58/+0
* dev-ml/sexplib: remove old.Alexis Ballier2015-09-193-52/+0
* dev-ml/typerep_extended: bump to 113.00.00Alexis Ballier2015-09-192-0/+30
* dev-ml/typerep: bump to 113.00.00Alexis Ballier2015-09-192-0/+26
* dev-ml/typerep: remove old.Alexis Ballier2015-09-193-53/+0
* dev-ml/menhir: bump to 20150914.Alexis Ballier2015-09-162-0/+37
* Add remote-idJustin Lecher2015-09-162-1/+5