معرفی شرکت ها

frama-c-debuginfo-26.1-1.fc37.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 37
مخزن Fedora Everything x86_64
نام بسته frama-c-debuginfo
نام فایل بسته frama-c-debuginfo-26.1-1.fc37.x86_64.rpm
نسخه بسته 26.1
انتشار بسته 1.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 15 Feb 2023 09
هاست سازنده buildhw-x86-13.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
حجم دانلود 4.4M
حجم نصب 25.903M
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-25.0-4.fc37.aarch64.rpm 25.0 aarch64 Fedora Everything
frama-c-debuginfo-25.0-4.fc37.x86_64.rpm 25.0 x86_64 Fedora Everything
frama-c-debuginfo-26.1-1.fc37.aarch64.rpm 26.1 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 09174cd52def4cc8dd56777c73e1f0e43504615c debuginfo(build-id)
= 14d98836266b1a054ce6d5a5e249c5aed0bebdc6 debuginfo(build-id)
= 19bf57aad3efcceb7fd8540bcd6532ed980dcd6b debuginfo(build-id)
= 1a51a961edc4bb9e909c33340edf2a667efd210e debuginfo(build-id)
= 28054b9c0215ddf10bdc2272f2a9988870e2dae3 debuginfo(build-id)
= 320fd0c2ed12ff75c720d3fe33754efe20c991f0 debuginfo(build-id)
= 352d3e9e12280f2b3421abb76f9d59f6ddaf11bf debuginfo(build-id)
= 39bd80efbce1b88bf3dcd19f4c438626b6e7a328 debuginfo(build-id)
= 41ec59cc4e86a2e62e0cf97fe1bc2f8f7c856bb8 debuginfo(build-id)
= 43e8f13529f416dd8de63acd87229d4273ed7594 debuginfo(build-id)
= 471be39fdaab9103b40d40316b10596683e894ae debuginfo(build-id)
= 49469eba21d05f15179dd537c2db0d006f9c1ea6 debuginfo(build-id)
= 4add642752950f370e5984b130b146dc27e0a492 debuginfo(build-id)
= 51921b257c2b7d39b9327f6be209129df377957e debuginfo(build-id)
= 55c6cb70150d18ec7c2cb74f5b6a7c387f7481a8 debuginfo(build-id)
= 5f74b6ecac8dc78e6fd156409ba8e0a33658fef0 debuginfo(build-id)
= 6720b0655ceaf07c6c133c8b799f04e93f5bd505 debuginfo(build-id)
= 6777c2a133bc78031e574cb57526021558b2089e debuginfo(build-id)
= 6a7cc22fd12cb54043c6fda940ab4cc8e0b9b154 debuginfo(build-id)
= 6d32d42daec6542057b26c89e3e75ecf64bec38b debuginfo(build-id)
= 73ccd7612d469f330a7725133979411604a42e78 debuginfo(build-id)
= 7406e57ca6939bec43849cb586e9f67cd18489d3 debuginfo(build-id)
= 79621cdc03c8bdc8845df03d9ea0e935d6edfb0f debuginfo(build-id)
= 7af8e852efd2294d599cb27cfc1373d0b8068a63 debuginfo(build-id)
= 8317dad4c07d4a97e19f041ff17a7c483929048f debuginfo(build-id)
= 850299ebb6e19bfc8c170fb2e13cee912a510f90 debuginfo(build-id)
= 8aa1613c9528c81f0c61aecfe2e7754b74be3c07 debuginfo(build-id)
= 9208944d844a7cf898782816571dd45aa4df6004 debuginfo(build-id)
= 932bf21766bd9b1ed4bd5bad1dcf52753f7223a1 debuginfo(build-id)
= 944d62aad57f6850b0599483ac4515c206bcbd15 debuginfo(build-id)
= 94774c2ffb7ab0c86f40028eeba696b44352742c debuginfo(build-id)
= 955b2f5b27a3970c302c306225e55a589a7bacb8 debuginfo(build-id)
= 958591ddfe5b0105e9fb9a94bbc8ae2d11dba63b debuginfo(build-id)
= 963e481f97f392b8395ffbacb1e9ee2bc4cad171 debuginfo(build-id)
= 9b826d00ec191caec9c8257fa41f2deffdcf6a93 debuginfo(build-id)
= 9f626b3f3ba695a1bcd12e0aec9fd269c93c85ec debuginfo(build-id)
= a85fdbc5402f30fe539c5c434d20b1408ce57fa6 debuginfo(build-id)
= a9bc5a44ca8a53f985dfa1b877cec6d04e7beab8 debuginfo(build-id)
= aabef9a66357728458f8e9de96ef667a1cd1b011 debuginfo(build-id)
= b0840e4067de759ff8a129cfdb6310c176f4e782 debuginfo(build-id)
= ba77fa49ae4c38ba51bf83ccc1a517647af3c31d debuginfo(build-id)
= bcaffc7eab31e7e202a6229957d461d2205ae806 debuginfo(build-id)
= be29a21cb92145146a3562f5853a9d13ea987042 debuginfo(build-id)
= c02d88171aefa2a5e16f5d67b5a3a44d00b74cca debuginfo(build-id)
= c16e859b969df34555014d989b9eebd44e6258b0 debuginfo(build-id)
= c1ff436cff90bbf6b916f4aec6c2a1dcda519e6c debuginfo(build-id)
= c757b203f4c7bd497a1761fec42fa9f937938e30 debuginfo(build-id)
= cf1d40cedf6813edb44b4cfd225a760066694712 debuginfo(build-id)
= cfbf5fabc2df9f44ff65cd1ebffd56f515d2aaf9 debuginfo(build-id)
= d13d442d044b23eb75467fccad10a4434152a208 debuginfo(build-id)
= d6ff2c48f8c5bf698e217eb7e1197c7d14ebb91b debuginfo(build-id)
= d8aa0b50f2ac8d895b5fabeb02e91a828c137bad debuginfo(build-id)
= e20b55c4c4eb7a6f2a2fbe6493bdbbbc2189de09 debuginfo(build-id)
= e2702ed1a4a3ab111a1ef557c58bc129aec36244 debuginfo(build-id)
= f1fde07681603794d65d42ce93e7239375b7418c debuginfo(build-id)
= f2b77fa0dbb55ba5e4f4b4878ab7f979a5f5530b debuginfo(build-id)
= f45dc4e65678d7884fa74bc1e8aa18fe6d2487e7 debuginfo(build-id)
= f6d46bfa23cbf7ed65f349c957b2a4a6db39789b debuginfo(build-id)
= f6e094d20a4d997cdb2d9d541fe0e7750936788c debuginfo(build-id)
= 26.1-1.fc37 frama-c-debuginfo
= 26.1-1.fc37 frama-c-debuginfo(x86-64)


