gpo.zugaina.org

Search Portage & Overlays:

dev-ml/core_kernel

System-independent part of Core

Screenshots

  • core_kernel-0.16.0
    ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo
  • core_kernel-0.15.0
    amd64 arm arm64 ~ppc ~ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo
  • core_kernel-0.14.2-r1
    ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo
  • core_kernel-0.14.1-r3
    amd64 arm arm64 ~ppc ppc64 x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo