ocaml-zarith-1.2.1-3.mga4.i586.rpm


Advertisement

Description

ocaml-zarith - Arithmetic and logical operations over arbitrary-precision integers

Distribution: Mageia 4.1
Repository: Mageia Core i586
Package name: ocaml-zarith
Package version: 1.2.1
Package release: 3.mga4
Package architecture: i586
Package type: rpm
Installed size: 131.74 KB
Download size: 47.98 KB
Official Mirror: distrib-coffee.ipsl.jussieu.fr
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

Alternatives

Provides

  • dllzarith.so
  • ocaml-zarith == 1.2.1-3.mga4
  • ocaml-zarith(x86-32) == 1.2.1-3.mga4

    Install Howto

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

    Files

    • /usr/lib/ocaml/zarith/META
    • /usr/lib/ocaml/zarith/big_int_Z.cmi
    • /usr/lib/ocaml/zarith/dllzarith.so
    • /usr/lib/ocaml/zarith/q.cmi
    • /usr/lib/ocaml/zarith/z.cmi
    • /usr/lib/ocaml/zarith/zarith.cma
    • /usr/lib/ocaml/zarith/zarith.cmxs
    • /usr/share/doc/ocaml-zarith/Changes
    • /usr/share/doc/ocaml-zarith/LICENSE
    • /usr/share/doc/ocaml-zarith/README

    Changelog

    2013-10-19 - umeabot <umeabot> 1.2.1-3.mga4 + Revision: 536381 - Mageia 4 Mass Rebuild

    2013-09-23 - blue_prawn <blue_prawn> 1.2.1-2.mga4 + Revision: 484186 - rebuild for ocaml-4.01.0

    2013-06-29 - malo <malo> 1.2.1-1.mga4 + Revision: 448359 - update to 1.2.1

    2013-01-13 - umeabot <umeabot> 1.1-5.mga3 + Revision: 361730 - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild

    2012-10-01 - blue_prawn <blue_prawn> 1.1-4.mga3 + Revision: 301099 - rebuild for ocaml-4.00.0

    2012-09-29 - blue_prawn <blue_prawn> 1.1-3.mga3 + Revision: 300353 - new rpm group for ocaml

    2012-04-09 - malo <malo> 1.1-2.mga2 + Revision: 229851 - adding missing requires to gmp-devel

    2012-03-25 - blue_prawn <blue_prawn> 1.1-1.mga2 + Revision: 226246 - imported package ocaml-zarith

    Advertisement
    Advertisement