معرفی شرکت ها

frama-c-debuginfo-26.1-2.fc38.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 38
مخزن Fedora Everything aarch64
نام بسته frama-c-debuginfo
نام فایل بسته frama-c-debuginfo-26.1-2.fc38.aarch64.rpm
نسخه بسته 26.1
انتشار بسته 2.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 08
هاست سازنده buildvm-a64-35.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.9M
حجم نصب 33.188M
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-1.fc38.x86_64.rpm 26.1 x86_64 Fedora Everything
frama-c-debuginfo-26.1-2.fc38.x86_64.rpm 26.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 096b07d62e8de3753388f45aff7a4b0eeee3b2ad debuginfo(build-id)
= 0de7ca4da27cf32c6ce95e9f6cae18fe6e21dad2 debuginfo(build-id)
= 0f06474e00f6764227602f5eeeb478e23f0032b2 debuginfo(build-id)
= 10a932fd3c94bb82996811c802189dd760b80eeb debuginfo(build-id)
= 10e1ab8a40d5a7e7e0602121609a7bd3898c47f7 debuginfo(build-id)
= 138018fe51f393d55a848a1f3e6e6db0fa58da91 debuginfo(build-id)
= 1798274f6e1b4af6d1bf70d1dc237839c713042c debuginfo(build-id)
= 1c67033e7ab17c8cdcc9cf2fd90a79e03f0a9e69 debuginfo(build-id)
= 2222ca1837e34fd808540da4ff60202a6908f099 debuginfo(build-id)
= 237a36bb190d5b5a49f98a9e013afb0826de58a1 debuginfo(build-id)
= 23abb56fff4810fa3a8bdb8e120efe6714b1eb8a debuginfo(build-id)
= 27c37239445be1c7f93b04fff8cf785c1e14523e debuginfo(build-id)
= 289bd4fd3eeea344321b06f9bb52941dcf127920 debuginfo(build-id)
= 2c0957620f78d258fe3f87ab05651ca755b78117 debuginfo(build-id)
= 31941902f7c7ede457928772f5c2329d3d00c835 debuginfo(build-id)
= 378f87084757b1c6969923cffad816f41fa38cfb debuginfo(build-id)
= 39610650a060b7aefc803ece05a2e0494909b914 debuginfo(build-id)
= 3b64df276dd1a74ebc875007ea9cafcea0687d4a debuginfo(build-id)
= 3b778d2d19132b603c7c9ed942439a716985af5b debuginfo(build-id)
= 3d4f498cb4de16a139d94f782bb6365bb42c402b debuginfo(build-id)
= 4244b72548409c79c0cf99c47e90d59e98611ece debuginfo(build-id)
= 45cac910dabd54a95a63e01b88c2267fc0c60c9f debuginfo(build-id)
= 46f323fd43ffe8385d2669e7f13dd51097638e20 debuginfo(build-id)
= 519c1a095bd4da2227dd947cb75cebc340d80f09 debuginfo(build-id)
= 51b1f34adf85bb6ee19cc130ef7fbfe5959d09c2 debuginfo(build-id)
= 5521635265783fb4c350fe235479240efd02c8d7 debuginfo(build-id)
= 5a591ab1af1c8abfa7cad48ec927eff81d4fe0a5 debuginfo(build-id)
= 5d7724a1c46e523848da9a348a037ac582fd0a60 debuginfo(build-id)
= 5ee5ab32bc19142328086eb6e5226f085c55efbf debuginfo(build-id)
= 65c476ee91cf784ea1203f6c2d2eb1f85e8c2b2b debuginfo(build-id)
= 65e4bd1f5d90c6d37408de31b982ef8e06afc0b7 debuginfo(build-id)
= 6881727ebdebb9655b9145da6b6392ef441fdb9a debuginfo(build-id)
= 791daa0a286e62c834860deefaf17bf3a402d9e5 debuginfo(build-id)
= 81e5320007924a886488d742b0681b2ce1293cf4 debuginfo(build-id)
= 83c10f9225cef1a215e75fdd2a913f67c4f0671b debuginfo(build-id)
= 8a65c977edc2a74304c73b9d4c4ccd5d4e6f1e37 debuginfo(build-id)
= 8b834f4761e6cd7e1f82fa6b6c05d246f840f80d debuginfo(build-id)
= 8cf90e68f0c7d57dd14e4e464542c6ec11c56068 debuginfo(build-id)
= 8fad6a11b2f4a28f46097e5f2749c2984074e8fd debuginfo(build-id)
= 9760cfcbd7957f04ae764b25457bae1825867bf8 debuginfo(build-id)
= 992e8300fbcc988ddbae7226b3b1e8644108be81 debuginfo(build-id)
= 9e3c8497bf5219636965d31b0fce4d6dbca026ca debuginfo(build-id)
= a02087df5d257ea701cd0e1ab19fa8fc588ec727 debuginfo(build-id)
= aa21e920531b998e7eefe54bde851cfac72ef754 debuginfo(build-id)
= abad37d916fbdf9a838d2f0179c234bd84656fb5 debuginfo(build-id)
= ae6c5694bf57624b6055a58c84aadc845ebab266 debuginfo(build-id)
= ca7ebbd97651eeeba2ce1fe253fdec5715dc5d12 debuginfo(build-id)
= ca844c539621729d6de13ea40bb29938f04bcc59 debuginfo(build-id)
= cb0a8a30ce039fbdaeeb3c8bd13a2bd13a36179c debuginfo(build-id)
= cbd1c88dc009f9c84eeab0109829c88606d3fb70 debuginfo(build-id)
= cfdcca2b784e98f5d9bf6f1e5f14b74df9fdf7d2 debuginfo(build-id)
= d135cad30315b017bee9a2bd7d7730968c26af2b debuginfo(build-id)
= dc4622e2bad1e1c21adab882f98827218ba48166 debuginfo(build-id)
= dff1a76b543172ce14917289a009ece2db6b8a76 debuginfo(build-id)
= e111a73d67747c9a3950830cea03b05ffc3f0b5d debuginfo(build-id)
= e82ddf828a92ebd4acadd19fafaaf18d12c580ae debuginfo(build-id)
= f058320d0571610a404bacb4ca97c2708f90ce99 debuginfo(build-id)
= f2f0f02b970c9e2047add72b861e6dfd3ef12483 debuginfo(build-id)
= f55e0ca1529df55eac7c91b09c12844f66140024 debuginfo(build-id)
= 26.1-2.fc38 frama-c-debuginfo
= 26.1-2.fc38 frama-c-debuginfo(aarch-64)


