معرفی شرکت ها

coq-core-debuginfo-8.17.1-5.fc39.aarch64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Debug information for package coq-core
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته coq-core-debuginfo
نام فایل بسته coq-core-debuginfo-8.17.1-5.fc39.aarch64.rpm
نسخه بسته 8.17.1
انتشار بسته 5.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 27 Jul 2023 08
هاست سازنده buildvm-a64-29.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 21M
حجم نصب 108.305M
This package provides debug information for package coq-core. Debug information is useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-core-debuginfo-8.18.0-1.fc39.aarch64.rpm 8.18.0 aarch64 Fedora Everything
coq-core-debuginfo-8.18.0-1.fc39.x86_64.rpm 8.18.0 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.17.1-5.fc39 coq-debuginfo(aarch-64)


ارائه دهنده

مقدار نام
= 8.17.1-5.fc39 coq-core-debuginfo
= 8.17.1-5.fc39 coq-core-debuginfo(aarch-64)
= 0996c15e092e4ef9d2c4cf244ad919123df02b39 debuginfo(build-id)
= 14a8c9d81799e221ae36fa400f01f12ed4435837 debuginfo(build-id)
= 184baff851960557f45fd70b71cc0f717b3cbb32 debuginfo(build-id)
= 1e39803243c64c75b8fbb854d3529236d8c2beb1 debuginfo(build-id)
= 21177ea8721b31ede9cf8e9a26d6067d633c5d78 debuginfo(build-id)
= 224c399b0ff684e9edec108e1f96eb672f362a8d debuginfo(build-id)
= 227cf1387fd25a1c170d352592babcb57d5c7c8c debuginfo(build-id)
= 22cba32202fffeef12db42696175ed1454be41b5 debuginfo(build-id)
= 232ead7b4ecd5cdbd961bb95393b86e5829d70a6 debuginfo(build-id)
= 2bc84d0bc648bac9652ca0a48dec826987f702d2 debuginfo(build-id)
= 2f176774df305628135ed625e134ca3324858f85 debuginfo(build-id)
= 31c05a13fc17f5cb71bda45d12054b55ad6d74f4 debuginfo(build-id)
= 3ea5ad31cfcd4ec2189c34ff4cf95c16ff5e2473 debuginfo(build-id)
= 469ecf145692a2154f04fb1801e94d07423a5d20 debuginfo(build-id)
= 48dec965465142c9282be5e169474fc0726b0d7e debuginfo(build-id)
= 4d8e5a19207da0727a116f6d4990e8c306eef953 debuginfo(build-id)
= 509caa62c6c13bbf1a4ebaf780edc685fd941472 debuginfo(build-id)
= 53f89255ef0502a47f46e2506c2125c1ab04677e debuginfo(build-id)
= 5502b504e10d251aa85fe20d45ea94d802879805 debuginfo(build-id)
= 5649698d7e54cdf18e52eafdbc2fad8ea054f6d2 debuginfo(build-id)
= 581128dbc88a9605531ddf38d3309795890bb2db debuginfo(build-id)
= 58485664c134a105d9ab50af4120f412592d4e35 debuginfo(build-id)
= 600d0cb09917d292e140498cfeaea1d41740d677 debuginfo(build-id)
= 648a21a17637f2d81bf0d0242e683ab12c4c541b debuginfo(build-id)
= 6523adee0a8c01069f7c9a4ffc8075bc984fb605 debuginfo(build-id)
= 73ee4197126a9467924fe91334e2e862acae1d5c debuginfo(build-id)
= 76a9510565c9ebbef06d67acd5523b6d994ed4c8 debuginfo(build-id)
= 7a39cf5201d19c4163bb46c74341629a0f1e4529 debuginfo(build-id)
= 7c493c00aca67ed554f98121cad338c2b751d43b debuginfo(build-id)
= 841b031ef42fd93b805bb6c6d9bfe086ef9d3b99 debuginfo(build-id)
= 86197a9558745edeeb6479cbbf5377a977016052 debuginfo(build-id)
= 864eacb3b8fe4a8e724422a4f12cd335a327c248 debuginfo(build-id)
= 8a6c922767024eb2771dd3bbbacd4638d123a217 debuginfo(build-id)
= 8b50536fb763d2fe2282dd7e472995d29122f309 debuginfo(build-id)
= 8b564abd9264587d042699ddd70850beb8dcda3c debuginfo(build-id)
= 8d076eced067a58125007c38ec175026bb244af0 debuginfo(build-id)
= 8ecc850f6c498e9d193f3122d5bc068146a2aee9 debuginfo(build-id)
= 93cc00d5a98313ac04b2a9be08f5fb9ba1511238 debuginfo(build-id)
= 9b2347d805e73d2ccad89b168635e3e54dbaefa0 debuginfo(build-id)
= 9f4f40676e6cf747c442493f61f8efd7d89c4f09 debuginfo(build-id)
= a5287cab40c4364cb784304b67580010c2d198d4 debuginfo(build-id)
= aa06a65a91d6764c7596b3e10fac6ecb8c7eb0c8 debuginfo(build-id)
= aad768c517c11dcbbdab465996b48c2b81c6037a debuginfo(build-id)
= afb25d304d6a0596a19a0df78b34b23ffebd65ef debuginfo(build-id)
= bfdee49a68bb3385606f820ab69ae197065e3f0f debuginfo(build-id)
= c70903a70ec1367d6cdeada951f78e2b1e8fb033 debuginfo(build-id)
= cb3e6b3f73d9b5e43c2013ae188273cda9d9bc33 debuginfo(build-id)
= cba77647cbff3b54e71c4622ec6210dd8a05f90b debuginfo(build-id)
= ce72517d8c1b704a140adfa3a785b3f1155a29eb debuginfo(build-id)
= d2e323768ab5bc086d360e1c6f05617bca4a8349 debuginfo(build-id)
= d8b183dac0c5d8b737cc47c60e35b0a0a5e71a69 debuginfo(build-id)
= dba33c7bdc6c9a67fb9274bb34d1065a5724b476 debuginfo(build-id)
= dee82e62d2b1eef93eee15f455f8175bec3729dd debuginfo(build-id)
= dfc0156769ce5ae5209c2b1cc55a85f43d2fc78d debuginfo(build-id)
= ec803f098191f3597db6f0d0707687e8baad0d97 debuginfo(build-id)
= f1f2e807c724dcf0b9fa602d7c7f2bc5fb4d234c debuginfo(build-id)
= f3d07681eacea90eae8852b9bd6cda8f7fd7dfa6 debuginfo(build-id)
= f71da14e093c9288e52afced861d0368212add1e debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


