معرفی شرکت ها

frama-c-debuginfo-25.0-4.fc37.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 37
مخزن Fedora Everything aarch64
نام بسته frama-c-debuginfo
نام فایل بسته frama-c-debuginfo-25.0-4.fc37.aarch64.rpm
نسخه بسته 25.0
انتشار بسته 4.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 07
هاست سازنده buildvm-a64-14.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
حجم دانلود 4.0M
حجم نصب 20.664M
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.x86_64.rpm 25.0 x86_64 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


ارائه دهنده

مقدار نام
= 0019347f7672990535bcf4801fc572aedeaf6ee1 debuginfo(build-id)
= 0202cf4fc392a6337eacd19d19f0d2beb9ef179d debuginfo(build-id)
= 0832a259574fec5f17a9b87b51b740f72b1ea280 debuginfo(build-id)
= 0944a0d4410dab41eb4ad6bca21aa4c8a4f29469 debuginfo(build-id)
= 0a1976b03966f6a04a6b3b4e4a25d46a433817e6 debuginfo(build-id)
= 0c0808a1e22be1e41df7270bd997c1d748c602dd debuginfo(build-id)
= 0ccec6860591bf03b459f18d0d6f864864dce972 debuginfo(build-id)
= 14e2111c966b2eb5490a61c05cd207264c304044 debuginfo(build-id)
= 157e04087cb570f4c2ddb97f4b53aded178629d1 debuginfo(build-id)
= 174dba0c65b31acc8acb87deb5d10304c9a1006f debuginfo(build-id)
= 18e8d98e28b7b17714cc17a8b2cc08da7d7c8fa8 debuginfo(build-id)
= 1e93b09711ffa833a6dde7347b0c7e126b666944 debuginfo(build-id)
= 2026d43f22030d72ea4cfa39117376203e3a6ff4 debuginfo(build-id)
= 23fb2b263052938977891a7f86347c1537fec004 debuginfo(build-id)
= 287da1a02762e85e619c4b47fd517f028ccef883 debuginfo(build-id)
= 2a40da6e64c2d1af6e698d6b882729ed982b6ac7 debuginfo(build-id)
= 49a2ceb23703c6cb39a075fb9045bebfd4c482d2 debuginfo(build-id)
= 5f3b521acaf2e182cf1151a9685a5eb6ba5ae97d debuginfo(build-id)
= 609ea3f2d46a384438a857b089862d17e4a81a41 debuginfo(build-id)
= 618f7ab1bf157f43fb3fa9f4f7aeb1943197cfa4 debuginfo(build-id)
= 666b6e83582ebded258611a4a6fbc46f609d4ff9 debuginfo(build-id)
= 675a478d591b580f078f7bf1c632de8f8f189252 debuginfo(build-id)
= 6d08fece1db4606e51d8b695a6a2fa0e5cf96ddb debuginfo(build-id)
= 6eb1f203d1bd2872f9bc755c98409e27672cdde2 debuginfo(build-id)
= 73fbb12a062a9eb50c6ffd9d83fc87c275e1380d debuginfo(build-id)
= 7a87449d1e52496f2fca6163f8dd27402a32117c debuginfo(build-id)
= 83e42d4f1003921f70b56646b6f64ddc48dbc112 debuginfo(build-id)
= 928d9b0b3e1af1b9bcd9e3f54b2f6a9aa0bc99dc debuginfo(build-id)
= 931a1b3ac5124bd0b01078345edd33daaa5e8d23 debuginfo(build-id)
= 945d47dafcbdefad89154361244a5eca7c18df44 debuginfo(build-id)
= 98c1f4c49980c61854ccf5f25cffae45cd055331 debuginfo(build-id)
= a0a0d61707018735a47b048e107eca9eda56b011 debuginfo(build-id)
= a2577900cadb86f972e49e5f1163077dee3a43d9 debuginfo(build-id)
= ab462755c43d2e948c263087a8c43a7e87d177b0 debuginfo(build-id)
= afe9bae1b94ee5c276ef24c971195029a40df862 debuginfo(build-id)
= b2427e6c068e725d0a112c872889b8e0032afd1d debuginfo(build-id)
= b25a17b313e5760f438e3b5fa830256482641aee debuginfo(build-id)
= c2c620f119ae821dcb6403f4bbc3c944ad432fc1 debuginfo(build-id)
= c6d0d4dc0ee4fb33b3e151f842963ca46b7ccfef debuginfo(build-id)
= c6fcd76d4cbed0a128655a71ef7e7623ec1e2342 debuginfo(build-id)
= c9ac8ecda5146d36cbc561c7feebc7c30daed895 debuginfo(build-id)
= cf8471d4df7a8dbd00ee4f7265be3e4c4492ae8b debuginfo(build-id)
= d3742f74e7323551588dadea21a4003b135b5899 debuginfo(build-id)
= e0c99302c9105c94449a5bdb0c5ef1069e5d1769 debuginfo(build-id)
= e80c962a68b11dffd77150b139cb246043f18658 debuginfo(build-id)
= f2ae8e438216baeb20ac96fecb5b8960d3f9c0aa debuginfo(build-id)
= fed2afe571442f5b113dee9c30118e2ce41de6b9 debuginfo(build-id)
= 25.0-4.fc37 frama-c-debuginfo
= 25.0-4.fc37 frama-c-debuginfo(aarch-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/19347f7672990535bcf4801fc572aedeaf6ee1
/usr/lib/debug/.build-id/00/19347f7672990535bcf4801fc572aedeaf6ee1.debug
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/02cf4fc392a6337eacd19d19f0d2beb9ef179d
/usr/lib/debug/.build-id/02/02cf4fc392a6337eacd19d19f0d2beb9ef179d.debug
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/32a259574fec5f17a9b87b51b740f72b1ea280
/usr/lib/debug/.build-id/08/32a259574fec5f17a9b87b51b740f72b1ea280.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/44a0d4410dab41eb4ad6bca21aa4c8a4f29469
/usr/lib/debug/.build-id/09/44a0d4410dab41eb4ad6bca21aa4c8a4f29469.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/1976b03966f6a04a6b3b4e4a25d46a433817e6
/usr/lib/debug/.build-id/0a/1976b03966f6a04a6b3b4e4a25d46a433817e6.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/0808a1e22be1e41df7270bd997c1d748c602dd
/usr/lib/debug/.build-id/0c/0808a1e22be1e41df7270bd997c1d748c602dd.debug
/usr/lib/debug/.build-id/0c/cec6860591bf03b459f18d0d6f864864dce972
/usr/lib/debug/.build-id/0c/cec6860591bf03b459f18d0d6f864864dce972.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/e2111c966b2eb5490a61c05cd207264c304044
/usr/lib/debug/.build-id/14/e2111c966b2eb5490a61c05cd207264c304044.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/7e04087cb570f4c2ddb97f4b53aded178629d1
/usr/lib/debug/.build-id/15/7e04087cb570f4c2ddb97f4b53aded178629d1.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/4dba0c65b31acc8acb87deb5d10304c9a1006f
/usr/lib/debug/.build-id/17/4dba0c65b31acc8acb87deb5d10304c9a1006f.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/e8d98e28b7b17714cc17a8b2cc08da7d7c8fa8
/usr/lib/debug/.build-id/18/e8d98e28b7b17714cc17a8b2cc08da7d7c8fa8.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/93b09711ffa833a6dde7347b0c7e126b666944
/usr/lib/debug/.build-id/1e/93b09711ffa833a6dde7347b0c7e126b666944.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/26d43f22030d72ea4cfa39117376203e3a6ff4
/usr/lib/debug/.build-id/20/26d43f22030d72ea4cfa39117376203e3a6ff4.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/fb2b263052938977891a7f86347c1537fec004
/usr/lib/debug/.build-id/23/fb2b263052938977891a7f86347c1537fec004.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/7da1a02762e85e619c4b47fd517f028ccef883
/usr/lib/debug/.build-id/28/7da1a02762e85e619c4b47fd517f028ccef883.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/40da6e64c2d1af6e698d6b882729ed982b6ac7
/usr/lib/debug/.build-id/2a/40da6e64c2d1af6e698d6b882729ed982b6ac7.debug
/usr/lib/debug/.build-id/49
... and 146 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