نحوه نصب


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

    dnf install frama-c-debuginfo-26.1-2.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/6b07d62e8de3753388f45aff7a4b0eeee3b2ad
/usr/lib/debug/.build-id/09/6b07d62e8de3753388f45aff7a4b0eeee3b2ad.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/e7ca4da27cf32c6ce95e9f6cae18fe6e21dad2
/usr/lib/debug/.build-id/0d/e7ca4da27cf32c6ce95e9f6cae18fe6e21dad2.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/06474e00f6764227602f5eeeb478e23f0032b2
/usr/lib/debug/.build-id/0f/06474e00f6764227602f5eeeb478e23f0032b2.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/a932fd3c94bb82996811c802189dd760b80eeb
/usr/lib/debug/.build-id/10/a932fd3c94bb82996811c802189dd760b80eeb.debug
/usr/lib/debug/.build-id/10/e1ab8a40d5a7e7e0602121609a7bd3898c47f7
/usr/lib/debug/.build-id/10/e1ab8a40d5a7e7e0602121609a7bd3898c47f7.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/8018fe51f393d55a848a1f3e6e6db0fa58da91
/usr/lib/debug/.build-id/13/8018fe51f393d55a848a1f3e6e6db0fa58da91.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/98274f6e1b4af6d1bf70d1dc237839c713042c
/usr/lib/debug/.build-id/17/98274f6e1b4af6d1bf70d1dc237839c713042c.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/67033e7ab17c8cdcc9cf2fd90a79e03f0a9e69
/usr/lib/debug/.build-id/1c/67033e7ab17c8cdcc9cf2fd90a79e03f0a9e69.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/22ca1837e34fd808540da4ff60202a6908f099
/usr/lib/debug/.build-id/22/22ca1837e34fd808540da4ff60202a6908f099.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/7a36bb190d5b5a49f98a9e013afb0826de58a1
/usr/lib/debug/.build-id/23/7a36bb190d5b5a49f98a9e013afb0826de58a1.debug
/usr/lib/debug/.build-id/23/abb56fff4810fa3a8bdb8e120efe6714b1eb8a
/usr/lib/debug/.build-id/23/abb56fff4810fa3a8bdb8e120efe6714b1eb8a.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/c37239445be1c7f93b04fff8cf785c1e14523e
/usr/lib/debug/.build-id/27/c37239445be1c7f93b04fff8cf785c1e14523e.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/9bd4fd3eeea344321b06f9bb52941dcf127920
/usr/lib/debug/.build-id/28/9bd4fd3eeea344321b06f9bb52941dcf127920.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/0957620f78d258fe3f87ab05651ca755b78117
/usr/lib/debug/.build-id/2c/0957620f78d258fe3f87ab05651ca755b78117.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/941902f7c7ede457928772f5c2329d3d00c835
/usr/lib/debug/.build-id/31/941902f7c7ede457928772f5c2329d3d00c835.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/8f87084757b1c6969923cffad816f41fa38cfb
/usr/lib/debug/.build-id/37/8f87084757b1c6969923cffad816f41fa38cfb.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/610650a060b7aefc803ece05a2e0494909b914
... and 278 more


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

تاریخ آخرین تغییر جزئیات
2023-10-18

Rebuild for coq 8.17.1

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