معرفی شرکت ها

frama-c-debuginfo-26.1-1.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-1.fc38.x86_64.rpm
نسخه بسته 26.1
انتشار بسته 1.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 15 Feb 2023 09
هاست سازنده buildvm-x86-28.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.717M
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-2.fc38.aarch64.rpm 26.1 aarch64 Fedora Everything
frama-c-debuginfo-26.1-2.fc38.x86_64.rpm 26.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 0e571f837471e826172854a57bf68606d608bda8 debuginfo(build-id)
= 179966afa3fc2ff7f7e2519af6fbc5c8c4b9829e debuginfo(build-id)
= 17c64591ee7d9a65a155191f2b4bdb40e9448a93 debuginfo(build-id)
= 1a2fd5094beef8968b2b42798f581de2bfd956b0 debuginfo(build-id)
= 200b17ff9e3f9c8a9358f38755b77cb507f1b3b8 debuginfo(build-id)
= 2d648f1654c9b5cc888a52372a6f7932aea6dcad debuginfo(build-id)
= 2de4935bbcf9b17648bd9f09ccba478f446be7ed debuginfo(build-id)
= 31461ecd5e61ad3f4b94da2196b49245375bd168 debuginfo(build-id)
= 35c4fda8f761b1607714c324a854825dc02305ec debuginfo(build-id)
= 3cc18bc27b6718ac9369adabc5300d2428f397d9 debuginfo(build-id)
= 3ef0c17e8e80e828d723429b3f7380ac3e74e6ed debuginfo(build-id)
= 407012d5a4f5f1bb2e3e83bed6d22b41949f81ec debuginfo(build-id)
= 40a8046fed6d7f2c814160cd5965853ff7c6aa44 debuginfo(build-id)
= 41160b76b356fae3f30f9979e5cb8faa8bae399c debuginfo(build-id)
= 468e1c2901004cddf7f818093a9ee408fc3ced3a debuginfo(build-id)
= 53c14aed399142a6e63a7a7e8b760bc4b15b8673 debuginfo(build-id)
= 55022e91c8188b4700a8a2d02c8495c670edfbad debuginfo(build-id)
= 587627279e861de78f43c7644e893fc235629f4a debuginfo(build-id)
= 5b16638c647cb7565b8b6deb68fb5bb5f230b114 debuginfo(build-id)
= 6940c743d5cdda94206de7bf04c6f8af5484c358 debuginfo(build-id)
= 695ec9e6688f6ed688c2dd8cedec359669377fc8 debuginfo(build-id)
= 69880536c3b502ac1048b7a3e11cb8691b7be63c debuginfo(build-id)
= 71daddadda7069e3af20c8722083162fcbe6144c debuginfo(build-id)
= 7300515b46909f9a5d00a2118ec5128ff00d4a88 debuginfo(build-id)
= 7ab30faa090382a3f56cfe1797c6259320f3d2be debuginfo(build-id)
= 82fd4e437529f4f857dd77c08ac9ddb2dea09512 debuginfo(build-id)
= 84d1c11a0457feeefa1a72dd2e4c2dcdbeaaf8d2 debuginfo(build-id)
= 898769139de5602ab222913eedb6c48c22a86af0 debuginfo(build-id)
= 8dd42b26c9983549da19daf081b052dc0663edfe debuginfo(build-id)
= 8e3122829e46d883f1275b4705aaf2bf080425a3 debuginfo(build-id)
= 8e91188b6e7f8625fdacfae678307c9173e86d34 debuginfo(build-id)
= 92e65303c6276223cbecf93abfb22727c5c0adb6 debuginfo(build-id)
= 93d3b5f71ea3b0cb9aac556d4d3fa4ffd3ddc05d debuginfo(build-id)
= 943a84da24a373baba26079bdd8383540caead95 debuginfo(build-id)
= 982f27d9e51cfc27552579bbe1079e7a016a6d4c debuginfo(build-id)
= 990d72d79cf5e8c6f85f843c6998e0fdbfb8e564 debuginfo(build-id)
= 9fe71cc05b318cb038a631e11ebca0493d2ef3a1 debuginfo(build-id)
= a5ede928973fe70467cafa88df9dcc0075ff0fd9 debuginfo(build-id)
= ab29a12cb69b8c18785486cef2faa5c3e0d2c2e0 debuginfo(build-id)
= b3a0083b0f2347630ee8f4b50f74a01bfdefeccd debuginfo(build-id)
= bbde14d3bfd939caf11ab4776428ba5c7ba8d78a debuginfo(build-id)
= bbdee048f67af8a1ba2eb6e8db1b65dbb359eaad debuginfo(build-id)
= bebee395e3a18c1808399235048a0d2948e5f7a4 debuginfo(build-id)
= c319e342efbd4f1e1f8113a7d61d50ae06421a32 debuginfo(build-id)
= c486a3af019bba4c88bef60e7bd8277e8bfd4b2b debuginfo(build-id)
= c4a9ca448f1e3af5de10c7140f6e64b9d8efe675 debuginfo(build-id)
= c6e50a19e26e38d20353d9773571109cebd0bcf3 debuginfo(build-id)
= ca8cbbe392e19ad2e47806b27775c3f3cf0abd7d debuginfo(build-id)
= cd2068f7c6ad63a679f4dab22317135091e0efb5 debuginfo(build-id)
= d2edf617356426777129270dbc75a7832498edaf debuginfo(build-id)
= d3beb8d7f7734e17b89224f7c2e5a09c561644fe debuginfo(build-id)
= d43cb4a707149e25cef6629dbeeb63004b5ad744 debuginfo(build-id)
= e3920efb47b20871ec3d7f57c98bbb31fb7dd2d1 debuginfo(build-id)
= e3a6a792a087b0168bd8ca1b43a66c798b96ae9f debuginfo(build-id)
= e6ae0723e92e15d47a86237a0c9ee9fc36725cf5 debuginfo(build-id)
= ed99e8c26e9231eeb6460477108cc48987ede3f8 debuginfo(build-id)
= eecfc1ed1b641695541ca68cd693ec4ebe22f54e debuginfo(build-id)
= f33fc16479001d176e3be1b3dea18ffaa6c66e87 debuginfo(build-id)
= f7fcfa18bf8c90c37b43214e364a41045dc49cce debuginfo(build-id)
= 26.1-1.fc38 frama-c-debuginfo
= 26.1-1.fc38 frama-c-debuginfo(x86-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/571f837471e826172854a57bf68606d608bda8
/usr/lib/debug/.build-id/0e/571f837471e826172854a57bf68606d608bda8.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/9966afa3fc2ff7f7e2519af6fbc5c8c4b9829e
/usr/lib/debug/.build-id/17/9966afa3fc2ff7f7e2519af6fbc5c8c4b9829e.debug
/usr/lib/debug/.build-id/17/c64591ee7d9a65a155191f2b4bdb40e9448a93
/usr/lib/debug/.build-id/17/c64591ee7d9a65a155191f2b4bdb40e9448a93.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/2fd5094beef8968b2b42798f581de2bfd956b0
/usr/lib/debug/.build-id/1a/2fd5094beef8968b2b42798f581de2bfd956b0.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/0b17ff9e3f9c8a9358f38755b77cb507f1b3b8
/usr/lib/debug/.build-id/20/0b17ff9e3f9c8a9358f38755b77cb507f1b3b8.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/648f1654c9b5cc888a52372a6f7932aea6dcad
/usr/lib/debug/.build-id/2d/648f1654c9b5cc888a52372a6f7932aea6dcad.debug
/usr/lib/debug/.build-id/2d/e4935bbcf9b17648bd9f09ccba478f446be7ed
/usr/lib/debug/.build-id/2d/e4935bbcf9b17648bd9f09ccba478f446be7ed.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/461ecd5e61ad3f4b94da2196b49245375bd168
/usr/lib/debug/.build-id/31/461ecd5e61ad3f4b94da2196b49245375bd168.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/c4fda8f761b1607714c324a854825dc02305ec
/usr/lib/debug/.build-id/35/c4fda8f761b1607714c324a854825dc02305ec.debug
/usr/lib/debug/.build-id/3c
/usr/lib/debug/.build-id/3c/c18bc27b6718ac9369adabc5300d2428f397d9
/usr/lib/debug/.build-id/3c/c18bc27b6718ac9369adabc5300d2428f397d9.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/f0c17e8e80e828d723429b3f7380ac3e74e6ed
/usr/lib/debug/.build-id/3e/f0c17e8e80e828d723429b3f7380ac3e74e6ed.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/7012d5a4f5f1bb2e3e83bed6d22b41949f81ec
/usr/lib/debug/.build-id/40/7012d5a4f5f1bb2e3e83bed6d22b41949f81ec.debug
/usr/lib/debug/.build-id/40/a8046fed6d7f2c814160cd5965853ff7c6aa44
/usr/lib/debug/.build-id/40/a8046fed6d7f2c814160cd5965853ff7c6aa44.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/160b76b356fae3f30f9979e5cb8faa8bae399c
/usr/lib/debug/.build-id/41/160b76b356fae3f30f9979e5cb8faa8bae399c.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/8e1c2901004cddf7f818093a9ee408fc3ced3a
/usr/lib/debug/.build-id/46/8e1c2901004cddf7f818093a9ee408fc3ced3a.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/c14aed399142a6e63a7a7e8b760bc4b15b8673
/usr/lib/debug/.build-id/53/c14aed399142a6e63a7a7e8b760bc4b15b8673.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/022e91c8188b4700a8a2d02c8495c670edfbad
/usr/lib/debug/.build-id/55/022e91c8188b4700a8a2d02c8495c670edfbad.debug
... and 276 more


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

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

2022-03-25

Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5