معرفی شرکت ها

frama-c-debuginfo-25.0-4.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-25.0-4.fc37.x86_64.rpm
نسخه بسته 25.0
انتشار بسته 4.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 07
هاست سازنده buildvm-x86-17.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 CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0
حجم دانلود 3.6M
حجم نصب 21.355M
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-26.1-1.fc37.aarch64.rpm 26.1 aarch64 Fedora Everything
frama-c-debuginfo-26.1-1.fc37.x86_64.rpm 26.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 00135c5f1a45f1a0dd3dc6039d30893b492a7025 debuginfo(build-id)
= 0712f6866d51ad8d2ddc21fcd3453fa952f310c0 debuginfo(build-id)
= 14167b8dc99a67dac8bb694be9ecfdeef6966348 debuginfo(build-id)
= 2d99817e6dc74684804ba72e2851c2049ca468ac debuginfo(build-id)
= 2dbd52ec15ec7c87c711f9563ca7938b2becb5df debuginfo(build-id)
= 2dc028bb74091431ee006a1bf60748b8b7c7f16d debuginfo(build-id)
= 32f5df4b698bdbe5fede7b07a4b9db44230dcee6 debuginfo(build-id)
= 33cae150b7aefd5e6e1e1d59f9ffb002a1c45872 debuginfo(build-id)
= 34bc4e642f5748422265b110e70fa19c41e3b892 debuginfo(build-id)
= 35502b62b555212a221afc67626367ebc7d9d66c debuginfo(build-id)
= 38f5c42e2f4c988d4e174abfbd6b8e26cfee3079 debuginfo(build-id)
= 3f5c944e8f04cf22e3804d999ca500ec18bd5520 debuginfo(build-id)
= 4cc98a049ca7670e0dc7cedf9774b8fd2f2e6ecf debuginfo(build-id)
= 4d78b18c0b63196be3fe191a431b60b06e3369d0 debuginfo(build-id)
= 4dc3c71b61d4f07b93b5364fee8537a9efb1fb42 debuginfo(build-id)
= 4ee8850f180f42fc67be9c2bf512228e988763c9 debuginfo(build-id)
= 5044e35555d3e53bc953f264e67422f3abd17819 debuginfo(build-id)
= 52375a7a3011aa1e183f89837782b66e2268873e debuginfo(build-id)
= 52e0d51bb48066770edb6327c022b6238b23dcb1 debuginfo(build-id)
= 56732e892f7aaf9df674a98f7d783dadea309216 debuginfo(build-id)
= 5bdcd908714cfb137e8d34be5198785f1cc390d8 debuginfo(build-id)
= 5d8110766dc707da739e4f75835e2f5129e4f333 debuginfo(build-id)
= 613d0e25c458c6f5dfafb250ded31e37ae94f44b debuginfo(build-id)
= 6bc93d56e23d52e60040880f02b35b42cbe27f79 debuginfo(build-id)
= 6e7d43cd787501ab892a2e8439598ac9a059230f debuginfo(build-id)
= 7332946fad06f3baa3c6ae2af3a51c4de63c3255 debuginfo(build-id)
= 7e8c0cd291b00aeecf301274a6897bb0bf41e68e debuginfo(build-id)
= 8509637faae36e2ff9838212385faa8d60325cdc debuginfo(build-id)
= 85a551493ffb548b2ffd8328492e4397e139a242 debuginfo(build-id)
= 9070c7faf9717be3e273e0e4c75236094d5741e6 debuginfo(build-id)
= a0a636e9a4e418c12f41afae4291dc29094dd060 debuginfo(build-id)
= a5056d605c410cf81fb4aba4def6630de64f4aa6 debuginfo(build-id)
= a8e66a2760b429e4be9c29d9f655653fe89ee669 debuginfo(build-id)
= aa0e4853a9bd025f81be3522778b5d819be56f0a debuginfo(build-id)
= b64d2a0b166f652572550ee52e70773f1f62e280 debuginfo(build-id)
= b7058497d5a244132d5fc7951c5032e35768ed8d debuginfo(build-id)
= be7f25d0898faea68ea3aa3b429237ee74280128 debuginfo(build-id)
= c06ebb9d2b4f2a944f8b06aeb96b55a231110da0 debuginfo(build-id)
= c309b4606a7139e4268ffa7117b76df18930ea78 debuginfo(build-id)
= d1274419acf2c949f00592e4c3d0aed9ead8f0b7 debuginfo(build-id)
= d2c09e3d536761a131d98034c2dc0530b562acb3 debuginfo(build-id)
= d73c54bfb37026bcf1ffc7c5e0fe5650e5e68baf debuginfo(build-id)
= e281aed20ed5104ddcd688d227b7a11dc680c126 debuginfo(build-id)
= e589e0751862d7430d50b64e84fa0c5b8e594c79 debuginfo(build-id)
= f518bfc58df15e419c77981a10569ddda289192a debuginfo(build-id)
= f702956576ed761d0092825f2e5953c73f1df6db debuginfo(build-id)
= fd02fc3214af1acd8e28c019d681b7e413ddc6b2 debuginfo(build-id)
= 25.0-4.fc37 frama-c-debuginfo
= 25.0-4.fc37 frama-c-debuginfo(x86-64)


