Sat, 29 Jun 2024 11:33:03 UTC | login

Information for RPM ocaml-tplib-1.3-72.fc38.riscv64.rpm

ID935035
Nameocaml-tplib
Version1.3
Release72.fc38
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 Time2023-02-25 13:03:16 GMT
Size157.86 KB
8721b030218f915f3f5626360ae80f32
LicenseLGPLv2+
Buildrootf38-build-685508-80580
Provides
ocaml(Halfspace) = b95f0a121113d9270a9204614a4869c0
ocaml(Hypergraph) = fb64dff761b53e9e98d4fd28729cd1f7
ocaml(Numeric) = 2d8e0553899cd491054e6c1183c31253
ocaml(Semiring) = 7459a6c85d05ae6962e9383fadc1e9b0
ocaml(Tplib_abstract) = b5e9f241d37d6f9e65d0363eecf1aff4
ocaml(Tplib_core) = b6a31c3dd082b31a381ac42bfd61bdf8
ocaml(Vector) = 459f4a8e974ff1c246a3f8c8802505ae
ocaml-tplib = 1.3-72.fc38
ocaml-tplib(riscv-64) = 1.3-72.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)
libc.so.6(GLIBC_2.28)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libgmp.so.10()(64bit)
libmpfr.so.6()(64bit)
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(Halfspace) = b95f0a121113d9270a9204614a4869c0
ocaml(Hypergraph) = fb64dff761b53e9e98d4fd28729cd1f7
ocaml(Numeric) = 2d8e0553899cd491054e6c1183c31253
ocaml(Semiring) = 7459a6c85d05ae6962e9383fadc1e9b0
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Vector) = 459f4a8e974ff1c246a3f8c8802505ae
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/0f0.00 B
/usr/lib/.build-id/0f/017bde6d497dff28e63ec4c6d5d99ebdd2d54352.00 B
/usr/lib/.build-id/c30.00 B
/usr/lib/.build-id/c3/55156afdd0383cac3246878ee2a181b58c8d0d51.00 B
/usr/lib64/ocaml/tplib0.00 B
/usr/lib64/ocaml/tplib/META173.00 B
/usr/lib64/ocaml/tplib/halfspace.cmi6.30 KB
/usr/lib64/ocaml/tplib/hypergraph.cmi1.37 KB
/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs281.09 KB
/usr/lib64/ocaml/tplib/numeric.cmi3.01 KB
/usr/lib64/ocaml/tplib/semiring.cmi7.23 KB
/usr/lib64/ocaml/tplib/tplib_abstract.cmi11.38 KB
/usr/lib64/ocaml/tplib/tplib_core.cmi8.01 KB
/usr/lib64/ocaml/tplib/vector.cmi7.12 KB
/usr/lib64/ocaml/tplib/zarith_plugin.cmxs126.71 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