Main Site Links:

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

Information for RPM ocaml-tplib-1.3-34.fc29.src.rpm

ID	256026
Name	ocaml-tplib
Version	1.3
Release	34.fc29
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	2018-08-25 10:23:29 GMT
Size	122.36 KB
SIGMD5	e78353b35d94b9e3140559330e8e0e8a
License	LGPLv2+
Buildroot	f29-build-27838-14704
Provides	No Provides
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	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 7.73 KB tplib-1.3.tar.gz 107.90 KB
Component of	No Buildroots