Mon, 24 Jun 2024 13:57:24 UTC | login

Information for RPM ocaml-tplib-1.3-56.fc33.riscv64.rpm

ID739357
Nameocaml-tplib
Version1.3
Release56.fc33
Epoch
Archriscv64
SummaryTropical Polyhedra Library
DescriptionTPLib computes a description by means of vertices and rays of tropical polyhedra defined by means of inequalities, and conversely. It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min-/max- invariants over programs.
Build Time2020-12-02 10:43:20 GMT
Size161.07 KB
d48258f0e71d91f9e5d9a13c279f02de
LicenseLGPLv2+
Buildrootf33-build-363907-60615
Provides
ocaml(Bigarray) = ad4fe44c682424bd5f492014bb9fe029
ocaml(Gmp_random) = 6f2db867055993adb145d2ba04f0125d
ocaml(Halfspace) = f128ad5a7356bbd93826b1c9e40e7e76
ocaml(Hypergraph) = b8eddddc3a3e9f4bc09f594a7cb0c361
ocaml(Mpq) = 45779d99aee535bc997c823115700e80
ocaml(Mpz) = d700c8fa424fb71b084dd13963abac73
ocaml(Numeric) = 934eb313c60dbac69eefeabf3e13c193
ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14
ocaml(Semiring) = 11f8b3e7c2e79fab2dcae1b1cfd5b111
ocaml(Tplib_abstract) = c886caf96fb561eb6a6c3d61675552a5
ocaml(Tplib_core) = ab15212fd26c4381f27a5b6f2159bbcf
ocaml(Unix) = e6d191b089c68976347fa6524bb28048
ocaml(UnixLabels) = c3f81f79287570b5c9f8b44db8b99357
ocaml(Vector) = 36549ec65dcaea6547e1edaa6443ca52
ocaml(Z) = a5905b322eaa1530b7c76040da7282ab
ocaml-tplib = 1.3-56.fc33
ocaml-tplib(riscv-64) = 1.3-56.fc33
ocamlx(Bigarray) = b12306f6945e18c332be010d1b29c7dd
ocamlx(Gmp_random) = d611479763b4d2eb84f85c21089e5910
ocamlx(Mpq) = 5d807c0365e632a49d18cb55a51a12db
ocamlx(Mpz) = 277a8ab6fced13be145be3977a939974
ocamlx(Q) = 8a653688d102bcc85787c61ff246f2e3
ocamlx(Unix) = 6ae341e93ce7dc9d984cb474111ecd75
ocamlx(UnixLabels) = f9df2097063db03dbd4c735c76f1ba3a
ocamlx(Z) = 85b48074d306e9bf128ca9f1fb1628aa
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)
libc.so.6(GLIBC_2.28)(64bit)
libgmp.so.10()(64bit)
libmpfr.so.6()(64bit)
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(Gmp_random) = 6f2db867055993adb145d2ba04f0125d
ocaml(Halfspace) = f128ad5a7356bbd93826b1c9e40e7e76
ocaml(Hypergraph) = b8eddddc3a3e9f4bc09f594a7cb0c361
ocaml(Mpf) = 6e2b7c38f30c83e343db3d1dc7f9e5a3
ocaml(Mpfr) = accbda4157abab6941e0bb9f8ddbf2fe
ocaml(Mpq) = 45779d99aee535bc997c823115700e80
ocaml(Mpz) = d700c8fa424fb71b084dd13963abac73
ocaml(Numeric) = 934eb313c60dbac69eefeabf3e13c193
ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14
ocaml(Random_generator) = b08aa098d92b306af2730d55ff98c751
ocaml(Semiring) = 11f8b3e7c2e79fab2dcae1b1cfd5b111
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac
ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27
ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a
ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10
ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977
ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41
ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
ocaml(Stdlib__int) = 3fa10753598f76054469996ed2b8844e
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348
ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9
ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocaml(Unix) = e6d191b089c68976347fa6524bb28048
ocaml(Vector) = 36549ec65dcaea6547e1edaa6443ca52
ocaml(Z) = a5905b322eaa1530b7c76040da7282ab
ocamlx(Gmp_random) = d611479763b4d2eb84f85c21089e5910
ocamlx(Mpq) = 5d807c0365e632a49d18cb55a51a12db
ocamlx(Mpz) = 277a8ab6fced13be145be3977a939974
ocamlx(Q) = 8a653688d102bcc85787c61ff246f2e3
ocamlx(Random_generator) = a1b2fb5d988ad6c43b508d8f8d4d7b20
ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671
ocamlx(Stdlib__array) = 0dbd6c995df0b55845288210130d2cf1
ocamlx(Stdlib__bigarray) = 6c47c2853718e7ae85ec33efbdc6182e
ocamlx(Stdlib__buffer) = f22873239984f2016980d0036e303f3b
ocamlx(Stdlib__bytes) = 09fe099de18a854118ae424d323d647d
ocamlx(Stdlib__callback) = 8be8bbbb398fb67c5ac76dd97e4c8891
ocamlx(Stdlib__filename) = 5f6f0871c1d979b738f1c05ca925ab1f
ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef
ocamlx(Stdlib__hashtbl) = 3a70d43892d6822a86672d0da0646fa3
ocamlx(Stdlib__int) = 51ee5760576dc8aeef3c03b3524dff72
ocamlx(Stdlib__int64) = 02b7b393268ee7df12138125730d59dc
ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29
ocamlx(Stdlib__printexc) = cf5bb09deb1af3adf7022500e65bbdeb
ocamlx(Stdlib__printf) = ed32309c6fdb9909e2ec1cda5118b14c
ocamlx(Stdlib__string) = 9693062f8b4045a04e0d3ae8d45a36af
ocamlx(Stdlib__sys) = 82cfd264b7875618ee810e8d1f8fa532
ocamlx(Unix) = 6ae341e93ce7dc9d984cb474111ecd75
ocamlx(Z) = 85b48074d306e9bf128ca9f1fb1628aa
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 20 of 20
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/290.00 B
/usr/lib/.build-id/29/3bd3f82eee85b6ad8f27990aed90e7d723255152.00 B
/usr/lib/.build-id/870.00 B
/usr/lib/.build-id/87/846a2ac7d4d4fb54ba021b3a964a0f8335838d51.00 B
/usr/lib64/ocaml/tplib0.00 B
/usr/lib64/ocaml/tplib/META173.00 B
/usr/lib64/ocaml/tplib/halfspace.cmi6.27 KB
/usr/lib64/ocaml/tplib/hypergraph.cmi1.33 KB
/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs259.72 KB
/usr/lib64/ocaml/tplib/numeric.cmi3.02 KB
/usr/lib64/ocaml/tplib/semiring.cmi7.24 KB
/usr/lib64/ocaml/tplib/tplib_abstract.cmi11.35 KB
/usr/lib64/ocaml/tplib/tplib_core.cmi7.99 KB
/usr/lib64/ocaml/tplib/vector.cmi7.10 KB
/usr/lib64/ocaml/tplib/zarith_plugin.cmxs115.29 KB
/usr/share/doc/ocaml-tplib0.00 B
/usr/share/doc/ocaml-tplib/README7.66 KB
/usr/share/licenses/ocaml-tplib0.00 B
/usr/share/licenses/ocaml-tplib/LICENSE25.81 KB
Component of No Buildroots