معرفی شرکت ها

coq-core-debuginfo-8.16.0-1.fc37.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 37
مخزن Fedora Everything aarch64
نام بسته coq-core-debuginfo
نام فایل بسته coq-core-debuginfo-8.16.0-1.fc37.aarch64.rpm
نسخه بسته 8.16.0
انتشار بسته 1.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 02
هاست سازنده buildhw-a64-19.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 9.1M
حجم نصب 60.065M
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.16.0-1.fc37.x86_64.rpm 8.16.0 x86_64 Fedora Everything
coq-core-debuginfo-8.16.1-1.fc37.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-core-debuginfo-8.16.1-1.fc37.x86_64.rpm 8.16.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.16.0-1.fc37 coq-debuginfo(aarch-64)


ارائه دهنده

مقدار نام
= 8.16.0-1.fc37 coq-core-debuginfo
= 8.16.0-1.fc37 coq-core-debuginfo(aarch-64)
= 0d8ae6be8ae3f29562e09554fc1fff26526d98d0 debuginfo(build-id)
= 0daa0c5d11974d4d7eec9fcda08c4dc1062e7a22 debuginfo(build-id)
= 1600464bac31007f3d6a93b14b6da84c7edbe969 debuginfo(build-id)
= 1f0fbcb33f6fb0e34834bb49fc2f8df890863c87 debuginfo(build-id)
= 255222176f19f759bae68b44d63fcc7ed5de94d5 debuginfo(build-id)
= 2a347500ea532eb3b057d89e96a5ab7917e1afca debuginfo(build-id)
= 337ba4e8bd9d41a2dceeca9f311ce8d6feefb9c3 debuginfo(build-id)
= 35783e280f9775cc6654f3c68c7c013fc80838ef debuginfo(build-id)
= 3a3712a5d75ff2082fda9ec8d210941bb2173b62 debuginfo(build-id)
= 3b24ac8443bd6a106bc324d4dafe1cd8d91fd341 debuginfo(build-id)
= 3b6346fe6476d8a3b3f76597dbfbaf3b56b2e425 debuginfo(build-id)
= 5302a642a0124fd94a99a04c11882afe1561fe6c debuginfo(build-id)
= 5411e3e028a69926800b62c1acff4ce9d89cba50 debuginfo(build-id)
= 5627483e5e497bb49bedec912ed247e4e38d6615 debuginfo(build-id)
= 58b586e63f5ebad610f8b1d4466f53f3b2280a47 debuginfo(build-id)
= 5900dc9f3f81ee038cf4165c8121d23090f9813b debuginfo(build-id)
= 6aa7ff48c38b21de91852da8f90ae95a0ab3d560 debuginfo(build-id)
= 754a964bf901aeb0664f41b39a4ab350b92825fe debuginfo(build-id)
= 75f8f8a4ac5515cb88a12334019cfb6af60d65f6 debuginfo(build-id)
= 7a8b769fe16f7235d4192b20cef8128bdd15226d debuginfo(build-id)
= 7aa0384bc43f95613eaad8f114c5d93db410f7a0 debuginfo(build-id)
= 7e1c43b5908e2bb555ef0b916ae4df8f7808dd50 debuginfo(build-id)
= 802794cc514ccb231d2494e626171e5e57f34a20 debuginfo(build-id)
= 834848b95423ad50ff18ce4f88c4010c75d27fb7 debuginfo(build-id)
= 89a2df9855b1ed7435ed1397c58918c17f92e84a debuginfo(build-id)
= 89e25e137c0e04783f07b5499cfce23dd91c79c9 debuginfo(build-id)
= 8b800ca57d22b8e3f172420806389e0c2239f60a debuginfo(build-id)
= 8f90dc8e259bf74b08cbb89ee0426b84ac8fca73 debuginfo(build-id)
= 912105f76930cdb89c407c45f0f25192d14c5e8c debuginfo(build-id)
= 92867e7096f562840926c2b546c4dbaef3a16f92 debuginfo(build-id)
= 96f929b35762a08e82c1f8621c1ca69985f0de51 debuginfo(build-id)
= 97836281238ea44af200df03ecf5b8615f0f8010 debuginfo(build-id)
= 99bef1404e45762214bb08e0acac334521b85623 debuginfo(build-id)
= a8cfc11862dd686ec7979cd1db0418666e9d6dd8 debuginfo(build-id)
= ac7f5aea93c39adc2785583e15cdc660e86f7c43 debuginfo(build-id)
= aed705266f7054d77a49e356ce022a5d1bd11aa2 debuginfo(build-id)
= b2fd78cf9f7c7fee057b1dabfdf25aa94244abe1 debuginfo(build-id)
= b82483d16a2e827328393d7afc7706b6e636728e debuginfo(build-id)
= bc5810ae430ebfcd4d5b840ee93a41a5be03bdfa debuginfo(build-id)
= bfb9a69915d08e8f05b4768158fbf81d8154475e debuginfo(build-id)
= c1a6fd90557358c89c4ff346aafc11f48cf84239 debuginfo(build-id)
= c4fa5d4a4a8a13fa10d846e024cdd00dab9ab43e debuginfo(build-id)
= c9bec487134fb93d3588ac970dfe6f5980d80229 debuginfo(build-id)
= d00a5e908ca31aac1c4e69a32a13e8e534b17c94 debuginfo(build-id)
= d4d111bbe3872b9640175262d6a88634b0bcbb23 debuginfo(build-id)
= d621547b13cd459af268b1c4d87a616f39e3dffd debuginfo(build-id)
= d80c0a7bec6eaf250f1f5b4e6bc28c91e15d97e1 debuginfo(build-id)
= dc18bbad1f2cb343ee940024eefb92dfae4e37cc debuginfo(build-id)
= dda4efb5e2618a5b24dac6ca39b91b80961846f3 debuginfo(build-id)
= dfbbacf25a4b22cd9f515c69c360b75e05c00be5 debuginfo(build-id)
= e05fd5885e95f7659b981c354e92f561e79c8292 debuginfo(build-id)
= e20781f7d9b82594ef744a5c8da5c0e97b32b8a3 debuginfo(build-id)
= e411a4ad1f468f54fe8a31feef36a479473ce92f debuginfo(build-id)
= e75544831924cd2912f66077698d8458e60b184e debuginfo(build-id)
= e95e401f6102d86ecd004ce06081bb976d24257d debuginfo(build-id)
= ecf455900c1afce95f190314dfd36344884a109b debuginfo(build-id)
= ee728988f008a51e7734b702c6cbc9649d091397 debuginfo(build-id)
= f64e79433e27b6672ec66e83efc36143b547fdd0 debuginfo(build-id)
= fa58bf43062ee628fea3fbe14df04e6f474d36c3 debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

    dnf install coq-core-debuginfo-8.16.0-1.fc37.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/0d/8ae6be8ae3f29562e09554fc1fff26526d98d0
