Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

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

ID	821261
Name	ocaml-tplib
Version	1.3
Release	70.fc37
Epoch
Arch	src
Summary	Tropical Polyhedra Library
Description	TPLib 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 Time	2022-10-07 23:12:36 GMT
Size	140.97 KB
SIGMD5	222deea928a6a46d7be7847d0749185d
License	LGPLv2+
Buildroot	f37-build-643570-72113
Provides	ocaml-tplib = 1.3-70.fc37 ocaml-tplib-debuginfo = 1.3-70.fc37 ocaml-tplib-debugsource = 1.3-70.fc37 ocaml-tplib-devel = 1.3-70.fc37 ocaml-tplib-tools = 1.3-70.fc37
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	make mpfr-devel ocaml ocaml-camlidl-devel ocaml-findlib-devel ocaml-mlgmpidl-devel ocaml-num-devel ocaml-ocamlbuild-devel ocaml-ocamldoc ocaml-zarith-devel rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 10 of 10 Name Size compute_ext_rays.1 1.25 KB compute_ext_rays_polar.1 892.00 B compute_halfspaces.1 900.00 B compute_minimal_external_representations.1 924.00 B compute_tangent_hypergraph.1 917.00 B compute_tropical_complex.1 922.00 B ocaml-tplib-mlgmpidl.patch 3.91 KB ocaml-tplib-ocamlbuild.patch 460.00 B ocaml-tplib.spec 11.94 KB tplib-1.3.tar.gz 107.90 KB
Component of	No Buildroots