Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/merlin: add dependencyAlfredo Tupone2021-05-101-0/+1
* dev-ml/opam-installer: remove building ext library (already in tree)Alfredo Tupone2021-05-101-0/+42
* dev-ml/fpath: Keyword 0.7.2 ppc, #788406Sam James2021-05-101-1/+1
* dev-ml/bos: Keyword 0.1.6 ppc, #788406Sam James2021-05-101-1/+1
* dev-ml/rresult: Keyword 0.5.0 ppc, #788406Sam James2021-05-101-1/+1
* dev-ml/ocaml-base64: Keyword 3.5.0 ppc, #788406Sam James2021-05-101-1/+1
* dev-ml/fpath: Keyword 0.7.2 ppc64, #788406Sam James2021-05-101-2/+2
* dev-ml/bos: Keyword 0.1.6 ppc64, #788406Sam James2021-05-101-2/+2
* dev-ml/rresult: Keyword 0.5.0 ppc64, #788406Sam James2021-05-101-2/+2
* dev-ml/ocaml-base64: Keyword 3.5.0 ppc64, #788406Sam James2021-05-101-1/+1
* dev-ml/logs: stable 0.7.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/async_unix: stable 0.14.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/alcotest: stable 1.2.3-r3 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/opam-file-format: stable 2.1.2 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/mtime: stable 1.1.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/async_kernel: stable 0.14.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/uuidm: stable 0.9.7 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/mirage-clock: stable 3.1.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/duration: stable 0.1.3 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/astring: stable 0.8.5 for ppc64Sergei Trofimovich2021-05-061-1/+1
* dev-ml/fmt: stable 0.8.9-r1 for ppc64Sergei Trofimovich2021-05-061-1/+1
* 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