summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: Stabilize 1.4-r1 ppc64, #783576Sam James2021-04-191-1/+1
* dev-ml/zarith: Stabilize 1.12 x86, #783585Sam James2021-04-181-1/+1
* dev-ml/cinaps: Stabilize 0.15.0 x86, #783573Sam James2021-04-181-1/+1
* dev-ml/cinaps: Stabilize 0.15.0 amd64, #783573Sam James2021-04-181-1/+1
* dev-ml/zarith: Stabilize 1.12 ppc, #783585Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 ppc, #783576Sam James2021-04-181-1/+1
* dev-ml/camldbm: Stabilize 1.2 ppc, #783570Sam James2021-04-181-1/+1
* dev-ml/zarith: Stabilize 1.12 amd64, #783585Sam James2021-04-181-1/+1
* dev-ml/ocaml-ssl: Stabilize 0.5.10 amd64, #783579Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 amd64, #783576Sam James2021-04-181-1/+1
* dev-ml/camldbm: Stabilize 1.2 amd64, #783570Sam James2021-04-181-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
* dev-ml/dune-private-libs: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
* dev-ml/dune: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
* dev-ml/ocaml-ssl: Stabilize 0.5.10 x86, #783579Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 x86, #783576Sam James2021-04-181-1/+1
* dev-ml/camldbm: Stabilize 1.2 x86, #783570Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 arm, #783576Sam James2021-04-181-1/+1
* dev-ml/camldbm: Stabilize 1.2 arm, #783570Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 arm64, #783576Sam James2021-04-181-1/+1
* dev-ml/xml-light: eutils->epatchSam James2021-04-161-2/+6
* dev-ml/opam: eutils->epatchSam James2021-04-161-1/+2
* dev-ml/ocplib-simplex: multilib--Sam James2021-04-161-10/+5
* dev-ml/num: multilib--Sam James2021-04-161-2/+1
* dev-ml/mtime: eutils--Sam James2021-04-161-3/+2
* dev-ml/menhir: eutils--Sam James2021-04-161-2/+8
* dev-ml/labltk: eutils--Sam James2021-04-162-6/+6
* dev-ml/lablgl: eutils--Sam James2021-04-161-5/+5
* dev-ml/dune: multiprocessing--Sam James2021-04-163-13/+6
* dev-ml/dose3: drop superfluous dieSam James2021-04-161-1/+1
* dev-ml/cudf: multilib--Sam James2021-04-161-1/+1
* dev-ml/camlidl: eutils->epatchSam James2021-04-161-9/+11
* dev-ml/llvm-ocaml: Remove 12.0.0 RCsMichał Górny2021-04-155-500/+0
* dev-ml/llvm-ocaml: Bump to 12.0.0 finalMichał Górny2021-04-152-0/+125
* dev-ml/cudf: add missing pkgconfig (B)DEPENDSam James2021-04-121-0/+2
* dev-ml/octavius: drop useless (R)DEPEND definitionsSam James2021-04-121-3/+0
* dev-ml/llvm-ocaml: Bump to 12.0.0-rc5Michał Górny2021-04-092-0/+125
* dev-ml/gsl-ocaml: drop 1.19.1Sam James2021-04-042-30/+0
* dev-ml/gsl-ocaml: add 1.19.1 (Dune port)Sam James2021-04-042-0/+28
* dev-ml/core_extended: treecleanSam James2021-04-043-47/+0
* dev-ml/jbuilder: treecleanSam James2021-04-043-46/+0
* dev-ml/ppx_traverse_builtins: treecleanSam James2021-04-043-29/+0
* dev-ml/ppx_ast: treecleanSam James2021-04-043-32/+0
* dev-ml/ppx_core: treecleanSam James2021-04-043-35/+0
* dev-ml/ppx_driver: treecleanSam James2021-04-043-35/+0
* dev-ml/ppx_type_conv: treecleanSam James2021-04-043-35/+0
* dev-ml/ppx_traverse: treecleanSam James2021-04-043-34/+0
* dev-ml/configurator: treecleanSam James2021-04-043-41/+0
* dev-ml/bin-prot: treecleanSam James2021-04-043-53/+0
* dev-ml/re2: treecleanSam James2021-04-043-33/+0