ocaml-extlib-1.5.3-1-omv2013.0.i586.rpm


Advertisement

Description

ocaml-extlib - Extended Standard Library for Objective Caml

Distribution: OpenMandriva Lx 3.0
Repository: OpenMandriva Contrib i586
Package name: ocaml-extlib
Package version: 1.5.3
Package release: 1-omv2013.0
Package architecture: i586
Package type: rpm
Installed size: 200.63 KB
Download size: 46.15 KB
Official Mirror: abf-downloads.openmandriva.org
ExtLib is a project aiming at providing a complete - yet small - standard library for the OCaml programming langage. The purpose of this library is to add new functions to OCaml Standard Library modules, to modify some functions in order to get better performances or more safety (tail-recursive) but also to provide new modules which should be useful for the average OCaml programmer.

Alternatives

Provides

  • ocaml-extlib == 1.5.3-1:2013.0

    Install Howto

    1. Enable OpenMandriva Contrib repository on Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install ocaml-extlib rpm package:
      # urpmi ocaml-extlib

    Files

    • /usr/lib/ocaml/extlib/IO.cmi
    • /usr/lib/ocaml/extlib/META
    • /usr/lib/ocaml/extlib/base64.cmi
    • /usr/lib/ocaml/extlib/bitSet.cmi
    • /usr/lib/ocaml/extlib/dllist.cmi
    • /usr/lib/ocaml/extlib/dynArray.cmi
    • /usr/lib/ocaml/extlib/enum.cmi
    • /usr/lib/ocaml/extlib/extArray.cmi
    • /usr/lib/ocaml/extlib/extHashtbl.cmi
    • /usr/lib/ocaml/extlib/extLib.cma
    • /usr/lib/ocaml/extlib/extList.cmi
    • /usr/lib/ocaml/extlib/extString.cmi
    • /usr/lib/ocaml/extlib/global.cmi
    • /usr/lib/ocaml/extlib/optParse.cmi
    • /usr/lib/ocaml/extlib/option.cmi
    • /usr/lib/ocaml/extlib/pMap.cmi
    • /usr/lib/ocaml/extlib/refList.cmi
    • /usr/lib/ocaml/extlib/std.cmi
    • /usr/lib/ocaml/extlib/uChar.cmi
    • /usr/lib/ocaml/extlib/uTF8.cmi
    • /usr/lib/ocaml/extlib/unzip.cmi

    Changelog

    2012-05-09 - Crispin Boylan <crisb@mandriva.org> 1.5.2-1 + Revision: 797662 - New release

    Advertisement
    Advertisement