Sat, 29 Jun 2024 13:21:49 UTC | login

Information for RPM ocaml-tplib-1.3-70.fc37.riscv64.rpm

ID821267
Nameocaml-tplib
Version1.3
Release70.fc37
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 Time2022-10-07 23:14:22 GMT
Size157.68 KB
9864603d3ecd7b545236aaa86450a138
LicenseLGPLv2+
Buildrootf37-build-643570-72113
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-70.fc37
ocaml-tplib(riscv-64) = 1.3-70.fc37
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/040.00 B
/usr/lib/.build-id/04/ab297d7659b0238bcb6977967dd0b7c5d1c48651.00 B
/usr/lib/.build-id/b30.00 B
/usr/lib/.build-id/b3/a953ce2a0c9dfaf839c092ea7e38967098d95452.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.cmxs272.86 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.70 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