معرفی شرکت ها

why3-debuginfo-1.5.1-8.fc38.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package why3
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته why3-debuginfo
نام فایل بسته why3-debuginfo-1.5.1-8.fc38.aarch64.rpm
نسخه بسته 1.5.1
انتشار بسته 8.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 07
هاست سازنده buildvm-a64-28.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 2.3M
حجم نصب 14.211M
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.5.1-6.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-6.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debuginfo-1.5.1-8.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 05e97e5256c95b23e81a2e4b4edea72f837dd3c6 debuginfo(build-id)
= 060dfea7cc50c9b38c7fb6a1076bb1b29a1174f5 debuginfo(build-id)
= 161d3cfa3b15917488105c0bf77a3a1eabfbb2eb debuginfo(build-id)
= 3f45179e7284d827e036668535a63e8e829019a4 debuginfo(build-id)
= 437f6b4575e3c2de7874e92aa245fea11f740264 debuginfo(build-id)
= 5a60fb8a7b840d9c0ae0554141e7795c196ccaf8 debuginfo(build-id)
= 68f4c0364bfc11c1d579ffdc001af3b2059ac678 debuginfo(build-id)
= 698dc17737826fb8c129bb1e89a929866e722904 debuginfo(build-id)
= 70e64c7321c2ca59c9d150a66d29532e69c33693 debuginfo(build-id)
= 740891379378a10e1de7984a3c756460429e657f debuginfo(build-id)
= 7419b5cb1e268cf1d9cc7ce7d940ab908888bb65 debuginfo(build-id)
= 77280273ddd746c91201ff2760d71d0e88d16011 debuginfo(build-id)
= 83f404a567861f42e0de70fd199b66953bbccfe6 debuginfo(build-id)
= 89323c7026bc0bbc644066f869318eb26c702a66 debuginfo(build-id)
= 8f02c6190716b37acdf080b0d34efe755c116205 debuginfo(build-id)
= 906831324bc8b56a8cb1b027c1c23aaa9008009c debuginfo(build-id)
= 960ae9842d11fb0d5244dc75a9ae31a933d9e387 debuginfo(build-id)
= 962dca969642c220891dd432fcdbcf9d14d48ab2 debuginfo(build-id)
= a61b7416b9586b385ac14bd22a77e205c31acacf debuginfo(build-id)
= af1d6f60f1602e5543b607949a7c2278d4c68005 debuginfo(build-id)
= c2061f77522f6eb79c026feadd82d46850cca1c0 debuginfo(build-id)
= c6a6b2fd3754a759ffe70727551a06303ed46677 debuginfo(build-id)
= dd2abad8e816f6ff589e912df99fbd074b2e6a6c debuginfo(build-id)
= e1016b356c262ba43f129f9936a68e42d2e82c44 debuginfo(build-id)
= fa66ebd7a5263b0936bb9d9fc44dadb07e9b76df debuginfo(build-id)
= 1.5.1-8.fc38 why3-debuginfo
= 1.5.1-8.fc38 why3-debuginfo(aarch-64)


نحوه نصب


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

    dnf install why3-debuginfo-1.5.1-8.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/e97e5256c95b23e81a2e4b4edea72f837dd3c6
/usr/lib/debug/.build-id/05/e97e5256c95b23e81a2e4b4edea72f837dd3c6.debug
/usr/lib/debug/.build-id/06
/usr/lib/debug/.build-id/06/0dfea7cc50c9b38c7fb6a1076bb1b29a1174f5
/usr/lib/debug/.build-id/06/0dfea7cc50c9b38c7fb6a1076bb1b29a1174f5.debug
/usr/lib/debug/.build-id/16
/usr/lib/debug/.build-id/16/1d3cfa3b15917488105c0bf77a3a1eabfbb2eb
/usr/lib/debug/.build-id/16/1d3cfa3b15917488105c0bf77a3a1eabfbb2eb.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/45179e7284d827e036668535a63e8e829019a4
/usr/lib/debug/.build-id/3f/45179e7284d827e036668535a63e8e829019a4.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/7f6b4575e3c2de7874e92aa245fea11f740264
/usr/lib/debug/.build-id/43/7f6b4575e3c2de7874e92aa245fea11f740264.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/60fb8a7b840d9c0ae0554141e7795c196ccaf8
/usr/lib/debug/.build-id/5a/60fb8a7b840d9c0ae0554141e7795c196ccaf8.debug
/usr/lib/debug/.build-id/68
/usr/lib/debug/.build-id/68/f4c0364bfc11c1d579ffdc001af3b2059ac678
/usr/lib/debug/.build-id/68/f4c0364bfc11c1d579ffdc001af3b2059ac678.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/8dc17737826fb8c129bb1e89a929866e722904
/usr/lib/debug/.build-id/69/8dc17737826fb8c129bb1e89a929866e722904.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/e64c7321c2ca59c9d150a66d29532e69c33693
/usr/lib/debug/.build-id/70/e64c7321c2ca59c9d150a66d29532e69c33693.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/0891379378a10e1de7984a3c756460429e657f
/usr/lib/debug/.build-id/74/0891379378a10e1de7984a3c756460429e657f.debug
/usr/lib/debug/.build-id/74/19b5cb1e268cf1d9cc7ce7d940ab908888bb65
/usr/lib/debug/.build-id/74/19b5cb1e268cf1d9cc7ce7d940ab908888bb65.debug
/usr/lib/debug/.build-id/77
/usr/lib/debug/.build-id/77/280273ddd746c91201ff2760d71d0e88d16011
/usr/lib/debug/.build-id/77/280273ddd746c91201ff2760d71d0e88d16011.debug
/usr/lib/debug/.build-id/83
/usr/lib/debug/.build-id/83/f404a567861f42e0de70fd199b66953bbccfe6
/usr/lib/debug/.build-id/83/f404a567861f42e0de70fd199b66953bbccfe6.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/323c7026bc0bbc644066f869318eb26c702a66
/usr/lib/debug/.build-id/89/323c7026bc0bbc644066f869318eb26c702a66.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/02c6190716b37acdf080b0d34efe755c116205
/usr/lib/debug/.build-id/8f/02c6190716b37acdf080b0d34efe755c116205.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/6831324bc8b56a8cb1b027c1c23aaa9008009c
/usr/lib/debug/.build-id/90/6831324bc8b56a8cb1b027c1c23aaa9008009c.debug
/usr/lib/debug/.build-id/96
... and 58 more


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

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

Rebuild for coq 8.17.1

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

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