Tue, 18 Jun 2024 06:48:35 UTC | login

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

ID781559
Nameocaml-tplib
Version1.3
Release56.fc33.rvre0
Epoch
Archsrc
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 Time2021-04-25 08:02:29 GMT
Size124.19 KB
265fc1c5b438c63dad2a932e003dfb63
LicenseLGPLv2+
Buildrootf33-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 ascending sort Size
compute_ext_rays.11.25 KB
compute_ext_rays_polar.1892.00 B
compute_halfspaces.1900.00 B
compute_minimal_external_representations.1924.00 B
compute_tangent_hypergraph.1917.00 B
compute_tropical_complex.1922.00 B
ocaml-tplib-mlgmpidl.patch3.91 KB
ocaml-tplib-ocamlbuild.patch460.00 B
ocaml-tplib.spec10.74 KB
tplib-1.3.tar.gz107.90 KB
Component of No Buildroots