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/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
* 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