Tue, 21 May 2024 12:58:21 UTC | login

Information for RPM ocaml-zarith-1.7-5.fc29.riscv64.rpm

ID237707
Nameocaml-zarith
Version1.7
Release5.fc29
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-08-12 22:58:20 GMT
Size98.89 KB
b23a4acd721045b7da5cbe1110b95732
LicenseLGPLv2 with exceptions
Buildrootf29-build-24922-12995
Provides
ocaml(Big_int_Z) = fd05a4c428cbca3d662aed29ad4e8bfa
ocaml(Q) = a142ba1d49655a089c2f934dfcc7b61e
ocaml(Z) = 7d7553ef02c3ba718c935da6c9a4adb6
ocaml-zarith = 1.7-5.fc29
ocaml-zarith(riscv-64) = 1.7-5.fc29
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(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3
ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb
ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba
ocaml(Stdlib__callback) = 6cbf78990b81aaa60259f675a22325df
ocaml(Stdlib__format) = 28a664c1f420f636bf646c962e89e74a
ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6
ocaml(Stdlib__int64) = a454ce987e87f19475aaffc6390cdac3
ocaml(Stdlib__obj) = a596d23956eb4b50fd382185fb87478a
ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53
ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306
ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a
ocaml(Z) = 7d7553ef02c3ba718c935da6c9a4adb6
ocaml(runtime) = 4.07.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 21 of 21
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/aa0.00 B
/usr/lib/.build-id/aa/6f1aec12a8dff459647b1c7de6976679a7362e46.00 B
/usr/lib/.build-id/ee0.00 B
/usr/lib/.build-id/ee/6069428523b48dad0d0809b50d9011b24cb51a49.00 B
/usr/lib64/ocaml/stublibs/dllzarith.so42.91 KB
/usr/lib64/ocaml/stublibs/dllzarith.so.owner7.00 B
/usr/lib64/ocaml/zarith0.00 B
/usr/lib64/ocaml/zarith/META136.00 B
/usr/lib64/ocaml/zarith/big_int_Z.cmi6.96 KB
/usr/lib64/ocaml/zarith/big_int_Z.cmx4.21 KB
/usr/lib64/ocaml/zarith/q.cmi6.78 KB
/usr/lib64/ocaml/zarith/q.cmx2.78 KB
/usr/lib64/ocaml/zarith/z.cmi14.52 KB
/usr/lib64/ocaml/zarith/z.cmx2.14 KB
/usr/lib64/ocaml/zarith/zarith.cma89.05 KB
/usr/lib64/ocaml/zarith/zarith.cmxs98.34 KB
/usr/share/doc/ocaml-zarith0.00 B
/usr/share/doc/ocaml-zarith/README.md4.39 KB
/usr/share/licenses/ocaml-zarith0.00 B
/usr/share/licenses/ocaml-zarith/LICENSE25.78 KB
Component of
1 through 4 of 4
Buildroot descending sort Created State
f30-build-41082-22941 2018-12-10 00:21:57 expired
f29-build-28019-14838 2018-08-27 00:40:09 expired
f29-build-27838-14704 2018-08-25 18:39:46 expired
f29-build-27706-14631 2018-08-24 22:29:42 expired