نصب پکیج rpm coq-core-debuginfo:

    dnf install coq-core-debuginfo-8.17.1-5.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/96c15e092e4ef9d2c4cf244ad919123df02b39
/usr/lib/debug/.build-id/09/96c15e092e4ef9d2c4cf244ad919123df02b39.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/a8c9d81799e221ae36fa400f01f12ed4435837
/usr/lib/debug/.build-id/14/a8c9d81799e221ae36fa400f01f12ed4435837.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/4baff851960557f45fd70b71cc0f717b3cbb32
/usr/lib/debug/.build-id/18/4baff851960557f45fd70b71cc0f717b3cbb32.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/39803243c64c75b8fbb854d3529236d8c2beb1
/usr/lib/debug/.build-id/1e/39803243c64c75b8fbb854d3529236d8c2beb1.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/177ea8721b31ede9cf8e9a26d6067d633c5d78
/usr/lib/debug/.build-id/21/177ea8721b31ede9cf8e9a26d6067d633c5d78.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/4c399b0ff684e9edec108e1f96eb672f362a8d
/usr/lib/debug/.build-id/22/4c399b0ff684e9edec108e1f96eb672f362a8d.debug
/usr/lib/debug/.build-id/22/7cf1387fd25a1c170d352592babcb57d5c7c8c
/usr/lib/debug/.build-id/22/7cf1387fd25a1c170d352592babcb57d5c7c8c.debug
/usr/lib/debug/.build-id/22/cba32202fffeef12db42696175ed1454be41b5
/usr/lib/debug/.build-id/22/cba32202fffeef12db42696175ed1454be41b5.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/2ead7b4ecd5cdbd961bb95393b86e5829d70a6
/usr/lib/debug/.build-id/23/2ead7b4ecd5cdbd961bb95393b86e5829d70a6.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/c84d0bc648bac9652ca0a48dec826987f702d2
/usr/lib/debug/.build-id/2b/c84d0bc648bac9652ca0a48dec826987f702d2.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/176774df305628135ed625e134ca3324858f85
/usr/lib/debug/.build-id/2f/176774df305628135ed625e134ca3324858f85.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/c05a13fc17f5cb71bda45d12054b55ad6d74f4
/usr/lib/debug/.build-id/31/c05a13fc17f5cb71bda45d12054b55ad6d74f4.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/a5ad31cfcd4ec2189c34ff4cf95c16ff5e2473
/usr/lib/debug/.build-id/3e/a5ad31cfcd4ec2189c34ff4cf95c16ff5e2473.debug
/usr/lib/debug/.build-id/46
/usr/lib/debug/.build-id/46/9ecf145692a2154f04fb1801e94d07423a5d20
/usr/lib/debug/.build-id/46/9ecf145692a2154f04fb1801e94d07423a5d20.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/dec965465142c9282be5e169474fc0726b0d7e
/usr/lib/debug/.build-id/48/dec965465142c9282be5e169474fc0726b0d7e.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/8e5a19207da0727a116f6d4990e8c306eef953
/usr/lib/debug/.build-id/4d/8e5a19207da0727a116f6d4990e8c306eef953.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/9caa62c6c13bbf1a4ebaf780edc685fd941472
... and 230 more


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

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

Validate appdata with appstream-util

2023-07-12

OCaml 5.0 rebuild for Fedora 39
Only build coq and friends on architectures with the native compiler.

2023-07-10

Version 8.17.1
Build in release mode
Disable the native compiler, which is incompatible with OCaml 5.0

2023-04-01

Version 8.17.0
Drop upstreamed patch for Sphinx 5 support

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

2022-11-26

Version 8.16.1

2022-10-06

Remove the manual, which has a non-free license (bz 2132567)

2022-09-16

Version 8.16.0
Drop upstreamed patch for Sphinx 4.5 support

2022-08-15

Convert License tags to SPDX

2022-07-20

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

2022-07-19

Enable documentation build with Sphinx 5+

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-20

Rebuild for antlr4-project 4.10.1