معرفی شرکت ها

frama-c-debuginfo-28.1-2.fc39.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 39
مخزن Fedora Everything x86_64
نام بسته frama-c-debuginfo
نام فایل بسته frama-c-debuginfo-28.1-2.fc39.x86_64.rpm
نسخه بسته 28.1
انتشار بسته 2.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu 18 Apr 2024 10
هاست سازنده buildvm-x86-05.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
حجم دانلود 12M
حجم نصب 65.567M
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-27.1-4.fc39.aarch64.rpm 27.1 aarch64 Fedora Everything
frama-c-debuginfo-27.1-4.fc39.x86_64.rpm 27.1 x86_64 Fedora Everything
frama-c-debuginfo-27.1-5.fc39.aarch64.rpm 27.1 aarch64 Fedora Everything
frama-c-debuginfo-27.1-5.fc39.x86_64.rpm 27.1 x86_64 Fedora Everything
frama-c-debuginfo-28.1-2.fc39.aarch64.rpm 28.1 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 016153625c0fa9866c6e57e7fa252263eaa70cb3 debuginfo(build-id)
= 1736debb1f9fc15058ddbef5b1df61d19d97590b debuginfo(build-id)
= 1815eb9edeaf4676265c58510ce21252c5119bb9 debuginfo(build-id)
= 19716e7ea910ceec20950548eacc51f36f0e5e88 debuginfo(build-id)
= 1b8ef8303921a668fdb6511cbd02be97cdb831a5 debuginfo(build-id)
= 1e7ea7fe2ca9e8462211edfe066a4faa5756de58 debuginfo(build-id)
= 21aed24235ea3c1526e621b0da65b79eb4158bcf debuginfo(build-id)
= 2637f93373b0cfbfb0edf09cb09879b9f5d0237f debuginfo(build-id)
= 281d496807e8d0e08cf68a97a4da5fc308d6c1c8 debuginfo(build-id)
= 29aff9e2e6c91d91f50861983fefefe1e0dfebf0 debuginfo(build-id)
= 2b4e2993dc4f23237c1018f6e81b6126f39f4431 debuginfo(build-id)
= 2e6d3e46b723ae01b57dd9e208e2e64bb15abca2 debuginfo(build-id)
= 2e84ea8b5b0a4c395c9ed2c4ee6f8f7bf274b83c debuginfo(build-id)
= 2feca06d9a92022bdabbe7623fbeb27619544922 debuginfo(build-id)
= 30a391d91f931440458a6a3adcf6967b7c879b91 debuginfo(build-id)
= 33162bc51a125b2032988f0fcf5a096b208588d8 debuginfo(build-id)
= 3585ffc968e65ee310f8ea766f181724f90125b7 debuginfo(build-id)
= 3cd37e3ebb7b6c7c32efab4304e8bb386a3ba5da debuginfo(build-id)
= 494e77742d210e24ee7e0e861670f478f2a4a14c debuginfo(build-id)
= 4ba946683ac2086bd8f64e3d54cfac4e73cc17fa debuginfo(build-id)
= 517363695d5cea2b3c774c3b247dfa4f5159b0db debuginfo(build-id)
= 5421e7aa1f50c4b6051b856444fe5fbdc0ee4caa debuginfo(build-id)
= 5c0c498da0e45966cf8863b15d089cb4a36e132c debuginfo(build-id)
= 5d71498224fb6e1e915b6572803a59c35a702c23 debuginfo(build-id)
= 6c886e1a76523623cdbfc3cfd6c76bb51582b5d0 debuginfo(build-id)
= 70b0e36fd99bf0a2d77bcce400420881532826ef debuginfo(build-id)
= 7b4179ab24742c50899a23a9c49b4d8502f8f18f debuginfo(build-id)
= 7b5a64ee6c26655c7176526cbebc9b82f0a90482 debuginfo(build-id)
= 8069cfb6d8b6031f5e1a987308f6bbb1db009350 debuginfo(build-id)
= 838873d5cdf4f3557d952d49f247ccf7fda90fbf debuginfo(build-id)
= 8563870cb5ff4b60ca0ebe7afff85ef88667d41a debuginfo(build-id)
= 8875aa68efd51973c2ae34ebd2d7689a19c6f222 debuginfo(build-id)
= 88a64d27d17671b2f2e4e15c586c40ba6525233e debuginfo(build-id)
= 89e424b1c5d0083f920529c5d0b473ab6bfa9e7f debuginfo(build-id)
= 8cf0aacaded3055a5c58211b13c5c4411646daef debuginfo(build-id)
= 8ef0d2bee801922508b7dfafb4dffd222d9cefcc debuginfo(build-id)
= 8f1b35b60ff7bbf61b0cf6ec2432046f3cc81251 debuginfo(build-id)
= 9fcacf994257a0c8e1b4630ba2720a8ee22e5b80 debuginfo(build-id)
= a1433e8637fd4ffa36d091cf40cc54fac5969e5d debuginfo(build-id)
= adaef5bf3c917bcbf7a2816d63ef462ad9e1f424 debuginfo(build-id)
= b2bfc369a97de2d11029659637f28d28b3d6bf82 debuginfo(build-id)
= be0766a917b1cee41a8fc2445c8b6914ead1763d debuginfo(build-id)
= be788153beecbd02d6a45eed3e4afbe217af3100 debuginfo(build-id)
= c001821ab1cdff2f21ae850a1a5c49edc53558f6 debuginfo(build-id)
= c2b2048dabf5a66402d0681a36962310028f78a6 debuginfo(build-id)
= c3f5f69908178b873edb312b596d3e41296cf747 debuginfo(build-id)
= c777d27bc6b1622d17c8aab4e2dfe85a336d06a2 debuginfo(build-id)
= c8587bda7f07b0516ecd208d8a00b19ca311043b debuginfo(build-id)
= c928e3ed926447f3e423e4821c5f25ae50668a97 debuginfo(build-id)
= cccd6d30ce81669e52f7d957c14753840251e0d4 debuginfo(build-id)
= d7ffe37c6793b20639e2e7e51b2902be5be47150 debuginfo(build-id)
= dba27f1967c591ed278f7473af8e592038e5a849 debuginfo(build-id)
= e062abc0c19d78365b0692befbb4e1450f32a80c debuginfo(build-id)
= e86f1061976dca93fb6a1dfe630ec669ef0404aa debuginfo(build-id)
= eb0c1060d4c9e66db4f5e936004ede752c2f1cc9 debuginfo(build-id)
= f90db2449c28cbedff7ef62c7ce38e853a3cdf5a debuginfo(build-id)
= f968300e9ca43ddfa7b9afe30c2361976b655a04 debuginfo(build-id)
= fcc1e973b7c217b8061a75d78c2590b97140ac60 debuginfo(build-id)
= fe9662faf2c87dc44bdf1e74f61cba95beaf3442 debuginfo(build-id)
= 28.1-2.fc39 frama-c-debuginfo
= 28.1-2.fc39 frama-c-debuginfo(x86-64)