نحوه نصب


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

    dnf install frama-c-debuginfo-26.1-1.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/174cd52def4cc8dd56777c73e1f0e43504615c
/usr/lib/debug/.build-id/09/174cd52def4cc8dd56777c73e1f0e43504615c.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/d98836266b1a054ce6d5a5e249c5aed0bebdc6
/usr/lib/debug/.build-id/14/d98836266b1a054ce6d5a5e249c5aed0bebdc6.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/bf57aad3efcceb7fd8540bcd6532ed980dcd6b
/usr/lib/debug/.build-id/19/bf57aad3efcceb7fd8540bcd6532ed980dcd6b.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/51a961edc4bb9e909c33340edf2a667efd210e
/usr/lib/debug/.build-id/1a/51a961edc4bb9e909c33340edf2a667efd210e.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/054b9c0215ddf10bdc2272f2a9988870e2dae3
/usr/lib/debug/.build-id/28/054b9c0215ddf10bdc2272f2a9988870e2dae3.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/0fd0c2ed12ff75c720d3fe33754efe20c991f0
/usr/lib/debug/.build-id/32/0fd0c2ed12ff75c720d3fe33754efe20c991f0.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/2d3e9e12280f2b3421abb76f9d59f6ddaf11bf
/usr/lib/debug/.build-id/35/2d3e9e12280f2b3421abb76f9d59f6ddaf11bf.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/bd80efbce1b88bf3dcd19f4c438626b6e7a328
/usr/lib/debug/.build-id/39/bd80efbce1b88bf3dcd19f4c438626b6e7a328.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/ec59cc4e86a2e62e0cf97fe1bc2f8f7c856bb8
/usr/lib/debug/.build-id/41/ec59cc4e86a2e62e0cf97fe1bc2f8f7c856bb8.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/e8f13529f416dd8de63acd87229d4273ed7594
/usr/lib/debug/.build-id/43/e8f13529f416dd8de63acd87229d4273ed7594.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/1be39fdaab9103b40d40316b10596683e894ae
/usr/lib/debug/.build-id/47/1be39fdaab9103b40d40316b10596683e894ae.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/469eba21d05f15179dd537c2db0d006f9c1ea6
/usr/lib/debug/.build-id/49/469eba21d05f15179dd537c2db0d006f9c1ea6.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/dd642752950f370e5984b130b146dc27e0a492
/usr/lib/debug/.build-id/4a/dd642752950f370e5984b130b146dc27e0a492.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/921b257c2b7d39b9327f6be209129df377957e
/usr/lib/debug/.build-id/51/921b257c2b7d39b9327f6be209129df377957e.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/c6cb70150d18ec7c2cb74f5b6a7c387f7481a8
/usr/lib/debug/.build-id/55/c6cb70150d18ec7c2cb74f5b6a7c387f7481a8.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/74b6ecac8dc78e6fd156409ba8e0a33658fef0
/usr/lib/debug/.build-id/5f/74b6ecac8dc78e6fd156409ba8e0a33658fef0.debug
... and 278 more


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

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

Version 26.1

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

2022-03-25

Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5

2022-02-28

Rebuild for coq 8.15.0 and why3 1.4.1

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

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