Wed, 15 May 2024 18:48:32 UTC | login

Information for RPM ocaml-zarith-1.4.1-11.fc28.riscv64.rpm

ID31813
Nameocaml-zarith
Version1.4.1
Release11.fc28
Epoch
Archriscv64
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 Time2018-03-14 22:57:24 GMT
Size116.34 KB
88b1e98aa128b3eeab0b825147bb2936
LicenseLGPLv2 with exceptions
Provides
ocaml(Big_int_Z) = 2e8914557221deed7fc21d5c21b53aa7
ocaml(Q) = 4f4384756c6f915d15007c64c8d04d54
ocaml(Z) = f15bc15fc18382f07491df9af435077d
ocaml-zarith = 1.4.1-11.fc28
ocaml-zarith(riscv-64) = 1.4.1-11.fc28
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgmp.so.10()(64bit)
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(Callback) = 381b3818bd7b7f37a7bf11fb6c76a12a
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(Format) = 1a17539924469551f027475153d4d3b5
ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919
ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991
ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Z) = f15bc15fc18382f07491df9af435077d
ocaml(runtime) = 4.06.0
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 18 of 18
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/720.00 B
/usr/lib/.build-id/72/3477f77cb7e4679cf9cc783249b67ebe5d9f8d49.00 B
/usr/lib/.build-id/a80.00 B
/usr/lib/.build-id/a8/8f171084ae94b235a265090912f792cd2b0de646.00 B
/usr/lib64/ocaml/stublibs/dllzarith.so194.53 KB
/usr/lib64/ocaml/stublibs/dllzarith.so.owner7.00 B
/usr/lib64/ocaml/zarith0.00 B
/usr/lib64/ocaml/zarith/META138.00 B
/usr/lib64/ocaml/zarith/big_int_Z.cmi6.70 KB
/usr/lib64/ocaml/zarith/q.cmi6.42 KB
/usr/lib64/ocaml/zarith/z.cmi13.37 KB
/usr/lib64/ocaml/zarith/zarith.cma82.82 KB
/usr/lib64/ocaml/zarith/zarith.cmxs7.41 KB
/usr/share/doc/ocaml-zarith0.00 B
/usr/share/doc/ocaml-zarith/Changes2.23 KB
/usr/share/licenses/ocaml-zarith0.00 B
/usr/share/licenses/ocaml-zarith/LICENSE25.78 KB
Component of No Buildroots