معرفی شرکت ها
why3-debugsource-1.5.1-1.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Fedora 37 |
مخزن | Fedora Everything aarch64 |
نام بسته | why3-debugsource |
نام فایل بسته | why3-debugsource-1.5.1-1.fc37.aarch64.rpm |
نسخه بسته | 1.5.1 |
انتشار بسته | 1.fc37 |
معماری بسته | aarch64 |
نگهدارنده | - |
تاریخ ساخت | Sat 17 Sep 2022 05 |
هاست سازنده | buildvm-a64-31.iad2.fedoraproject.org |
نوع بسته | .rpm |
آدرس صفحه اصلی | http://why3.lri.fr/ |
مجوز | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
حجم دانلود | 875K |
حجم نصب | 7.889M |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
why3-debugsource-1.5.1-1.fc37.x86_64.rpm | 1.5.1 | x86_64 | Fedora Everything |
why3-debugsource-1.5.1-3.fc37.aarch64.rpm | 1.5.1 | aarch64 | Fedora Everything |
why3-debugsource-1.5.1-3.fc37.x86_64.rpm | 1.5.1 | x86_64 | Fedora Everything |
ارائه دهنده
مقدار | نام |
---|---|
= 1.5.1-1.fc37 | why3-debugsource |
= 1.5.1-1.fc37 | why3-debugsource(aarch-64) |
نحوه نصب
نصب پکیج rpm why3-debugsource:
dnf install why3-debugsource-1.5.1-1.fc37.aarch64.rpm
فایل ها
مسیرها |
---|
/usr/src/debug/why3-1.5.1-1.fc37.aarch64 |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_lexer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_lexer.mll |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_main.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_parser.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_parser.mly |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_paths.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/cfg_stackify.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/cfg/stackify.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc/mc_lexer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc/mc_lexer.mll |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc/mc_main.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc/mc_parser.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc/mc_parser.mly |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/microc/mc_printer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/parser |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/parser/dimacs.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/parser/dimacs.mll |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/parser/genequlin.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/python |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/python/py_lexer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/python/py_lexer.mll |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/python/py_main.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/python/py_parser.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/python/py_parser.mly |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp/tptp_lexer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp/tptp_lexer.mll |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp/tptp_parser.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp/tptp_parser.mly |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp/tptp_printer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/tptp/tptp_typing.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/transform |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/plugins/transform/hypothesis_selection.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/coercion.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/decl.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/dterm.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/env.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/ident.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/keywords.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/model_parser.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/pattern.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/pretty.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/printer.ml |
/usr/src/debug/why3-1.5.1-1.fc37.aarch64/src/core/task.ml |
... and 231 more |
گزارش تغییرات
تاریخ آخرین تغییر | جزئیات |
---|---|
2022-09-16 |
Version 1.5.1
|
2022-08-18 |
Rebuild to fix coq dependency
|
2022-07-23 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
2022-07-19 |
Remove i686 support
|
2022-07-07 |
Version 1.5.0
|
2022-06-19 |
OCaml 4.14.0 rebuild
|
2022-03-25 |
Rebuild for coq 8.15.1
|
2022-02-28 |
Version 1.4.1
|
2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
2022-01-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
2022-01-17 |
Rebuild for menhir 20211230
|
2021-12-27 |
Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11
|
2021-11-30 |
Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128
|
2021-10-21 |
Rebuild for coq 8.14.0 and menhir 20211012
|
2021-10-05 |
OCaml 4.13.1 build
|
2021-10-04 |
Try to build on s390x with OCaml 4.13
|