معرفی شرکت ها


ocaml-tplib-1.3-72.fc38.src.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Tropical Polyhedra Library
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته ocaml-tplib
نام فایل بسته ocaml-tplib-1.3-72.fc38.src.rpm
نسخه بسته 1.3
انتشار بسته 72.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 01
هاست سازنده buildvm-x86-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gforge.inria.fr/projects/tplib
مجوز LGPLv2+
حجم دانلود 142K
حجم نصب 130.155K
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.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-tplib-1.3-72.fc38.aarch64.rpm 1.3 aarch64 Fedora Everything
ocaml-tplib-1.3-72.fc38.i686.rpm 1.3 i686 Fedora Everything
ocaml-tplib-1.3-72.fc38.x86_64.rpm 1.3 x86_64 Fedora Everything
ocaml-tplib-debuginfo-1.3-72.fc38.aarch64.rpm 1.3 aarch64 Fedora Everything
ocaml-tplib-debuginfo-1.3-72.fc38.i686.rpm 1.3 i686 Fedora Everything
ocaml-tplib-debuginfo-1.3-72.fc38.x86_64.rpm 1.3 x86_64 Fedora Everything
ocaml-tplib-debugsource-1.3-72.fc38.aarch64.rpm 1.3 aarch64 Fedora Everything
ocaml-tplib-debugsource-1.3-72.fc38.i686.rpm 1.3 i686 Fedora Everything
ocaml-tplib-debugsource-1.3-72.fc38.x86_64.rpm 1.3 x86_64 Fedora Everything
ocaml-tplib-devel-1.3-72.fc38.aarch64.rpm 1.3 aarch64 Fedora Everything
ocaml-tplib-devel-1.3-72.fc38.i686.rpm 1.3 i686 Fedora Everything
ocaml-tplib-devel-1.3-72.fc38.x86_64.rpm 1.3 x86_64 Fedora Everything
ocaml-tplib-tools-1.3-72.fc38.aarch64.rpm 1.3 aarch64 Fedora Everything
ocaml-tplib-tools-1.3-72.fc38.x86_64.rpm 1.3 x86_64 Fedora Everything
ocaml-tplib-tools-debuginfo-1.3-72.fc38.aarch64.rpm 1.3 aarch64 Fedora Everything
ocaml-tplib-tools-debuginfo-1.3-72.fc38.x86_64.rpm 1.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
- make
- mpfr-devel
- ocaml
- ocaml-camlidl-devel
- ocaml-findlib-devel
- ocaml-mlgmpidl-devel
- ocaml-num-devel
- ocaml-ocamlbuild-devel
- ocaml-ocamldoc
- ocaml-zarith-devel


ارائه دهنده

مقدار نام
= 1.3-72.fc38 ocaml-tplib
= 1.3-72.fc38 ocaml-tplib-devel
= 1.3-72.fc38 ocaml-tplib-tools
= 1.3-72.fc38 ocaml-tplib-debuginfo
= 1.3-72.fc38 ocaml-tplib-debugsource


نحوه نصب


نصب پکیج rpm ocaml-tplib:

    dnf install ocaml-tplib-1.3-72.fc38.src.rpm


فایل ها

مسیرها
compute_ext_rays.1
compute_ext_rays_polar.1
compute_halfspaces.1
compute_minimal_external_representations.1
compute_tangent_hypergraph.1
compute_tropical_complex.1
ocaml-tplib-mlgmpidl.patch
ocaml-tplib-ocamlbuild.patch
ocaml-tplib.spec


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-06-18

OCaml 4.14.0 rebuild

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-12-27

Rebuild for ocaml-mlgmpidl 1.2.14

2021-10-04

OCaml 4.13.1 build

2021-07-29

Filter ocaml, mlgmpidl, and zarith symbols out of Provides

2021-07-29

Rebuild for changed ocamlx(Dynlink)

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-03-15

Bump and rebuild for updated ocaml-findlib.

2021-03-03

Rebuild for ocaml-zarith 1.12

2021-03-01

OCaml 4.12.0 build

2021-02-17

Bump and rebuild for updated ocaml Dynlink dependency

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild