Thu, 27 Jun 2024 12:18:46 UTC | login

Information for RPM ocaml-tplib-1.3-31.fc29.riscv64.rpm

ID152682
Nameocaml-tplib
Version1.3
Release31.fc29
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 Time2018-06-26 11:20:24 GMT
Size139.41 KB
6e61e0cd38ee29b6615f24bfa066a958
LicenseLGPLv2+
Buildrootf29-build-14718-6784
Provides
ocaml(Halfspace) = c54265905ad3121ec70823f9c60fb27c
ocaml(Hypergraph) = daeadf725cd63d2b2f0b7595e72e7ddf
ocaml(Numeric) = f6538876a786dd097017d6f705f7c44e
ocaml(Semiring) = a3110d10c75305c98d8ad2ab18526666
ocaml(Tplib_abstract) = 64662767a75ec39cc62718c4c0983717
ocaml(Tplib_core) = 02a2e5b6feb1263803b27cf703f46667
ocaml(Vector) = 00e8436c024ee96adac525fd9afda6ca
ocaml-tplib = 1.3-31.fc29
ocaml-tplib(riscv-64) = 1.3-31.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)
libmpfr.so.4()(64bit)
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(Format) = 1a17539924469551f027475153d4d3b5
ocaml(Halfspace) = c54265905ad3121ec70823f9c60fb27c
ocaml(Hypergraph) = daeadf725cd63d2b2f0b7595e72e7ddf
ocaml(Numeric) = f6538876a786dd097017d6f705f7c44e
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Semiring) = a3110d10c75305c98d8ad2ab18526666
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Vector) = 00e8436c024ee96adac525fd9afda6ca
ocaml(runtime) = 4.06.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 20 of 20
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/6f0.00 B
/usr/lib/.build-id/6f/8dc463e3424344e2f3790bbd94915bdc53581751.00 B
/usr/lib/.build-id/ed0.00 B
/usr/lib/.build-id/ed/c8c34604862174fe6fbb4425fcbb6fc1c2ee4552.00 B
/usr/lib64/ocaml/tplib0.00 B
/usr/lib64/ocaml/tplib/META173.00 B
/usr/lib64/ocaml/tplib/halfspace.cmi5.76 KB
/usr/lib64/ocaml/tplib/hypergraph.cmi1.21 KB
/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs265.68 KB
/usr/lib64/ocaml/tplib/numeric.cmi2.77 KB
/usr/lib64/ocaml/tplib/semiring.cmi6.62 KB
/usr/lib64/ocaml/tplib/tplib_abstract.cmi10.43 KB
/usr/lib64/ocaml/tplib/tplib_core.cmi7.39 KB
/usr/lib64/ocaml/tplib/vector.cmi6.51 KB
/usr/lib64/ocaml/tplib/zarith_plugin.cmxs95.99 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