Main Site Links:

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

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

ID	152681
Name	ocaml-tplib
Version	1.3
Release	31.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-06-26 11:13:30 GMT
Size	124.45 KB
SIGMD5	b9962449173578bf6368819fd36478f1
License	LGPLv2+
Buildroot	f29-build-14718-6784
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.39 KB tplib-1.3.tar.gz 107.90 KB
Component of	No Buildroots