معرفی شرکت ها


why3-debugsource-1.5.1-1.fc37.aarch64.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug sources for package why3
ویژگی مقدار
سیستم عامل 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
This package provides debug sources for package why3. Debug sources are useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
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
Convert License tag to SPDX

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
Add ocaml-mlmpfr support
Drop unmaintained man pages
Use new OCaml macros

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
Add -coq8.14 patch
Drop XEmacs support

2021-10-05

OCaml 4.13.1 build

2021-10-04

Try to build on s390x with OCaml 4.13