معرفی شرکت ها

ocaml-tplib-1.3-72.fc38.i686.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.i686.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+
حجم دانلود 163K
حجم نصب 462.287K
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.src.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


نیازمندی

مقدار نام
- libc.so.6
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.2)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.10)
- libc.so.6(GLIBC_2.11)
- libc.so.6(GLIBC_2.15)
- libc.so.6(GLIBC_2.16)
- libc.so.6(GLIBC_2.2)
- libc.so.6(GLIBC_2.28)
- libc.so.6(GLIBC_2.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.33)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.9)
- libgmp.so.10
- libmpfr.so.6
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= b95f0a121113d9270a9204614a4869c0 ocaml(Halfspace)
= fb64dff761b53e9e98d4fd28729cd1f7 ocaml(Hypergraph)
= 2d8e0553899cd491054e6c1183c31253 ocaml(Numeric)
= 7459a6c85d05ae6962e9383fadc1e9b0 ocaml(Semiring)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 459f4a8e974ff1c246a3f8c8802505ae ocaml(Vector)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= b95f0a121113d9270a9204614a4869c0 ocaml(Halfspace)
= fb64dff761b53e9e98d4fd28729cd1f7 ocaml(Hypergraph)
= 2d8e0553899cd491054e6c1183c31253 ocaml(Numeric)
= 7459a6c85d05ae6962e9383fadc1e9b0 ocaml(Semiring)
= b5e9f241d37d6f9e65d0363eecf1aff4 ocaml(Tplib_abstract)
= b6a31c3dd082b31a381ac42bfd61bdf8 ocaml(Tplib_core)
= 459f4a8e974ff1c246a3f8c8802505ae ocaml(Vector)
= 1.3-72.fc38 ocaml-tplib
= 1.3-72.fc38 ocaml-tplib(x86-32)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/e75bee2f381091a9a0f0c8c4447e1e5f06896c
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/819de2da584e8b8c6386d89fde7b0c4824ae98
/usr/lib/ocaml/tplib
/usr/lib/ocaml/tplib/META
/usr/lib/ocaml/tplib/halfspace.cmi
/usr/lib/ocaml/tplib/hypergraph.cmi
/usr/lib/ocaml/tplib/mlgmp_plugin.cmxs
/usr/lib/ocaml/tplib/numeric.cmi
/usr/lib/ocaml/tplib/semiring.cmi
/usr/lib/ocaml/tplib/tplib_abstract.cmi
/usr/lib/ocaml/tplib/tplib_core.cmi
/usr/lib/ocaml/tplib/vector.cmi
/usr/lib/ocaml/tplib/zarith_plugin.cmxs
/usr/share/doc/ocaml-tplib
/usr/share/doc/ocaml-tplib/README
/usr/share/licenses/ocaml-tplib


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

تاریخ آخرین تغییر جزئیات
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