نحوه نصب


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

    dnf install frama-c-debuginfo-28.1-2.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01
/usr/lib/debug/.build-id/01/6153625c0fa9866c6e57e7fa252263eaa70cb3
/usr/lib/debug/.build-id/01/6153625c0fa9866c6e57e7fa252263eaa70cb3.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/36debb1f9fc15058ddbef5b1df61d19d97590b
/usr/lib/debug/.build-id/17/36debb1f9fc15058ddbef5b1df61d19d97590b.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/15eb9edeaf4676265c58510ce21252c5119bb9
/usr/lib/debug/.build-id/18/15eb9edeaf4676265c58510ce21252c5119bb9.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/716e7ea910ceec20950548eacc51f36f0e5e88
/usr/lib/debug/.build-id/19/716e7ea910ceec20950548eacc51f36f0e5e88.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/8ef8303921a668fdb6511cbd02be97cdb831a5
/usr/lib/debug/.build-id/1b/8ef8303921a668fdb6511cbd02be97cdb831a5.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/7ea7fe2ca9e8462211edfe066a4faa5756de58
/usr/lib/debug/.build-id/1e/7ea7fe2ca9e8462211edfe066a4faa5756de58.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/aed24235ea3c1526e621b0da65b79eb4158bcf
/usr/lib/debug/.build-id/21/aed24235ea3c1526e621b0da65b79eb4158bcf.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/37f93373b0cfbfb0edf09cb09879b9f5d0237f
/usr/lib/debug/.build-id/26/37f93373b0cfbfb0edf09cb09879b9f5d0237f.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/1d496807e8d0e08cf68a97a4da5fc308d6c1c8
/usr/lib/debug/.build-id/28/1d496807e8d0e08cf68a97a4da5fc308d6c1c8.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/aff9e2e6c91d91f50861983fefefe1e0dfebf0
/usr/lib/debug/.build-id/29/aff9e2e6c91d91f50861983fefefe1e0dfebf0.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/4e2993dc4f23237c1018f6e81b6126f39f4431
/usr/lib/debug/.build-id/2b/4e2993dc4f23237c1018f6e81b6126f39f4431.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/6d3e46b723ae01b57dd9e208e2e64bb15abca2
/usr/lib/debug/.build-id/2e/6d3e46b723ae01b57dd9e208e2e64bb15abca2.debug
/usr/lib/debug/.build-id/2e/84ea8b5b0a4c395c9ed2c4ee6f8f7bf274b83c
/usr/lib/debug/.build-id/2e/84ea8b5b0a4c395c9ed2c4ee6f8f7bf274b83c.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/eca06d9a92022bdabbe7623fbeb27619544922
/usr/lib/debug/.build-id/2f/eca06d9a92022bdabbe7623fbeb27619544922.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/a391d91f931440458a6a3adcf6967b7c879b91
/usr/lib/debug/.build-id/30/a391d91f931440458a6a3adcf6967b7c879b91.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/162bc51a125b2032988f0fcf5a096b208588d8
/usr/lib/debug/.build-id/33/162bc51a125b2032988f0fcf5a096b208588d8.debug
/usr/lib/debug/.build-id/35
... and 282 more


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

تاریخ آخرین تغییر جزئیات
2024-04-18

Rebuild for why3 1.7.2

2024-03-04

Version 28.1

2024-02-02

Rebuild for why3 1.7.1

2024-01-02

Version 28.0
Drop upstreamed patches
Add patch for whitespace differences in the tests

2023-11-14

Fix failure to find plugins (bz 2249607)
Install the zsh completion file

2023-09-09

Rebuild for ocaml-ocamlgraph 2.1.0

2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-18

Version 27.1
Validate metainfo with appstream-util

2023-07-14

Rebuild for ocaml-ctypes 0.21.0

2023-07-12

OCaml 5.0 rebuild for Fedora 39

2023-07-10

Version 27.0

2023-06-10

Rebuild for ocaml-dune-site 3.8.1

2023-02-15

Version 26.1

2023-01-24

Bump release and rebuild

2023-01-24

Rebuild OCaml packages for F38