Main Site Links:

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

Information for RPM ocaml-tplib-1.3-56.fc33.rvre0.src.rpm

ID	781559
Name	ocaml-tplib
Version	1.3
Release	56.fc33.rvre0
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	2021-04-25 08:02:29 GMT
Size	124.19 KB
SIGMD5	265fc1c5b438c63dad2a932e003dfb63
License	LGPLv2+
Buildroot	f33-build-597523-66943
Provides	ocaml-tplib = 1.3-56.fc33.rvre0 ocaml-tplib-debuginfo = 1.3-56.fc33.rvre0 ocaml-tplib-debugsource = 1.3-56.fc33.rvre0 ocaml-tplib-devel = 1.3-56.fc33.rvre0 ocaml-tplib-tools = 1.3-56.fc33.rvre0
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 10.74 KB tplib-1.3.tar.gz 107.90 KB
Component of	No Buildroots