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

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-zarith-1.7-4.mga7.i586.rpm
Package name ocaml-zarith
Package version 1.7
Package release 4.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage https://github.com/ocaml/Zarith/
License LGPLv2 with exceptions
Maintainer -
Download size 92.03 KB
Installed size 311.91 KB
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.


Package Version Architecture Repository
ocaml-zarith-1.7-4.mga7.x86_64.rpm 1.7 x86_64 Mageia Core
ocaml-zarith - - -


Name Value
libc.so.6(GLIBC_2.1.3) -
libgmp.so.10 -
ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__callback) = 88a8ecea5511db9eef1ab6e2b8b6c742
ocaml(Stdlib__format) = ded827a86373f27e1e1668a07e19a5f0
ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
ocaml(Stdlib__int64) = 678dd94a831e040b9d89ed6046dca2a3
ocaml(Stdlib__obj) = dee2aaa1e4d02f8d2c44fe83f8df0aaf
ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
ocaml(runtime) = 4.07.1


Name Value
ocaml(Big_int_Z) = ae6fc9d69998765c09ec7a9382a6ba8f
ocaml(Q) = 8b3b57a95bd7d13d8fb5c9c8eef8456d
ocaml(Z) = 7c52f87ff5b42b5a527b31c9ee553e77
ocaml-zarith = 1.7-4.mga7
ocaml-zarith(x86-32) = 1.7-4.mga7


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-zarith-1.7-4.mga7.i586.rpm
Source Package ocaml-zarith-1.7-4.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-zarith rpm package:
    # dnf install ocaml-zarith




2018-10-23 - tv <tv> 1.7-4.mga7
+ Revision: 1324069
- rebuild with ocaml-4.07.1
2018-10-22 - pterjan <pterjan> 1.7-3.mga7
+ Revision: 1323784
- Rebuild for ocaml 4.07
2018-09-23 - umeabot <umeabot> 1.7-2.mga7
+ Revision: 1299951
- Mageia 7 Mass Rebuild
2018-03-25 - daviddavid <daviddavid> 1.7-1.mga7
+ Revision: 1212392
- new version: 1.7
- update URL and Source URL
2017-11-26 - tv <tv> 1.4.1-4.mga7
+ Revision: 1179789
- rebuild for new ocaml
2017-11-26 - tv <tv> 1.4.1-3.mga7
+ Revision: 1179643
- rebuild for new ocaml
2017-08-31 - daviddavid <daviddavid> 1.4.1-2.mga7
+ Revision: 1150071
- honor user CFLAGS thus fixing empty debugsourcefiles.list
- fix shared stubs libraries ocaml path

See Also

Package Description
ocaml-zarith-devel-1.7-4.mga7.i586.rpm Development files for ocaml-zarith
ocaml-zed-1.6-5.mga7.i586.rpm Abstract engine for text edition in OCaml (development tools)
ocaml-zed-devel-1.6-5.mga7.i586.rpm Development files for ocaml-zed
ocamldsort-0.16.0-10.mga7.i586.rpm A dependency sorter for OCaml source files
ocamlfuse-2.7.1-6.mga7.i586.rpm Ocaml FUSE binding
ocamlify-0.0.2-12.mga7.i586.rpm Include files in OCaml code
ocamlmakefile-6.37.0-10.mga7.i586.rpm Automated compilation of complex OCaml-projects
ocamlmakefile-doc-6.37.0-10.mga7.i586.rpm Documentation and examples files for ocamlmakefile
ocamlmod-0.0.9-3.mga7.i586.rpm Generate OCaml modules from source files
ocamlwc-0.3-12.mga7.i586.rpm Count the lines of code and comments in OCaml sources
ocfs2-tools-1.6.4-11.mga7.i586.rpm Tools for managing the Oracle Cluster Filesystem 2
ocfs2-tools-devel-1.6.4-11.mga7.i586.rpm Development for ocfs2-tools
ocfs2-tools-static-devel-1.6.4-11.mga7.i586.rpm Static libraries for ocfs2-tools
ocfs2console-1.6.4-11.mga7.i586.rpm GUI frontend for OCFS2 management
oclock-1.0.4-2.mga7.i586.rpm Round X clock