معرفی شرکت ها

frama-c-debuginfo-26.1-2.fc38.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package frama-c
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته frama-c-debuginfo
نام فایل بسته frama-c-debuginfo-26.1-2.fc38.x86_64.rpm
نسخه بسته 26.1
انتشار بسته 2.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 08
هاست سازنده buildvm-x86-30.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
حجم دانلود 5.7M
حجم نصب 33.691M
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-26.1-1.fc38.aarch64.rpm 26.1 aarch64 Fedora Everything
frama-c-debuginfo-26.1-1.fc38.x86_64.rpm 26.1 x86_64 Fedora Everything
frama-c-debuginfo-26.1-2.fc38.aarch64.rpm 26.1 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 021709053d549064c2f34ee1172d391a8d58709d debuginfo(build-id)
= 0b2e2f421df78433c0d4ff4450db9b3fc9530ad6 debuginfo(build-id)
= 0bffd40102ff8f982cd2f8ae7356e1b8ab8fa145 debuginfo(build-id)
= 0ef025d0d5657d60fdb33641d5f2695c0b92f753 debuginfo(build-id)
= 12adddd8cd0f300713532120f045653d1fa00679 debuginfo(build-id)
= 2197455def73e865acaa59b620ef4b8325693534 debuginfo(build-id)
= 2318c8a6b87feab1d4f838b093c2b0e721f6c951 debuginfo(build-id)
= 24992aff29aefb924588a4930481e7c5ae667a4c debuginfo(build-id)
= 24c8465fba22e20dc0838a3b519413e61914ec4a debuginfo(build-id)
= 27e30e45ced0b451920b2a4d69638d17b9dde3ac debuginfo(build-id)
= 284cf13ef50a8b50802d395d246b620e0ebcfa78 debuginfo(build-id)
= 292eacf8168c27f7c63757c2fb4eb95458d06567 debuginfo(build-id)
= 2ef8de838b3d372eff8f50e4eece379367593d42 debuginfo(build-id)
= 3e378f8edfd525d2c934f8729c0718b06bf5dba7 debuginfo(build-id)
= 41ae8cca692319def8062dbe8d5179e26e777926 debuginfo(build-id)
= 49d139a1d19591161b2b8a89aa70d5a8348b1e8a debuginfo(build-id)
= 52378119450168beb6dd20e4d6d9f8c3682663f3 debuginfo(build-id)
= 528eced3155800cc0f4d39837b8c3fddfb743128 debuginfo(build-id)
= 54e7b14234d0d351462eef847a4b945c536320c7 debuginfo(build-id)
= 563759976b91812ac4c14f2a35f25c0e7babb915 debuginfo(build-id)
= 592daf5963ffe06895423303423c31aac21477cc debuginfo(build-id)
= 5b485d8e230bb4b88d3f97c5680c8cd324557b13 debuginfo(build-id)
= 60da25cb6a1390341560a2d689f33d650fa3c96f debuginfo(build-id)
= 628b94923e8503a484085b946d581db9e0a07ef3 debuginfo(build-id)
= 69dba84fb9950c019b01aeae48da66b6b35ce6e7 debuginfo(build-id)
= 6bc4996e55aaa542fc5aa6387a496e0779a02e48 debuginfo(build-id)
= 6dc3cf62a5623ae69aeea81d974c5b446bdf5eb8 debuginfo(build-id)
= 6fd7706eefe522544b8e5a6bedbc9cabb7590854 debuginfo(build-id)
= 70c14bd8cb2f2342c3d00958f8c4b75c8ff52b10 debuginfo(build-id)
= 75ff254d2becac3f3011a20f8dba3924625057e3 debuginfo(build-id)
= 76ce09d33005ed30d585c325b92b137dc9e668ce debuginfo(build-id)
= 8005fdce553180d8d1d856830c959c017ec338a1 debuginfo(build-id)
= 80a36db0f644b8f26a5240cbf06dbd53b0782f24 debuginfo(build-id)
= 842170a31543f017b74e939ba41c030c012de303 debuginfo(build-id)
= 88a39efa7b0b0738d36e5846c38cd2bdf44575de debuginfo(build-id)
= 923c6987c481aa291426928cbbbe1a42d8a75e42 debuginfo(build-id)
= 9d390fb9da1f8a6a42511512f40a45f342862c8d debuginfo(build-id)
= a0adc383f7000fdb25d4c299dd05d9aaabbc2bf6 debuginfo(build-id)
= a2c8bec3820e44b6adcd9a217677d2f71b6377c0 debuginfo(build-id)
= a81fbf9eb92fe5e522380059c2c83ae9fcee48b9 debuginfo(build-id)
= aa37434bac5ec7dc80c7455408e025a98f8c67a6 debuginfo(build-id)
= af62cbc8330baf53220ae4e962bd988052d3b51e debuginfo(build-id)
= b343bcffaf3cba8b8f45ef01d16fbbaffddbfa30 debuginfo(build-id)
= bfd751a12f4c4ded34e2b24221c746b038710abb debuginfo(build-id)
= ca7fe8aa711f52451f126ff59c9c07c8a1247a06 debuginfo(build-id)
= cddc0b58b144ff560845095c278f9e279efd9803 debuginfo(build-id)
= d0d2182200a57f160401ca7571e4dd2b0ab8522b debuginfo(build-id)
= d1187ed09a4d7ff2a6045d17fe008047106e4315 debuginfo(build-id)
= d1df12fb7b91fcdff6b6712c7a5e914b1cc92a92 debuginfo(build-id)
= d3c23cabfff6b316f0d0bbcc813663e62ba2e28b debuginfo(build-id)
= e42cfe840ecd2c7fa03686e3afa6bafbb67da178 debuginfo(build-id)
= e6a930f6d46ea0a6d7ab8c98cb35a75f48ded5cd debuginfo(build-id)
= eac20496cbf7ee46acde5ad71a032f83e46ab11f debuginfo(build-id)
= f2e83b1464d5a4b426fdcec66985a1e7d2c994ee debuginfo(build-id)
= f671e8137ff8ec49b140a50ebd64b5e68614b2b4 debuginfo(build-id)
= f76532fc65978d96099fed411b8f4bbf210d4689 debuginfo(build-id)
= fc559ceaf15e1805551dce8dc267959cae1e2e01 debuginfo(build-id)
= fd1a5500322868d46511c11d44e693bca1cde0b0 debuginfo(build-id)
= fdb7138c6a3e353bb4211b304b9aac8dd197450a debuginfo(build-id)
= 26.1-2.fc38 frama-c-debuginfo
= 26.1-2.fc38 frama-c-debuginfo(x86-64)


