معرفی شرکت ها
alt-ergo-2.3.3-6.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Fedora 38 |
مخزن | Fedora Everything aarch64 |
نام بسته | alt-ergo |
نام فایل بسته | alt-ergo-2.3.3-6.fc38.aarch64.rpm |
نسخه بسته | 2.3.3 |
انتشار بسته | 6.fc38 |
معماری بسته | aarch64 |
نگهدارنده | - |
تاریخ ساخت | Fri 24 Mar 2023 07 |
هاست سازنده | buildvm-a64-29.iad2.fedoraproject.org |
نوع بسته | .rpm |
آدرس صفحه اصلی | https://alt-ergo.ocamlpro.com/ |
مجوز | Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
حجم دانلود | 5.0M |
حجم نصب | 14.187M |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
alt-ergo-2.3.3-6.fc38.src.rpm | 2.3.3 | i686 | 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 |
نیازمندی
مقدار | نام |
---|---|
- | ld-linux-aarch64.so.1()(64bit) |
- | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
- | libc.so.6()(64bit) |
- | libc.so.6(GLIBC_2.17)(64bit) |
- | libc.so.6(GLIBC_2.28)(64bit) |
- | libc.so.6(GLIBC_2.33)(64bit) |
- | libc.so.6(GLIBC_2.34)(64bit) |
- | libgmp.so.10()(64bit) |
- | libm.so.6()(64bit) |
- | libm.so.6(GLIBC_2.17)(64bit) |
- | libm.so.6(GLIBC_2.29)(64bit) |
- | libm.so.6(GLIBC_2.35)(64bit) |
- | libz.so.1()(64bit) |
= 4308c06ca3ef1fd259c6fedd62b82e5a | ocaml(ABWhy3Plugin) |
= 920216e2afffefc514bd7bf136250cb5 | ocaml(ABWhy3Plugin__Why3_loc) |
= f72e866fdbb6b33ea9295487129740a8 | ocaml(ABWhy3Plugin__Why3_parser) |
= a001944461ce4851b8169e9c2ee9f5b1 | ocaml(ABWhy3Plugin__Why3_ptree) |
= 9eb66ead7c16505345480d13d62e19da | ocaml(AltErgoLib) |
= ce5bc384acfde88d8754e98ef3878c2e | ocaml(AltErgoLib__Ac) |
= 5936b5e6260bc74eca9142d5046dc836 | ocaml(AltErgoLib__Adt) |
= 02b2fa56f51840de162bda316c245a27 | ocaml(AltErgoLib__Arrays) |
= 6320ae1a827b7214c306dccb09394092 | ocaml(AltErgoLib__Bitv) |
= 9e0e53df6d5390cf838a9352e00b4a56 | ocaml(AltErgoLib__Enum) |
= cb41b4d8d37190996392adeb41b62df5 | ocaml(AltErgoLib__Explanation) |
= 6fa355919f817f5185a0f8ca3d11cf46 | ocaml(AltErgoLib__Expr) |
= c93e12be40643436ef709ad9e2706bb0 | ocaml(AltErgoLib__Hstring) |
= 4a6b1996a7c5386d5e4a20d93ba7e227 | ocaml(AltErgoLib__Inequalities) |
= b8ee2546edf14396ecf727ca2fb08758 | ocaml(AltErgoLib__Ite) |
= b8f3bebe83000b643e8579e4920032b1 | ocaml(AltErgoLib__Loc) |
= 71b1a067d71454362971f6534db1cc10 | ocaml(AltErgoLib__Numbers) |
= 181149daa6fe682f6f5620828b3bdef3 | ocaml(AltErgoLib__NumbersInterface) |
= 14fb4d773074dba9990c8bcc335f9f7a | ocaml(AltErgoLib__Options) |
= ef01fbd8363b4f00948438735572597d | ocaml(AltErgoLib__Parsed) |
= cf785c50d11b6d9f8f07c6801663e599 | ocaml(AltErgoLib__Parsed_interface) |
= 19753a6ac56e7fd7db9f9ad20dfacafe | ocaml(AltErgoLib__Polynome) |
= 7192168f0fd7b69756eca3725dc9229a | ocaml(AltErgoLib__Records) |
= 4a6c2e8227afdf786a9032b2ae895bd2 | ocaml(AltErgoLib__Satml_types) |
= aee4ebdf0db343bbe808fe1ac7c8525e | ocaml(AltErgoLib__Shostak) |
= f726c85171660981807d32a8ce4cff3e | ocaml(AltErgoLib__Sig) |
= d7f0d2d4113a8cc1600b67cbe22de1b1 | ocaml(AltErgoLib__Symbols) |
= 8ef60b809738fabfb3a77cc9ad26199e | ocaml(AltErgoLib__Ty) |
= a8ff61a6bb7fc2a4549d357425c3b79a | ocaml(AltErgoLib__Typed) |
= ed0c2975007767bee70b3cba28930fb0 | ocaml(AltErgoLib__Util) |
= 9dfadf1482d7c321f0f33dbdcdbc799f | ocaml(AltErgoLib__Var) |
= 6225abb9e030add87cadea5da5042492 | ocaml(AltErgoLib__Vec) |
= ce89ed8e1069e44be12abf26bc173520 | ocaml(AltErgoParsers) |
= efee12d9ac60bf318ea2db0c98768227 | ocaml(AltErgoParsers__Parsers) |
= 0d29f9784dac1f856b4e4b9ce51e6e37 | ocaml(Big_int) |
= 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
= 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
= 5081d1bcddeb541f21ad255ff0aa122f | ocaml(FmSimplexPlugin) |
= 5ded00302fe3638ce152def6dee2c550 | ocaml(FmSimplexPlugin__Simplex) |
= 6cc05d77def66de5ff232059321c08e3 | ocaml(FmSimplexPlugin__Simplex_cache) |
= 3ec00a6f1f5ba9c7faa313eb03850c8d | ocaml(MenhirLib) |
= cf53074211ea56c636ac753b3faa2286 | ocaml(Nat) |
= d7e7bf3115ef0f4d7fc54872e5ab1a14 | ocaml(Num) |
= 28be2dbf598b1671fb5c1b4bdf6e2b0b | ocaml(Ratio) |
= 79b0e9d3b6f7fed07eb3cc2abb961b91 | ocaml(Stdlib) |
= 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
= 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
= 3d02c33317c0108c61e7a5eefa37519a | ocaml(Stdlib__Bytes) |
= 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
= b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
= 34c0fdd524bf2a75e4d5af64a6d34401 | ocaml(Stdlib__Hashtbl) |
= a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
= 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
= c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
= ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
= 978f82916b5a172c11d2b72719d85680 | ocaml(Stdlib__Map) |
= 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
= bb5f62fa906224c917383a27d025e251 | ocaml(Stdlib__Parsing) |
= b066724fe533c7b8fc9b521e37aedad8 | ocaml(Stdlib__Queue) |
= b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
= 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
= 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
= c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
= 2.3.3-6.fc38 | ocaml-alt-ergo-parsers(aarch-64) |
- | rtld(GNU_HASH) |
ارائه دهنده
مقدار | نام |
---|---|
= 2.3.3-6.fc38 | alt-ergo |
= 2.3.3-6.fc38 | alt-ergo(aarch-64) |
= 4308c06ca3ef1fd259c6fedd62b82e5a | ocaml(ABWhy3Plugin) |
= ecd906a14805a47b156a1ef364505fc5 | ocaml(ABWhy3Plugin__Why3_lexer) |
= 920216e2afffefc514bd7bf136250cb5 | ocaml(ABWhy3Plugin__Why3_loc) |
= f72e866fdbb6b33ea9295487129740a8 | ocaml(ABWhy3Plugin__Why3_parser) |
= a001944461ce4851b8169e9c2ee9f5b1 | ocaml(ABWhy3Plugin__Why3_ptree) |
= 5081d1bcddeb541f21ad255ff0aa122f | ocaml(FmSimplexPlugin) |
= 608ce0cb5d18156ba2265239019f643f | ocaml(FmSimplexPlugin__FmSimplexIneqs) |
= 5ded00302fe3638ce152def6dee2c550 | ocaml(FmSimplexPlugin__Simplex) |
= 6cc05d77def66de5ff232059321c08e3 | ocaml(FmSimplexPlugin__Simplex_cache) |
نحوه نصب
نصب پکیج rpm alt-ergo:
dnf install alt-ergo-2.3.3-6.fc38.aarch64.rpm
فایل ها
مسیرها |
---|
/usr/bin/alt-ergo |
/usr/lib/.build-id |
/usr/lib/.build-id/1c |
/usr/lib/.build-id/1c/88c6b687045a7df44c3702e3963d50a74fff72 |
/usr/lib64/ocaml/alt-ergo |
/usr/lib64/ocaml/alt-ergo-free |
/usr/lib64/ocaml/alt-ergo-free/META |
/usr/lib64/ocaml/alt-ergo-free/dune-package |
/usr/lib64/ocaml/alt-ergo-free/opam |
/usr/lib64/ocaml/alt-ergo/META |
/usr/lib64/ocaml/alt-ergo/dune-package |
/usr/lib64/ocaml/alt-ergo/opam |
/usr/lib64/ocaml/alt-ergo/plugins |
/usr/lib64/ocaml/alt-ergo/plugins/AB-Why3-plugin.cma |
/usr/lib64/ocaml/alt-ergo/plugins/AB-Why3-plugin.cmxs |
/usr/lib64/ocaml/alt-ergo/plugins/fm-simplex-plugin.cma |
/usr/lib64/ocaml/alt-ergo/plugins/fm-simplex-plugin.cmxs |
/usr/lib64/ocaml/alt-ergo/preludes |
/usr/lib64/ocaml/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae |
/usr/lib64/ocaml/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why |
/usr/share/doc/alt-ergo |
/usr/share/doc/alt-ergo/Alt-Ergo--Atelier-B--RSSR-2016.pdf |
/usr/share/doc/alt-ergo/Alt-Ergo-2.2--SMT-Workshop-2018.pdf |
/usr/share/doc/alt-ergo/CHANGES |
/usr/share/doc/alt-ergo/README.md |
/usr/share/doc/alt-ergo/examples |
/usr/share/doc/alt-ergo/examples/AB-Why3-plugin |
/usr/share/doc/alt-ergo/examples/AB-Why3-plugin/p4_34.why |
/usr/share/doc/alt-ergo/examples/invalid |
/usr/share/doc/alt-ergo/examples/invalid/arith1.why |
/usr/share/doc/alt-ergo/examples/invalid/arith2.why |
/usr/share/doc/alt-ergo/examples/invalid/arrays.why |
/usr/share/doc/alt-ergo/examples/invalid/bitv.why |
/usr/share/doc/alt-ergo/examples/lib_usage.ml |
/usr/share/doc/alt-ergo/examples/valid |
/usr/share/doc/alt-ergo/examples/valid/ac_arith.why |
/usr/share/doc/alt-ergo/examples/valid/arith1.why |
/usr/share/doc/alt-ergo/examples/valid/arith2.why |
/usr/share/doc/alt-ergo/examples/valid/arith3.why |
/usr/share/doc/alt-ergo/examples/valid/arith4.why |
/usr/share/doc/alt-ergo/examples/valid/arrays.why |
/usr/share/doc/alt-ergo/examples/valid/bitv.why |
/usr/share/doc/alt-ergo/examples/valid/congruence.why |
/usr/share/doc/alt-ergo/examples/valid/enum_arrays.why |
/usr/share/doc/alt-ergo/examples/valid/quantifiers.why |
گزارش تغییرات
تاریخ آخرین تغییر | جزئیات |
---|---|
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
|
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
|
2022-06-20 |
Version 2.3.3
|
2022-06-19 |
OCaml 4.14.0 rebuild
|
2022-02-28 |
Switch to the correct tarball
|
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
|
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
|