summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/camlp4: Add QA_FLAGS_IGNORED to 4.08_p1Jakov Smolic2021-05-041-2/+7
* dev-ml/camlp5: fix function/phase declaration styleSam James2021-05-042-4/+4
* dev-ml/ocamlgraph: Stabilize 2.0.0-r1 arm, #769320Sam James2021-05-041-1/+1
* dev-ml/graphics: Stabilize 5.1.1 arm, #769320Sam James2021-05-041-1/+1
* dev-ml/dune-configurator: fix phase definition styleSam James2021-05-042-2/+2
* dev-ml/lablgl: Drop 1.05-r1, EAPI5--Andreas Sturmlechner2021-05-012-92/+0
* dev-ml/ocamlgraph: Stabilize 2.0.0-r1 arm64, #769320Sam James2021-04-301-1/+1
* dev-ml/graphics: Stabilize 5.1.1 arm64, #769320Sam James2021-04-301-1/+1
* dev-ml/dune-private-libs: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
* dev-ml/dune: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
* dev-ml/dune-private-libs: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
* dev-ml/dune: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
* dev-ml/cairo-ocaml: Remove last-rited pkgJakov Smolic2021-04-258-239/+0
* dev-ml/parmap: add 1.2.1Sam James2021-04-252-0/+22
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-private-libs: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-private-libs: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
* dev-ml/dune: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-private-libs: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune-configurator: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
* dev-ml/lablgl: Stabilize 1.06-r1 amd64, #784605Sam James2021-04-221-1/+1
* dev-ml/llvm-ocaml: Add M68k to 13.0.0.9999Michał Górny2021-04-221-1/+1
* dev-ml/cinaps: Stabilize 0.15.0 arm64, #783573Sam James2021-04-221-1/+1
* dev-ml/lablgl: Stabilize 1.06-r1 x86, #784605Sam James2021-04-221-1/+1
* dev-ml/lablgl: Stabilize 1.06-r1 ppc64, #784605Sam James2021-04-211-1/+1
* dev-ml/lablgl: Stabilize 1.06-r1 ppc, #784605Sam James2021-04-211-2/+2
* dev-ml/opam: port to EAPI 7Sam James2021-04-212-19/+19
* dev-ml/xml-light: port to EAPI 7Sam James2021-04-217-77/+48
* dev-ml/uutf: port to EAPI 7Sam James2021-04-211-3/+9
* dev-ml/reactiveData: drop 9999Sam James2021-04-211-34/+0
* dev-ml/reactiveData: port to EAPI 7Sam James2021-04-212-6/+4
* dev-ml/ocaml-hashcons: port to EAPI 7Sam James2021-04-211-4/+12
* dev-ml/ocaml-doc: port to EAPI 7Sam James2021-04-212-24/+20
* dev-ml/ocaml-augeas: port to EAPI 7Sam James2021-04-211-3/+2
* dev-ml/mtime: port to EAPI 7Sam James2021-04-211-1/+1
* dev-ml/merlin-extend: port to EAPI 7Sam James2021-04-211-2/+1
* dev-ml/lablgl: clean up patchesSam James2021-04-211-2/+2
* dev-ml/jsonm: port to EAPI 7Sam James2021-04-211-2/+4
* dev-ml/easy-format: port to EAPI 7Sam James2021-04-211-3/+2
* dev-ml/camlidl: port to EAPI 7Sam James2021-04-214-21/+16
* dev-ml/cinaps: Stabilize 0.15.0 ppc64, #783573Sam James2021-04-201-1/+1
* dev-ml/cinaps: Stabilize 0.15.0 ppc, #783573Sam James2021-04-201-1/+1
* dev-ml/cinaps: Stabilize 0.15.0 arm, #783573Sam James2021-04-191-1/+1
* 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