معرفی شرکت ها

why3-debuginfo-1.6.0-6.fc39.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package why3
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته why3-debuginfo
نام فایل بسته why3-debuginfo-1.6.0-6.fc39.aarch64.rpm
نسخه بسته 1.6.0
انتشار بسته 6.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sun 10 Sep 2023 08
هاست سازنده buildhw-a64-19.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 3.9M
حجم نصب 21.188M
This package provides debug information for package why3. Debug information is useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
why3-debuginfo-1.6.0-6.fc39.x86_64.rpm 1.6.0 x86_64 Fedora Everything
why3-debuginfo-1.7.2-1.fc39.aarch64.rpm 1.7.2 aarch64 Fedora Everything
why3-debuginfo-1.7.2-1.fc39.x86_64.rpm 1.7.2 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 0393c590eea3b889472a890f116d4c1244d8637f debuginfo(build-id)
= 0b084e10abe1cef0ca5464cc4803b23e9ab1468b debuginfo(build-id)
= 13a15e943d3b65bb4c8693c04e82a4ed5d954703 debuginfo(build-id)
= 13c43cfa8c4c02d850275f740d76118d56d79df8 debuginfo(build-id)
= 1be5bdc2691f81dd7db27881a83de273fb5a1f2f debuginfo(build-id)
= 292e973e0127f45ff71797395ad53fd8dea3035c debuginfo(build-id)
= 4fb947dcaeaab840327bbafd26041e21754ed069 debuginfo(build-id)
= 589b7e2755283db0cb4817fbc05160398614a53f debuginfo(build-id)
= 5c4d40c11f06b4ae46f68689b861395b98590b2c debuginfo(build-id)
= 6c139c5438f55a17fc45e3aa1d4bc200c1fc4696 debuginfo(build-id)
= 73f00ce46219ebb3148870a87ee3665c394299ec debuginfo(build-id)
= 7d1a56542b39d0b8873b499a4b6425d6582eb528 debuginfo(build-id)
= 7f84b86640ac4653c020aa6e3b988efc38303523 debuginfo(build-id)
= 8da79f7262a54bc7dc8e8d0f5d744e534bf214cf debuginfo(build-id)
= 912e68fc3c95b8ce877053f83b1bf4f29353e777 debuginfo(build-id)
= 93c61107248ceb2ddb13e935b53035fe3cc384c9 debuginfo(build-id)
= 95b2d37ea7ce2f1fe4a71dcca2c090a132a977a2 debuginfo(build-id)
= a5dfcd619b45375c5600909d7646ff29ed6df2e3 debuginfo(build-id)
= b91052706750729cc55639b77b28e3e12d7fd5b8 debuginfo(build-id)
= bf705e1f5a3b7893f4923be0c573eb743d4bb612 debuginfo(build-id)
= d0333af8a062bcf455c8a99d0ce39ab066ab9d4e debuginfo(build-id)
= dc7d1fad55446483d655a5c92f50e04d49dee1b4 debuginfo(build-id)
= e3eed4c74d4c05daca0806c6377ee0970e9283bd debuginfo(build-id)
= ea21da7fab4ae227d5dbad76fdc05e625c330b09 debuginfo(build-id)
= f4473775702236ed621fe9563d8b1a64f2ec64ab debuginfo(build-id)
= 1.6.0-6.fc39 why3-debuginfo
= 1.6.0-6.fc39 why3-debuginfo(aarch-64)


نحوه نصب


نصب پکیج rpm why3-debuginfo:

    dnf install why3-debuginfo-1.6.0-6.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/93c590eea3b889472a890f116d4c1244d8637f
/usr/lib/debug/.build-id/03/93c590eea3b889472a890f116d4c1244d8637f.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/084e10abe1cef0ca5464cc4803b23e9ab1468b
/usr/lib/debug/.build-id/0b/084e10abe1cef0ca5464cc4803b23e9ab1468b.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/a15e943d3b65bb4c8693c04e82a4ed5d954703
/usr/lib/debug/.build-id/13/a15e943d3b65bb4c8693c04e82a4ed5d954703.debug
/usr/lib/debug/.build-id/13/c43cfa8c4c02d850275f740d76118d56d79df8
/usr/lib/debug/.build-id/13/c43cfa8c4c02d850275f740d76118d56d79df8.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/e5bdc2691f81dd7db27881a83de273fb5a1f2f
/usr/lib/debug/.build-id/1b/e5bdc2691f81dd7db27881a83de273fb5a1f2f.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/2e973e0127f45ff71797395ad53fd8dea3035c
/usr/lib/debug/.build-id/29/2e973e0127f45ff71797395ad53fd8dea3035c.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/b947dcaeaab840327bbafd26041e21754ed069
/usr/lib/debug/.build-id/4f/b947dcaeaab840327bbafd26041e21754ed069.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/9b7e2755283db0cb4817fbc05160398614a53f
/usr/lib/debug/.build-id/58/9b7e2755283db0cb4817fbc05160398614a53f.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/4d40c11f06b4ae46f68689b861395b98590b2c
/usr/lib/debug/.build-id/5c/4d40c11f06b4ae46f68689b861395b98590b2c.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/139c5438f55a17fc45e3aa1d4bc200c1fc4696
/usr/lib/debug/.build-id/6c/139c5438f55a17fc45e3aa1d4bc200c1fc4696.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/f00ce46219ebb3148870a87ee3665c394299ec
/usr/lib/debug/.build-id/73/f00ce46219ebb3148870a87ee3665c394299ec.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/1a56542b39d0b8873b499a4b6425d6582eb528
/usr/lib/debug/.build-id/7d/1a56542b39d0b8873b499a4b6425d6582eb528.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/84b86640ac4653c020aa6e3b988efc38303523
/usr/lib/debug/.build-id/7f/84b86640ac4653c020aa6e3b988efc38303523.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/a79f7262a54bc7dc8e8d0f5d744e534bf214cf
/usr/lib/debug/.build-id/8d/a79f7262a54bc7dc8e8d0f5d744e534bf214cf.debug
/usr/lib/debug/.build-id/91
/usr/lib/debug/.build-id/91/2e68fc3c95b8ce877053f83b1bf4f29353e777
/usr/lib/debug/.build-id/91/2e68fc3c95b8ce877053f83b1bf4f29353e777.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/c61107248ceb2ddb13e935b53035fe3cc384c9
/usr/lib/debug/.build-id/93/c61107248ceb2ddb13e935b53035fe3cc384c9.debug
/usr/lib/debug/.build-id/95
... and 59 more


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

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

Rebuild for ocaml-ocamlgraph 2.1.0

2023-07-29

Require cvc5 instead of cvc4

2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-22

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

2023-07-18

Validate metadata with appstream-util

2023-07-13

Rebuild for mpfr 4.2.0

2023-07-10

Version 1.6.0
Enable inference with BDDs
Add patch for coq 8.17 support

2023-04-01

Rebuild for coq 8.17.0

2023-01-24

Rebuild OCaml packages for F38

2023-01-21

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

2023-01-06

BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022

2022-11-26

Rebuild for coq 8.16.1

2022-11-01

Rebuild for ocaml-ppxlib 0.28.0

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