معرفی شرکت ها

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


ارائه دهنده

مقدار نام
= 0258080119ba50cdf3cef3ecc5c1fc2c76710ffe debuginfo(build-id)
= 066959be01cd346078a3064590a502f0f831c49e debuginfo(build-id)
= 0f326fa4466c3dc6887cd4eee6686db2b09ad3fe debuginfo(build-id)
= 0f633cc7a066039eae0b889e50a524d274eef5e0 debuginfo(build-id)
= 11b1f53360d1de2dd3e9fcd65fd49da79bfce4fc debuginfo(build-id)
= 1275bcdb84ba8e8bdd0f9d4672602243c8fc3f5c debuginfo(build-id)
= 12abf9918e03beeed8ebf869969448b8f1f396cf debuginfo(build-id)
= 1518f8d07ca2c67244067a1ecda17eff0a90a10c debuginfo(build-id)
= 1b9868b5bdd24fdacf23701fcf18ea5ded52c925 debuginfo(build-id)
= 279d63d49146c8cd8292a35d7bd6177799e86600 debuginfo(build-id)
= 2ae1db0e1b160c41f7dd5bb0cc46316990b8f0bb debuginfo(build-id)
= 388f3cbcd0e8aaea99319240e43f5a9f05d59581 debuginfo(build-id)
= 407535e136955f088606f92cbef7f80bd504bd4a debuginfo(build-id)
= 44088891092a7dd15cdecee4d2e16201c3e9d19c debuginfo(build-id)
= 4cae8cafa7db65fffb5f210d1fb845ab4dabb47a debuginfo(build-id)
= 4dd4a832000b25623cad1543836368c3c8db8b08 debuginfo(build-id)
= 5fdbc88d23582dc0cbfca6551eafada8ddec4c10 debuginfo(build-id)
= 6127b2d1f51d511f0937d8d05e6cac31738bf545 debuginfo(build-id)
= 674c082ad4f761dc7ffa56fffac5928a2ddc3d67 debuginfo(build-id)
= 69657968ca98246009c4df7e0523705d7e0793a0 debuginfo(build-id)
= 72892b3780756999664851705321118c95d46d40 debuginfo(build-id)
= 72a4ed83d62b47b66ab19f6d4453b6b00e95566e debuginfo(build-id)
= 7418130b1be8576fd5db201128e0fe1fa8ba4e2e debuginfo(build-id)
= 7786d4e7d53fc94bb1e112fbb206a49a9147d557 debuginfo(build-id)
= 8341bfc0a4caa4f0d2f4a6134b7d73cc9812510f debuginfo(build-id)
= 85f9a2584c6ea16146da86005c02fa451ae6b31b debuginfo(build-id)
= 8d4ecd69fa8ca845e7e0e84a15a93ff20f01ff60 debuginfo(build-id)
= 8fea2b8fa1407046739b809810d89d7d903c081d debuginfo(build-id)
= 9064bf315bb86fbded2cd75869fe551e8fcc4d76 debuginfo(build-id)
= 977283cb3ba2628c2a1b043dcb8f62e686bce3a4 debuginfo(build-id)
= 9894c62807e0f343305c069782742032ed4ec3db debuginfo(build-id)
= 998a436affca3257e938227be5e67e11cf76248a debuginfo(build-id)
= a64d6e38d21ac021794baffbac93c0569ecda15a debuginfo(build-id)
= a6eef23994d784771d0dc7b425557b61d3163a22 debuginfo(build-id)
= aa33620b4ac3e221c57ef236d539e87c36322cfb debuginfo(build-id)
= abced185589d88fdb1a8ebc6c89496460642fa3f debuginfo(build-id)
= ad50cf840dbdb7fcb9e0168396bfb489920a0e21 debuginfo(build-id)
= ae7655d90a726faa7b188b2654c9dde58d849018 debuginfo(build-id)
= bc16a411ba5bdbd5aa52531ab1b7b508ea90c100 debuginfo(build-id)
= c4ab745d8384aaf0bf082364abbb6edb556512e3 debuginfo(build-id)
= c4cc1c0a6718b8b8c14e90237d59f8e6c0753846 debuginfo(build-id)
= c6339b4bfae7b53bc4f34232926296e1961a1514 debuginfo(build-id)
= c8530f1a832d6934fe471a2a53793b92278ee1cf debuginfo(build-id)
= c969b9c28118fd3bf793f8e2e1aeb44db3c601d4 debuginfo(build-id)
= cc4b339bc4bfa5ec9799b0cca2c9cfb275b84793 debuginfo(build-id)
= cf7a7fd648e5984ba7fd11c17dd29798ecdbd5ba debuginfo(build-id)
= cfc031cee2a59504d825dec6a595c4cfdb88d7fe debuginfo(build-id)
= d1a8482e3c110ca0df6072d6aa4bd4b5c9be38a8 debuginfo(build-id)
= d35113e8f85dea3eda1db98bbc38846cde0fe01a debuginfo(build-id)
= d855e1013c827b7bf38e24dde70f587823c0f4ee debuginfo(build-id)
= d96d9202ec5c974ba65cd74dedb52c3cda09cb3f debuginfo(build-id)
= e0602d1a58fae298c027127de87a74acbc2dd63d debuginfo(build-id)
= e0efa4c9c928f3af747f0c96516ae0bdd3c3c721 debuginfo(build-id)
= e5a6f7493afbc7b02d233e3e4a39e2b7169eac18 debuginfo(build-id)
= f34f5866ddeb55e0f83eb3bebf809157832f080e debuginfo(build-id)
= f4cb22c2b561ffa3befdf352dcd90ee89a904cca debuginfo(build-id)
= f69d16b2d45827a8961449baa98bb9489a4476dd debuginfo(build-id)
= f75d474ce4231b735e5e6b83278a2d065d54c170 debuginfo(build-id)
= fc6a94a646a5edc14a745dd039d6c01c066d0180 debuginfo(build-id)
= 26.1-1.fc38 frama-c-debuginfo
= 26.1-1.fc38 frama-c-debuginfo(aarch-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/58080119ba50cdf3cef3ecc5c1fc2c76710ffe
/usr/lib/debug/.build-id/02/58080119ba50cdf3cef3ecc5c1fc2c76710ffe.debug
/usr/lib/debug/.build-id/06
/usr/lib/debug/.build-id/06/6959be01cd346078a3064590a502f0f831c49e
/usr/lib/debug/.build-id/06/6959be01cd346078a3064590a502f0f831c49e.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/326fa4466c3dc6887cd4eee6686db2b09ad3fe
/usr/lib/debug/.build-id/0f/326fa4466c3dc6887cd4eee6686db2b09ad3fe.debug
/usr/lib/debug/.build-id/0f/633cc7a066039eae0b889e50a524d274eef5e0
/usr/lib/debug/.build-id/0f/633cc7a066039eae0b889e50a524d274eef5e0.debug
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/b1f53360d1de2dd3e9fcd65fd49da79bfce4fc
/usr/lib/debug/.build-id/11/b1f53360d1de2dd3e9fcd65fd49da79bfce4fc.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/75bcdb84ba8e8bdd0f9d4672602243c8fc3f5c
/usr/lib/debug/.build-id/12/75bcdb84ba8e8bdd0f9d4672602243c8fc3f5c.debug
/usr/lib/debug/.build-id/12/abf9918e03beeed8ebf869969448b8f1f396cf
/usr/lib/debug/.build-id/12/abf9918e03beeed8ebf869969448b8f1f396cf.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/18f8d07ca2c67244067a1ecda17eff0a90a10c
/usr/lib/debug/.build-id/15/18f8d07ca2c67244067a1ecda17eff0a90a10c.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/9868b5bdd24fdacf23701fcf18ea5ded52c925
/usr/lib/debug/.build-id/1b/9868b5bdd24fdacf23701fcf18ea5ded52c925.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/9d63d49146c8cd8292a35d7bd6177799e86600
/usr/lib/debug/.build-id/27/9d63d49146c8cd8292a35d7bd6177799e86600.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/e1db0e1b160c41f7dd5bb0cc46316990b8f0bb
/usr/lib/debug/.build-id/2a/e1db0e1b160c41f7dd5bb0cc46316990b8f0bb.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/8f3cbcd0e8aaea99319240e43f5a9f05d59581
/usr/lib/debug/.build-id/38/8f3cbcd0e8aaea99319240e43f5a9f05d59581.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/7535e136955f088606f92cbef7f80bd504bd4a
/usr/lib/debug/.build-id/40/7535e136955f088606f92cbef7f80bd504bd4a.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/088891092a7dd15cdecee4d2e16201c3e9d19c
/usr/lib/debug/.build-id/44/088891092a7dd15cdecee4d2e16201c3e9d19c.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/ae8cafa7db65fffb5f210d1fb845ab4dabb47a
/usr/lib/debug/.build-id/4c/ae8cafa7db65fffb5f210d1fb845ab4dabb47a.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/d4a832000b25623cad1543836368c3c8db8b08
/usr/lib/debug/.build-id/4d/d4a832000b25623cad1543836368c3c8db8b08.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/dbc88d23582dc0cbfca6551eafada8ddec4c10
... and 278 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