Fri, 31 Jan 2025 14:22:16 CST | login

Information for RPM ocaml-zarith-1.13-1.ocs23.x86_64.rpm

ID94873
Nameocaml-zarith
Version1.13
Release1.ocs23
Epoch
Archx86_64
SummaryOCaml interface to GMP
DescriptionThis library implements arithmetic and logical operations over arbitrary-precision integers. The module is simply named "Z". Its interface is similar to that of the Int32, Int64 and Nativeint modules from the OCaml standard library, with some additional functions. See the file z.mlip for documentation. The implementation uses GMP (the GNU Multiple Precision arithmetic library) to compute over big integers. However, small integers are represented as unboxed Caml integers, to save space and improve performance. Big integers are allocated in the Caml heap, bypassing GMP's memory management and achieving better GC behavior than e.g. the MLGMP library. Computations on small integers use a special, faster path (coded in assembly for some platforms and functions) eschewing calls to GMP, while computations on large integers use the low-level MPN functions from GMP. Arbitrary-precision integers can be compared correctly using OCaml's polymorphic comparison operators (=, <, >, etc.). Additional features include: - a module Q for rationals, built on top of Z (see q.mli) - a compatibility layer Big_int_Z that implements the same API as Big_int, but uses Z internally
Build Time2024-05-08 14:30:29 GMT
Size149.69 KB
73f1e013c4d8324ca27332d43c6f90bb
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildrootdist-ocs23-epol9-build-154891-9986
Provides
ocaml(Big_int_Z) = 981a14e500660f2c264fb221a4e70905
ocaml(Q) = dfd79ff05360c4cc4bc120db10ee3749
ocaml(Z) = 0009d1c1f4074c1e5cac1497b3dc94fa
ocaml(Zarith_top) = 4e48d1f9e3823e60187a1e934d4e5976
ocaml(Zarith_version) = ec720fb834b95dd758b2d4e2ba82a51e
ocaml-zarith = 1.13-1.ocs23
ocaml-zarith(x86-64) = 1.13-1.ocs23
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-x86-64.so.2()(64bit)
ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgmp.so.10()(64bit)
ocaml(CamlinternalFormatBasics) = cecfafd5c021473f5e358c96ac7502a0
ocaml(CamlinternalLazy) = 2c797917c31a980b79e9d16d84057b70
ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
ocaml(Stdlib__Bytes) = b0d2a0027e7278e26a1fe4bc0e79a690
ocaml(Stdlib__Callback) = 4193fcc86b5ea92141e5bedd24eceaa7
ocaml(Stdlib__Digest) = ff876226ab2584c79cfe1afd26ca2f58
ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
ocaml(Stdlib__Int32) = 1db604c2106f996ea47a572773a5ff7f
ocaml(Stdlib__Int64) = 7ab3f2ace09cfcc67be8a7133d18f0e2
ocaml(Stdlib__Lazy) = ca3d5c326131437daef18ae34e7f4aa9
ocaml(Stdlib__Lexing) = be62854f0fbcd8531fe531cd00e34821
ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
ocaml(Stdlib__Map) = 71415964978d1cf0c1701af1137aa1ea
ocaml(Stdlib__Nativeint) = 627e6e1768175d0dea895dfbcbc11457
ocaml(Stdlib__Obj) = 85655eceec5bcd6c7c4ef5dd6758b19d
ocaml(Stdlib__Printf) = 8debea255efc834da5c1bc2e73f09214
ocaml(Stdlib__Random) = 3f2ddc04bb28ff1050c0c8d7cf5a8d57
ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
ocaml(Stdlib__Set) = f849884bcf48f894e90800c7ccd98f21
ocaml(Stdlib__String) = facad7e0dada5941148738b8188d844f
ocaml(Stdlib__Sys) = a0375c47cee9c7e20ff8f61d4f04e748
ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
ocaml(Z) = 0009d1c1f4074c1e5cac1497b3dc94fa
ocaml(Zarith_version) = ec720fb834b95dd758b2d4e2ba82a51e
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 21 of 21
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/1c0.00 B
/usr/lib/.build-id/1c/15a0fd5615d27e44b2e73ff198894aca4f2a0546.00 B
/usr/lib/.build-id/840.00 B
/usr/lib/.build-id/84/efca44df38887eb700a5eb499da45ba2926e2d49.00 B
/usr/lib64/ocaml/stublibs/dllzarith.so71.87 KB
/usr/lib64/ocaml/stublibs/dllzarith.so.owner7.00 B
/usr/lib64/ocaml/zarith0.00 B
/usr/lib64/ocaml/zarith/META473.00 B
/usr/lib64/ocaml/zarith/big_int_Z.cmi7.09 KB
/usr/lib64/ocaml/zarith/q.cmi7.98 KB
/usr/lib64/ocaml/zarith/z.cmi19.67 KB
/usr/lib64/ocaml/zarith/zarith.cma159.00 KB
/usr/lib64/ocaml/zarith/zarith.cmxs178.30 KB
/usr/lib64/ocaml/zarith/zarith_top.cma6.02 KB
/usr/lib64/ocaml/zarith/zarith_top.cmi1.65 KB
/usr/lib64/ocaml/zarith/zarith_version.cmi276.00 B
/usr/share/doc/ocaml-zarith0.00 B
/usr/share/doc/ocaml-zarith/README.md4.17 KB
/usr/share/licenses/ocaml-zarith0.00 B
/usr/share/licenses/ocaml-zarith/LICENSE25.78 KB
Component of No Buildroots