Tue, 26 Nov 2024 01:17:15 UTC | login

Information for RPM ocaml-zarith-1.12-9.fc38.riscv64.rpm

ID935013
Nameocaml-zarith
Version1.12
Release9.fc38
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 Time2023-02-25 13:08:27 GMT
Size148.13 KB
bb0b82051f28ce3d8427198302aa0c8f
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildrootf38-build-685519-80580
Provides
ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1
ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b
ocaml(Z) = a71ac4a535434978287848841376388e
ocaml(Zarith_top) = 680726b3130a10e8736152c254c36fb2
ocaml(Zarith_version) = f0a8db70850d2d218ef1b13f845aec3d
ocaml-zarith = 1.12-9.fc38
ocaml-zarith(riscv-64) = 1.12-9.fc38
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(Asttypes) = c6cbda0727ab24f24ff77e0199818937
ocaml(Build_path_prefix_map) = c087ed78089388f4d3a99676f2c10fc4
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(Cmi_format) = 77a1c8f1e0d22ce55ab6c81760c7b8d6
ocaml(Env) = 0a6451d38f2684902476a54801d89f8b
ocaml(Ident) = a68d3b48cf66f01c3af823a07d101708
ocaml(Identifiable) = 026dfc8fdbcf370a975e554be578d5a5
ocaml(Load_path) = 8e616f4485805b33a8219ec934a7859a
ocaml(Location) = ad05a11c5350a8043d12b4819575b03b
ocaml(Longident) = dddbcb2c78e865fd75e9911c4b82a7e2
ocaml(Misc) = 9d0e49da1703d17dc3043e52bca13fe5
ocaml(Outcometree) = 674374723cd44ac1194584799175f801
ocaml(Parsetree) = d160a703cc0fe2b0a7acd97f6bf25245
ocaml(Path) = c74c2553734e7c86ab23c6946a08a019
ocaml(Primitive) = 8cd5b518055f39c57cb5bfdd62b072c1
ocaml(Shape) = a7485b44c054c48b77a4c0546f654051
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Callback) = fe29a598e1902f0b901e88a9865c26ef
ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Subst) = 428159e3773e2a53757d43066bcfca7f
ocaml(Toploop) = 1fa2e1c3d62a6ba74f5b2f24210b7277
ocaml(Type_immediacy) = 64565e32358a6229bf90cc93d486536a
ocaml(Types) = 6c92ac95b66d8794b63f94c688fe1688
ocaml(Warnings) = 1c10e6007aca64cda69b6b055565b124
ocaml(Z) = a71ac4a535434978287848841376388e
ocaml(Zarith_version) = f0a8db70850d2d218ef1b13f845aec3d
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 19 of 19
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/070.00 B
/usr/lib/.build-id/07/fa085497f8a5facb707fb991f048d5571a457849.00 B
/usr/lib/.build-id/1e0.00 B
/usr/lib/.build-id/1e/7fe81492056d09c1f7fcb2cd5e9ce9f9c9097e46.00 B
/usr/lib64/ocaml/stublibs/dllzarith.so60.93 KB
/usr/lib64/ocaml/stublibs/dllzarith.so.owner7.00 B
/usr/lib64/ocaml/zarith0.00 B
/usr/lib64/ocaml/zarith/META414.00 B
/usr/lib64/ocaml/zarith/big_int_Z.cmi6.81 KB
/usr/lib64/ocaml/zarith/q.cmi7.81 KB
/usr/lib64/ocaml/zarith/z.cmi17.35 KB
/usr/lib64/ocaml/zarith/zarith.cma141.51 KB
/usr/lib64/ocaml/zarith/zarith.cmxs135.22 KB
/usr/lib64/ocaml/zarith/zarith_top.cma5.95 KB
/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
1 through 3 of 3
Buildroot descending sort Created State
f40-build-736650-106663 2023-11-07 12:32:43 expired
f40-build-735252-106208 2023-11-03 17:32:55 expired
f38-build-709940-93017 2023-05-05 19:07:41 expired