Fri, 15 Oct 2021 20:33:54 UTC

Information for RPM ocaml-tplib-1.3-41.fc32.x86_64.rpm

ID19314191
Nameocaml-tplib
Version1.3
Release41.fc32
Epoch
Archx86_64
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 Time2019-10-11 20:06:26 GMT
Size159,536
0987f6224d33d8feda8812a2a07abfda
LicenseLGPLv2+
Buildrootf32-mpfr4-17773323-1280613
Provides
ocaml(Halfspace) = 4a67d27342c084b75c19f441fedc73fd
ocaml(Hypergraph) = d32d6e85185d8472584a6c01ed4a64b9
ocaml(Numeric) = 8df69cede76f577324ce07d8ce9afaf6
ocaml(Semiring) = c78287087d87f05394c49ca00d7268a9
ocaml(Tplib_abstract) = 883ae37011b70a164c8d86f1fce2cd26
ocaml(Tplib_core) = 9f01ad2ccc51b97c8a9f29203b87da48
ocaml(Vector) = 9cf96824724f9917d00f1b6048b3bdbc
ocaml-tplib = 1.3-41.fc32
ocaml-tplib(x86-64) = 1.3-41.fc32
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libc.so.6()(64bit)
libc.so.6(GLIBC_2.10)(64bit)
libc.so.6(GLIBC_2.11)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.15)(64bit)
libc.so.6(GLIBC_2.16)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.28)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.9)(64bit)
libgmp.so.10()(64bit)
libmpfr.so.6()(64bit)
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(Halfspace) = 4a67d27342c084b75c19f441fedc73fd
ocaml(Hypergraph) = d32d6e85185d8472584a6c01ed4a64b9
ocaml(Numeric) = 8df69cede76f577324ce07d8ce9afaf6
ocaml(Semiring) = c78287087d87f05394c49ca00d7268a9
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__format) = b19f294d464555e99bcd77ca013195d9
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526
ocaml(Vector) = 9cf96824724f9917d00f1b6048b3bdbc
ocaml(runtime) = 4.08.1
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
/usr/lib/.build-id/8c0
/usr/lib/.build-id/8c/0e113d790314d9c3a99971c66e47b0e5807d2a52
/usr/lib/.build-id/bd0
/usr/lib/.build-id/bd/b6320e1591a4a1027df83632d282596851635f51
/usr/lib64/ocaml/tplib0
/usr/lib64/ocaml/tplib/META173
/usr/lib64/ocaml/tplib/halfspace.cmi6,174
/usr/lib64/ocaml/tplib/hypergraph.cmi1,334
/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs314,896
/usr/lib64/ocaml/tplib/numeric.cmi2,944
/usr/lib64/ocaml/tplib/semiring.cmi7,061
/usr/lib64/ocaml/tplib/tplib_abstract.cmi11,189
/usr/lib64/ocaml/tplib/tplib_core.cmi7,898
/usr/lib64/ocaml/tplib/vector.cmi7,035
/usr/lib64/ocaml/tplib/zarith_plugin.cmxs123,696
/usr/share/doc/ocaml-tplib0
/usr/share/doc/ocaml-tplib/README7,841
/usr/share/licenses/ocaml-tplib0
/usr/share/licenses/ocaml-tplib/LICENSE26,434
Component of No Buildroots