gpo.zugaina.org

Search Portage & Overlays:

dev-lang/ocaml

Fast modern type-inferring functional programming language descended from the ML family

Screenshots

  • ocaml-4.01.0
    ~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-fbsd ~amd64-linux ~x86-fbsd ~x86-linux
    emacs latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: funtoo (distro)
  • ocaml-4.01.0
    ~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-fbsd ~amd64-linux ~x86-fbsd ~x86-linux
    emacs latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: gentoo (distro)
  • ocaml-4.00.1-r1
    ~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-fbsd ~x86-fbsd
    emacs latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: gentoo (distro)
  • ocaml-4.00.1-r1
    ~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-fbsd ~x86-fbsd
    emacs latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: funtoo (distro)
  • ocaml-3.12.1
    alpha amd64 arm hppa ia64 ~mips ppc ~ppc64 sparc x86 ~amd64-fbsd ~x86-fbsd
    emacs gdbm latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: funtoo (distro)
  • ocaml-3.12.1
    alpha amd64 arm hppa ia64 ~mips ppc ~ppc64 sparc x86 ~amd64-fbsd ~x86-fbsd
    emacs gdbm latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: gentoo (distro)
  • ocaml-3.11.2
    alpha amd64 arm hppa ia64 ppc ppc64 sparc x86 ~x86-fbsd
    emacs gdbm latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: funtoo (distro)
  • ocaml-3.11.2
    alpha amd64 arm hppa ia64 ppc ppc64 sparc x86 ~x86-fbsd
    emacs gdbm latex ncurses +ocamlopt tk X xemacs

    View      Download      Browse     License: QPL-1.0 LGPL-2   
    Overlay: gentoo (distro)