معرفی شرکت ها

frama-c-debuginfo-28.1-2.fc39.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package frama-c
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته frama-c-debuginfo
نام فایل بسته frama-c-debuginfo-28.1-2.fc39.aarch64.rpm
نسخه بسته 28.1
انتشار بسته 2.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 18 Apr 2024 10
هاست سازنده buildvm-a64-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://frama-c.com/
مجوز LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception
حجم دانلود 11M
حجم نصب 63.530M
This package provides debug information for package frama-c. Debug information is useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
frama-c-debuginfo-27.1-4.fc39.aarch64.rpm 27.1 aarch64 Fedora Everything
frama-c-debuginfo-27.1-4.fc39.x86_64.rpm 27.1 x86_64 Fedora Everything
frama-c-debuginfo-27.1-5.fc39.aarch64.rpm 27.1 aarch64 Fedora Everything
frama-c-debuginfo-27.1-5.fc39.x86_64.rpm 27.1 x86_64 Fedora Everything
frama-c-debuginfo-28.1-2.fc39.x86_64.rpm 28.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 006f92eb34f1574cd7379de2d461950ec1e94906 debuginfo(build-id)
= 032518b004b16c45bced2161f4199e4cddb8e692 debuginfo(build-id)
= 048297ccd38a802028bece0f174cddbe2d1b192f debuginfo(build-id)
= 07d7196c5f49189ac45fdb51066cb7add108e4d4 debuginfo(build-id)
= 122b2b702961a9c04a84ec324cd45066b48bdea8 debuginfo(build-id)
= 16f2075666480effa4aa79cdf20f3fc854b4ac82 debuginfo(build-id)
= 1834c6d598317903e9282b8fa8f1df8b1adc87ec debuginfo(build-id)
= 26983b47d50dfd561ad4097683dd4b4a438d4e51 debuginfo(build-id)
= 28a2ed6d484d67dae0603fc6ee395ee33a487c63 debuginfo(build-id)
= 39b3a8fb957e659b06fb37e05057675ab7df7d05 debuginfo(build-id)
= 3bd1d967ada6ec6834f4d6c938569d0ab839bc90 debuginfo(build-id)
= 3deb261c45daa7e99d4c567d6ec6d96671a0c057 debuginfo(build-id)
= 3e697c164d925838f2b54842f025e2120329b623 debuginfo(build-id)
= 41c0b1bd95c1f5e9f38c4fe0ace66f3d3caa0b5b debuginfo(build-id)
= 459a5298828675e0eff7bb8f131f799952922024 debuginfo(build-id)
= 4925910da4d3b4232d475a17c16f853b97d45b7c debuginfo(build-id)
= 4cb5952eb2ff993f72433f31efc312675a5ea673 debuginfo(build-id)
= 52a5a5eb8a2425cf348b8de7563a879a209fbd8b debuginfo(build-id)
= 5534a9701973cdf2a83d926e92a1c285bcb753c2 debuginfo(build-id)
= 65c51f0953f0d9ab059b76ce373d0d32380d4110 debuginfo(build-id)
= 65c9b6dada8ce2416432631cfa1dd899d22de45f debuginfo(build-id)
= 6a939e45245c98206bc5f450671d32d9ca381c67 debuginfo(build-id)
= 6b5cb75cf2a1dc767f02e60ce9397b6c1151db7d debuginfo(build-id)
= 6bc5b4773d461c8ef96ef4e541a728eacd5bf355 debuginfo(build-id)
= 7502b527bda1c3879c0774488ca7b9591532e07b debuginfo(build-id)
= 754a1e9641e30a70bd0692e91d9f776e581f4fc9 debuginfo(build-id)
= 7937b9d1f3f71efa6c3c1bdca10757a50257cc25 debuginfo(build-id)
= 7b7cd17dd2e0d9d74f7cca6e07096dceb8ff14c5 debuginfo(build-id)
= 7c85a58b65a6e9d3307196b79ecd246dcc7c8d80 debuginfo(build-id)
= 7ce3d72ce79da9de6f791565c3436ee2e693efb7 debuginfo(build-id)
= 7cead44613d24925d7eeab51dceb10bc1e628920 debuginfo(build-id)
= 9146c34e6c58627e765123f369dd65546ef8c8dc debuginfo(build-id)
= 97e2800ce9f7affca0c7cea67b7ab174c0a85c49 debuginfo(build-id)
= a4e46fd684689a64c3c58a5765ee6680e4f4bd66 debuginfo(build-id)
= a54e1b74e6fc1cb991669ca9e1225ab7d2fd69a9 debuginfo(build-id)
= a566e667c9f846524f19469aeceae23722dae426 debuginfo(build-id)
= abb4bea5fc24acb1e2bdff0d257a455fa06f9771 debuginfo(build-id)
= abde2be62134254c904430e9233e45b9554fe87d debuginfo(build-id)
= b83af01ea95b6765da23b35a60dfe898d1b931fc debuginfo(build-id)
= b8982d3cd58364193ac1966a4c59b040fec02d48 debuginfo(build-id)
= c2bb1826bf8b331d2f4398f3792226e1a0cd8874 debuginfo(build-id)
= c38e7d43569d79a3e3c46a3fb8af50b3640f89e7 debuginfo(build-id)
= c9403bff0f42f9b824a8c9532e2cf8c4234724ba debuginfo(build-id)
= ca528f5a702edcf9dceb0adf88a362b498f96be3 debuginfo(build-id)
= cc97cb7d441b57350bc9c22fb9d363d025260ed1 debuginfo(build-id)
= ccfb99ef76b18b6462c3bb0505e45ea972b6debf debuginfo(build-id)
= d00348956d9787791901a8036ba709df834e961c debuginfo(build-id)
= d14f1824f8bd96a52c7b7796d000eb7fe4c95029 debuginfo(build-id)
= d501cfcc8b8534fa26fec90df646dfc69a30ca4e debuginfo(build-id)
= d6140e9123b129a07a3c65391c891ba2bcd6f8b6 debuginfo(build-id)
= d9e92e96013b1245f19a18172babd84f8698bc2a debuginfo(build-id)
= db128782d2f43d761570618eea6e324e51b5c8b6 debuginfo(build-id)
= e03dc049a3c5f76788fdc0d13a1781dbc90522be debuginfo(build-id)
= e88fbcdbff6907c213c0bf0b97c72a37e0d1f4fe debuginfo(build-id)
= ebf426c7a3ecaa034253d7c5a03b87e9ca3d847f debuginfo(build-id)
= f3395898c796ca7e83aa1a9bb689c94531712a23 debuginfo(build-id)
= f376bed4bcf256becd4ee299c12c6a2d442c7794 debuginfo(build-id)
= fb0dc54427e893dd00df03ed0a1b8c2ea3e6e739 debuginfo(build-id)
= ff8ff25d7ab24337c488606b3d02f998ab3b5f29 debuginfo(build-id)
= 28.1-2.fc39 frama-c-debuginfo
= 28.1-2.fc39 frama-c-debuginfo(aarch-64)