نحوه نصب


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

    dnf install frama-c-debuginfo-25.0-4.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/135c5f1a45f1a0dd3dc6039d30893b492a7025
/usr/lib/debug/.build-id/00/135c5f1a45f1a0dd3dc6039d30893b492a7025.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/12f6866d51ad8d2ddc21fcd3453fa952f310c0
/usr/lib/debug/.build-id/07/12f6866d51ad8d2ddc21fcd3453fa952f310c0.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/167b8dc99a67dac8bb694be9ecfdeef6966348
/usr/lib/debug/.build-id/14/167b8dc99a67dac8bb694be9ecfdeef6966348.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/99817e6dc74684804ba72e2851c2049ca468ac
/usr/lib/debug/.build-id/2d/99817e6dc74684804ba72e2851c2049ca468ac.debug
/usr/lib/debug/.build-id/2d/bd52ec15ec7c87c711f9563ca7938b2becb5df
/usr/lib/debug/.build-id/2d/bd52ec15ec7c87c711f9563ca7938b2becb5df.debug
/usr/lib/debug/.build-id/2d/c028bb74091431ee006a1bf60748b8b7c7f16d
/usr/lib/debug/.build-id/2d/c028bb74091431ee006a1bf60748b8b7c7f16d.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/f5df4b698bdbe5fede7b07a4b9db44230dcee6
/usr/lib/debug/.build-id/32/f5df4b698bdbe5fede7b07a4b9db44230dcee6.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/cae150b7aefd5e6e1e1d59f9ffb002a1c45872
/usr/lib/debug/.build-id/33/cae150b7aefd5e6e1e1d59f9ffb002a1c45872.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/bc4e642f5748422265b110e70fa19c41e3b892
/usr/lib/debug/.build-id/34/bc4e642f5748422265b110e70fa19c41e3b892.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/502b62b555212a221afc67626367ebc7d9d66c
/usr/lib/debug/.build-id/35/502b62b555212a221afc67626367ebc7d9d66c.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/f5c42e2f4c988d4e174abfbd6b8e26cfee3079
/usr/lib/debug/.build-id/38/f5c42e2f4c988d4e174abfbd6b8e26cfee3079.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/5c944e8f04cf22e3804d999ca500ec18bd5520
/usr/lib/debug/.build-id/3f/5c944e8f04cf22e3804d999ca500ec18bd5520.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/c98a049ca7670e0dc7cedf9774b8fd2f2e6ecf
/usr/lib/debug/.build-id/4c/c98a049ca7670e0dc7cedf9774b8fd2f2e6ecf.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/78b18c0b63196be3fe191a431b60b06e3369d0
/usr/lib/debug/.build-id/4d/78b18c0b63196be3fe191a431b60b06e3369d0.debug
/usr/lib/debug/.build-id/4d/c3c71b61d4f07b93b5364fee8537a9efb1fb42
/usr/lib/debug/.build-id/4d/c3c71b61d4f07b93b5364fee8537a9efb1fb42.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/e8850f180f42fc67be9c2bf512228e988763c9
/usr/lib/debug/.build-id/4e/e8850f180f42fc67be9c2bf512228e988763c9.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/44e35555d3e53bc953f264e67422f3abd17819
/usr/lib/debug/.build-id/50/44e35555d3e53bc953f264e67422f3abd17819.debug
... and 144 more


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

تاریخ آخرین تغییر جزئیات
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

2021-12-27

Rebuild for ocaml-ppxlib 0.24.0

2021-12-07

Version 24.0
Drop upstreamed fix for OCaml 4.13

2021-11-30

Rebuild for coq 8.14.1 and ocaml-sexplib0 0.15.0

2021-10-21

Rebuild for coq 8.14.0 and ocaml-zmq 5.1.4
Add -coq8.14 patch
Drop XEmacs support

2021-10-05

OCaml 4.13.1 build

2021-10-04

Try to build on s390x with OCaml 4.13