معرفی شرکت ها

alt-ergo-2.3.3-6.fc38.src.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Automated theorem prover including linear arithmetic
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته alt-ergo
نام فایل بسته alt-ergo-2.3.3-6.fc38.src.rpm
نسخه بسته 2.3.3
انتشار بسته 6.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Fri 24 Mar 2023 07
هاست سازنده buildvm-x86-21.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://alt-ergo.ocamlpro.com/
مجوز Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 2.9M
حجم نصب 2.815M
Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers.


جایگزین ها

بسته نسخه معماری مخزن
alt-ergo-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-debuginfo-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-debuginfo-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.i686.rpm 2.3.3 i686 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-gui-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-gui-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-gui-debuginfo-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-gui-debuginfo-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
- appstream
- desktop-file-utils
- gtksourceview2-devel
- make
>= 4.04.0 ocaml
- ocaml-dune
- ocaml-lablgtk-devel
- ocaml-menhir
- ocaml-num-devel
>= 0.4 ocaml-ocplib-simplex-devel
>= 0.2 ocaml-psmt2-frontend-devel
- ocaml-zarith-devel
- ocaml-zip-devel


ارائه دهنده

مقدار نام
= 2.3.3-6.fc38 alt-ergo
= 2.3.3-6.fc38 alt-ergo-gui
= 2.3.3-6.fc38 ocaml-alt-ergo-parsers
= 2.3.3-6.fc38 ocaml-alt-ergo-parsers-devel
= 2.3.3-6.fc38 ocaml-alt-ergo-lib
= 2.3.3-6.fc38 ocaml-alt-ergo-lib-devel
= 2.3.3-6.fc38 alt-ergo-debuginfo
= 2.3.3-6.fc38 alt-ergo-debugsource


نحوه نصب


نصب پکیج rpm alt-ergo:

    dnf install alt-ergo-2.3.3-6.fc38.src.rpm


فایل ها

مسیرها
alt-ergo-dune3.patch
alt-ergo-forward-compat.patch
alt-ergo-free-2.3.0.tar.gz
alt-ergo-free-2.3.3.tar.gz
alt-ergo-icons.tar.xz
alt-ergo-menhir.patch
alt-ergo-pervasives.patch
alt-ergo-psmt2-frontend.patch
alt-ergo.desktop
alt-ergo.metainfo.xml


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

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

Dune 3.7.0 changed the install location of mli files

2023-01-24

Rebuild OCaml packages for F38

2023-01-18

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

2022-08-11

Convert License tag to SPDX
Note that the AB plugin has a different license

2022-07-20

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

2022-07-05

Patch out uses of the dune external-lib-deps command
Patch out references to the seq forward compatibility module
Use new OCaml macros

2022-06-20

Version 2.3.3
Add -menhir patch to fix FTBFS
Add -stdlib-shims patch since Fedora does not need stdlib-shims

2022-06-19

OCaml 4.14.0 rebuild

2022-02-28

Switch to the correct tarball
Drop unneeded ocaml-findlib BR
Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-19

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

2021-12-27

Version 2.3.0
New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages

2021-10-05

OCaml 4.13.1 build

2021-07-29

Rebuild for changed ocamlx(Dynlink)

2021-07-21

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

2021-07-19

Move META to the main package