/usr/lib/debug/.build-id/0d/8ae6be8ae3f29562e09554fc1fff26526d98d0.debug
/usr/lib/debug/.build-id/0d/aa0c5d11974d4d7eec9fcda08c4dc1062e7a22
/usr/lib/debug/.build-id/0d/aa0c5d11974d4d7eec9fcda08c4dc1062e7a22.debug
/usr/lib/debug/.build-id/16/00464bac31007f3d6a93b14b6da84c7edbe969
/usr/lib/debug/.build-id/16/00464bac31007f3d6a93b14b6da84c7edbe969.debug
/usr/lib/debug/.build-id/1f/0fbcb33f6fb0e34834bb49fc2f8df890863c87
/usr/lib/debug/.build-id/1f/0fbcb33f6fb0e34834bb49fc2f8df890863c87.debug
/usr/lib/debug/.build-id/25/5222176f19f759bae68b44d63fcc7ed5de94d5
/usr/lib/debug/.build-id/25/5222176f19f759bae68b44d63fcc7ed5de94d5.debug
/usr/lib/debug/.build-id/2a/347500ea532eb3b057d89e96a5ab7917e1afca
/usr/lib/debug/.build-id/2a/347500ea532eb3b057d89e96a5ab7917e1afca.debug
/usr/lib/debug/.build-id/33/7ba4e8bd9d41a2dceeca9f311ce8d6feefb9c3
/usr/lib/debug/.build-id/33/7ba4e8bd9d41a2dceeca9f311ce8d6feefb9c3.debug
/usr/lib/debug/.build-id/35/783e280f9775cc6654f3c68c7c013fc80838ef
/usr/lib/debug/.build-id/35/783e280f9775cc6654f3c68c7c013fc80838ef.debug
/usr/lib/debug/.build-id/3a/3712a5d75ff2082fda9ec8d210941bb2173b62
/usr/lib/debug/.build-id/3a/3712a5d75ff2082fda9ec8d210941bb2173b62.debug
/usr/lib/debug/.build-id/3b/24ac8443bd6a106bc324d4dafe1cd8d91fd341
/usr/lib/debug/.build-id/3b/24ac8443bd6a106bc324d4dafe1cd8d91fd341.debug
/usr/lib/debug/.build-id/3b/6346fe6476d8a3b3f76597dbfbaf3b56b2e425
/usr/lib/debug/.build-id/3b/6346fe6476d8a3b3f76597dbfbaf3b56b2e425.debug
/usr/lib/debug/.build-id/53/02a642a0124fd94a99a04c11882afe1561fe6c
/usr/lib/debug/.build-id/53/02a642a0124fd94a99a04c11882afe1561fe6c.debug
/usr/lib/debug/.build-id/54/11e3e028a69926800b62c1acff4ce9d89cba50
/usr/lib/debug/.build-id/54/11e3e028a69926800b62c1acff4ce9d89cba50.debug
/usr/lib/debug/.build-id/56/27483e5e497bb49bedec912ed247e4e38d6615
/usr/lib/debug/.build-id/56/27483e5e497bb49bedec912ed247e4e38d6615.debug
/usr/lib/debug/.build-id/58/b586e63f5ebad610f8b1d4466f53f3b2280a47
/usr/lib/debug/.build-id/58/b586e63f5ebad610f8b1d4466f53f3b2280a47.debug
/usr/lib/debug/.build-id/59/00dc9f3f81ee038cf4165c8121d23090f9813b
/usr/lib/debug/.build-id/59/00dc9f3f81ee038cf4165c8121d23090f9813b.debug
/usr/lib/debug/.build-id/6a/a7ff48c38b21de91852da8f90ae95a0ab3d560
/usr/lib/debug/.build-id/6a/a7ff48c38b21de91852da8f90ae95a0ab3d560.debug
/usr/lib/debug/.build-id/75/4a964bf901aeb0664f41b39a4ab350b92825fe
/usr/lib/debug/.build-id/75/4a964bf901aeb0664f41b39a4ab350b92825fe.debug
/usr/lib/debug/.build-id/75/f8f8a4ac5515cb88a12334019cfb6af60d65f6
/usr/lib/debug/.build-id/75/f8f8a4ac5515cb88a12334019cfb6af60d65f6.debug
/usr/lib/debug/.build-id/7a/8b769fe16f7235d4192b20cef8128bdd15226d
/usr/lib/debug/.build-id/7a/8b769fe16f7235d4192b20cef8128bdd15226d.debug
/usr/lib/debug/.build-id/7a/a0384bc43f95613eaad8f114c5d93db410f7a0
/usr/lib/debug/.build-id/7a/a0384bc43f95613eaad8f114c5d93db410f7a0.debug
/usr/lib/debug/.build-id/7e/1c43b5908e2bb555ef0b916ae4df8f7808dd50
/usr/lib/debug/.build-id/7e/1c43b5908e2bb555ef0b916ae4df8f7808dd50.debug
/usr/lib/debug/.build-id/80/2794cc514ccb231d2494e626171e5e57f34a20
/usr/lib/debug/.build-id/80/2794cc514ccb231d2494e626171e5e57f34a20.debug
/usr/lib/debug/.build-id/83/4848b95423ad50ff18ce4f88c4010c75d27fb7
/usr/lib/debug/.build-id/83/4848b95423ad50ff18ce4f88c4010c75d27fb7.debug
... and 185 more


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

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

2022-06-19

Upgrade to 8.15.2
OCaml 4.14.0 rebuild

2022-03-25

Version 8.15.1

2022-02-28

Version 8.15.0

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-19

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

2021-12-27

Rebuild for ocaml-lablgtk3 3.1.2

2021-11-30

Version 8.14.1

2021-10-21

Version 8.14.0
Add -core subpackage

2021-10-05

OCaml 4.13.1 build

2021-10-04

Try to build on s390x with OCaml 4.13