نحوه نصب


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

    dnf install frama-c-debuginfo-26.1-2.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/1709053d549064c2f34ee1172d391a8d58709d
/usr/lib/debug/.build-id/02/1709053d549064c2f34ee1172d391a8d58709d.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/2e2f421df78433c0d4ff4450db9b3fc9530ad6
/usr/lib/debug/.build-id/0b/2e2f421df78433c0d4ff4450db9b3fc9530ad6.debug
/usr/lib/debug/.build-id/0b/ffd40102ff8f982cd2f8ae7356e1b8ab8fa145
/usr/lib/debug/.build-id/0b/ffd40102ff8f982cd2f8ae7356e1b8ab8fa145.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/f025d0d5657d60fdb33641d5f2695c0b92f753
/usr/lib/debug/.build-id/0e/f025d0d5657d60fdb33641d5f2695c0b92f753.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/adddd8cd0f300713532120f045653d1fa00679
/usr/lib/debug/.build-id/12/adddd8cd0f300713532120f045653d1fa00679.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/97455def73e865acaa59b620ef4b8325693534
/usr/lib/debug/.build-id/21/97455def73e865acaa59b620ef4b8325693534.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/18c8a6b87feab1d4f838b093c2b0e721f6c951
/usr/lib/debug/.build-id/23/18c8a6b87feab1d4f838b093c2b0e721f6c951.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/992aff29aefb924588a4930481e7c5ae667a4c
/usr/lib/debug/.build-id/24/992aff29aefb924588a4930481e7c5ae667a4c.debug
/usr/lib/debug/.build-id/24/c8465fba22e20dc0838a3b519413e61914ec4a
/usr/lib/debug/.build-id/24/c8465fba22e20dc0838a3b519413e61914ec4a.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/e30e45ced0b451920b2a4d69638d17b9dde3ac
/usr/lib/debug/.build-id/27/e30e45ced0b451920b2a4d69638d17b9dde3ac.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/4cf13ef50a8b50802d395d246b620e0ebcfa78
/usr/lib/debug/.build-id/28/4cf13ef50a8b50802d395d246b620e0ebcfa78.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/2eacf8168c27f7c63757c2fb4eb95458d06567
/usr/lib/debug/.build-id/29/2eacf8168c27f7c63757c2fb4eb95458d06567.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/f8de838b3d372eff8f50e4eece379367593d42
/usr/lib/debug/.build-id/2e/f8de838b3d372eff8f50e4eece379367593d42.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/378f8edfd525d2c934f8729c0718b06bf5dba7
/usr/lib/debug/.build-id/3e/378f8edfd525d2c934f8729c0718b06bf5dba7.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/ae8cca692319def8062dbe8d5179e26e777926
/usr/lib/debug/.build-id/41/ae8cca692319def8062dbe8d5179e26e777926.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/d139a1d19591161b2b8a89aa70d5a8348b1e8a
/usr/lib/debug/.build-id/49/d139a1d19591161b2b8a89aa70d5a8348b1e8a.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/378119450168beb6dd20e4d6d9f8c3682663f3
... and 279 more


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

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

Rebuild for coq 8.17.1

2023-02-15

Version 26.1

2023-01-24

Bump release and rebuild

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

2022-12-07

Rebuild to fix ocaml-dune-site dependency

2022-11-26

Version 26.0
Add Requires on ppx_import (bz 2148391)

2022-11-01

Rebuild for ocaml-ppxlib 0.28.0

2022-10-29

Fix a path in e-acsl-gcc.sh (bz 2137875)

2022-10-18

Rebuild for ocaml-stdint 0.7.1

2022-09-16

Rebuild for why3 1.5.1

2022-08-17

Rebuild for ocaml-ppx-deriving-yojson 3.7.0
Convert License tag to SPDX

2022-07-21

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

2022-07-20

Remove i686 support

2022-07-07

Version 25.0
Drop coq 8.14 compatibility patch
Drop coq BR; coq is now invoked via why3

2022-06-19

OCaml 4.14.0 rebuild