نحوه نصب


نصب پکیج rpm frama-c-debuginfo:

    dnf install frama-c-debuginfo-28.1-2.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/6f92eb34f1574cd7379de2d461950ec1e94906
/usr/lib/debug/.build-id/00/6f92eb34f1574cd7379de2d461950ec1e94906.debug
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/2518b004b16c45bced2161f4199e4cddb8e692
/usr/lib/debug/.build-id/03/2518b004b16c45bced2161f4199e4cddb8e692.debug
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/8297ccd38a802028bece0f174cddbe2d1b192f
/usr/lib/debug/.build-id/04/8297ccd38a802028bece0f174cddbe2d1b192f.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/d7196c5f49189ac45fdb51066cb7add108e4d4
/usr/lib/debug/.build-id/07/d7196c5f49189ac45fdb51066cb7add108e4d4.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/2b2b702961a9c04a84ec324cd45066b48bdea8
/usr/lib/debug/.build-id/12/2b2b702961a9c04a84ec324cd45066b48bdea8.debug
/usr/lib/debug/.build-id/16
/usr/lib/debug/.build-id/16/f2075666480effa4aa79cdf20f3fc854b4ac82
/usr/lib/debug/.build-id/16/f2075666480effa4aa79cdf20f3fc854b4ac82.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/34c6d598317903e9282b8fa8f1df8b1adc87ec
/usr/lib/debug/.build-id/18/34c6d598317903e9282b8fa8f1df8b1adc87ec.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/983b47d50dfd561ad4097683dd4b4a438d4e51
/usr/lib/debug/.build-id/26/983b47d50dfd561ad4097683dd4b4a438d4e51.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/a2ed6d484d67dae0603fc6ee395ee33a487c63
/usr/lib/debug/.build-id/28/a2ed6d484d67dae0603fc6ee395ee33a487c63.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/b3a8fb957e659b06fb37e05057675ab7df7d05
/usr/lib/debug/.build-id/39/b3a8fb957e659b06fb37e05057675ab7df7d05.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/d1d967ada6ec6834f4d6c938569d0ab839bc90
/usr/lib/debug/.build-id/3b/d1d967ada6ec6834f4d6c938569d0ab839bc90.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/eb261c45daa7e99d4c567d6ec6d96671a0c057
/usr/lib/debug/.build-id/3d/eb261c45daa7e99d4c567d6ec6d96671a0c057.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/697c164d925838f2b54842f025e2120329b623
/usr/lib/debug/.build-id/3e/697c164d925838f2b54842f025e2120329b623.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/c0b1bd95c1f5e9f38c4fe0ace66f3d3caa0b5b
/usr/lib/debug/.build-id/41/c0b1bd95c1f5e9f38c4fe0ace66f3d3caa0b5b.debug
/usr/lib/debug/.build-id/45
/usr/lib/debug/.build-id/45/9a5298828675e0eff7bb8f131f799952922024
/usr/lib/debug/.build-id/45/9a5298828675e0eff7bb8f131f799952922024.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/25910da4d3b4232d475a17c16f853b97d45b7c
/usr/lib/debug/.build-id/49/25910da4d3b4232d475a17c16f853b97d45b7c.debug
... and 277 more


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

تاریخ آخرین تغییر جزئیات
2024-04-18

Rebuild for why3 1.7.2

2024-03-04

Version 28.1

2024-02-02

Rebuild for why3 1.7.1

2024-01-02

Version 28.0
Drop upstreamed patches
Add patch for whitespace differences in the tests

2023-11-14

Fix failure to find plugins (bz 2249607)
Install the zsh completion file

2023-09-09

Rebuild for ocaml-ocamlgraph 2.1.0

2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-18

Version 27.1
Validate metainfo with appstream-util

2023-07-14

Rebuild for ocaml-ctypes 0.21.0

2023-07-12

OCaml 5.0 rebuild for Fedora 39

2023-07-10

Version 27.0

2023-06-10

Rebuild for ocaml-dune-site 3.8.1

2023-02-15

Version 26.1

2023-01-24

Bump release and rebuild

2023-01-24

Rebuild OCaml packages for F38