معرفی شرکت ها

coq-core-debuginfo-8.16.0-1.fc37.x86_64.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 x86_64
نام بسته coq-core-debuginfo
نام فایل بسته coq-core-debuginfo-8.16.0-1.fc37.x86_64.rpm
نسخه بسته 8.16.0
انتشار بسته 1.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 02
هاست سازنده buildhw-x86-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 8.4M
حجم نصب 61.196M
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.aarch64.rpm 8.16.0 aarch64 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(x86-64)


ارائه دهنده

مقدار نام
= 8.16.0-1.fc37 coq-core-debuginfo
= 8.16.0-1.fc37 coq-core-debuginfo(x86-64)
= 05cace95f30d3124736e634e42ff92a552d7b938 debuginfo(build-id)
= 09cf424d5c7130b3086b5029a13c70113a02756e debuginfo(build-id)
= 0bec0e52714323b4f242c2a99189db5dc74976e2 debuginfo(build-id)
= 0d25355487d30d289dda79831d6a2795e13d63dc debuginfo(build-id)
= 0e2ce7358adc293a30b7a24b4a65a503a01880e2 debuginfo(build-id)
= 14c61b96243c3244a1f1f66bc06653a123547d3f debuginfo(build-id)
= 216d2588dc0c320c6b560a302c18f7f67385f6ca debuginfo(build-id)
= 274ab30fd90c59d3fcecf692637205dab548d370 debuginfo(build-id)
= 2afa9bd7fe606af6d57992808e5cb8258cc44fc0 debuginfo(build-id)
= 2d4fec1e34e7d054e0879a186e5fb64acf1cbd63 debuginfo(build-id)
= 2fa50aed829b4888dde9fb8fbaad5f7bf7b5b894 debuginfo(build-id)
= 313a2fe15964633bb5a497af6363ea19e6f10c2f debuginfo(build-id)
= 33f49d09de0a8139bcf50c344e33c23d35fb2410 debuginfo(build-id)
= 34329a55ce00fa849e14264a66abd86032ed43a0 debuginfo(build-id)
= 35b1a0f31abe4958f52a2c088f1173b895a01363 debuginfo(build-id)
= 3b42774321792dfbc98bf56c51a8193ddb61c1ce debuginfo(build-id)
= 3d0aa9afdce16206ad51aa7ab0d38fb444d9dba5 debuginfo(build-id)
= 3d2fa26b5d63f5389280dba8bd85877f4acb94c3 debuginfo(build-id)
= 451bdd903b6076fb6446892cdea2c8cb38433224 debuginfo(build-id)
= 464b6737eb38385ab7bb82343956e52aa7ecfa2b debuginfo(build-id)
= 4aef8153c4a0be816bad21d345c681ebc342032c debuginfo(build-id)
= 4ca0e7d52ea3ef87ae2d429ac05a96b9c90b2bdb debuginfo(build-id)
= 4cc80390bdc2fa59ebcd89ba9f045b78d85125e1 debuginfo(build-id)
= 68e32946d3a457ce82a766812b33f4b0cf2f9e3d debuginfo(build-id)
= 69e9f55dd11abc7637889b30aa0cb5d8773bf6f7 debuginfo(build-id)
= 738afe0a3275a3de340c8096c09089ef98fb1e6d debuginfo(build-id)
= 75d2e59a6fd18636c814ab891f40f6aac91035c2 debuginfo(build-id)
= 7c556285beaf7980168f6a5c2908e80c3e0ee8b2 debuginfo(build-id)
= 7c94a73b112a3a33423c57b8f3a81d82e4369e70 debuginfo(build-id)
= 8341613b1d933c342d74605cd3fbe5db91a02185 debuginfo(build-id)
= 88b26df82c470dec5fa547ec505cceba4db7d2b8 debuginfo(build-id)
= 88fbc8cf7320b61053e7c12570a6684c4547ec9e debuginfo(build-id)
= 890350624713df4e9c6038195749c0245b29db51 debuginfo(build-id)
= 8d289f77040dcbbd0d58277771764a77c62446c1 debuginfo(build-id)
= 8d9209a548011b68805833586fb1856252d1f96a debuginfo(build-id)
= 92eef9a782e88e528cb41e61fcf2bbe7b86c5bef debuginfo(build-id)
= 996d5363ef4912cc3a513e67c419161bf0c431f0 debuginfo(build-id)
= 9982bc3f44f482c33f96cf521870c70b55131526 debuginfo(build-id)
= 9e5087ba9fc3cfe3b59139ace60b9f31cb695f9b debuginfo(build-id)
= abf476cb048dd29159fdff965a90bb7e53adaf64 debuginfo(build-id)
= ae70f8e42d7b6636f1f8dc63b3cd3afc87ce1d7a debuginfo(build-id)
= b1fe68a6ed4c462d4a409cfd95eefd7fd25a2ad6 debuginfo(build-id)
= baf77c35a93461fdf738d3f00593e5985fbe013b debuginfo(build-id)
= bcba3efe78a54f04f0c301fd1cac956bd0c221f3 debuginfo(build-id)
= bd06f582a092b273b43912465a723a8b487ccad4 debuginfo(build-id)
= c0e4659f377baabbf751407840a1d5bb7e89119a debuginfo(build-id)
= c3d1270425d481108b041413fc9e3a3d9c52d2bd debuginfo(build-id)
= c4201908dff6f0db58bf66cb9ed2d52cb51985f3 debuginfo(build-id)
= c6f6c296abcb6dd12d0ace69b85d90525e407416 debuginfo(build-id)
= c98c1f46e3cd4d3d58d8271631d290ce0ae121f9 debuginfo(build-id)
= cd7300648e873e7e46a1be95f13fb33c90e7bf3a debuginfo(build-id)
= ce43969f5a9f6dcc9a4d7d7d119345f87e649cc3 debuginfo(build-id)
= dc34e38b355efd292ffaefb65f0c18162667a799 debuginfo(build-id)
= e133ea3f9bcd54f554d58bef89fcf9e8365809dd debuginfo(build-id)
= e8946a872c7ce16ccc67dde25f3aaab7c790b3e6 debuginfo(build-id)
= e980c2bfedd9c1de469e58129376e91836798613 debuginfo(build-id)
= ead8b85780b805acf68cee2900fa098cee544817 debuginfo(build-id)
= f29ccf790eba60c1abb98979e8b22b78b2402e07 debuginfo(build-id)
= f9f6ceb47f53a734818e6503597daa978224b259 debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/cace95f30d3124736e634e42ff92a552d7b938
/usr/lib/debug/.build-id/05/cace95f30d3124736e634e42ff92a552d7b938.debug
/usr/lib/debug/.build-id/09/cf424d5c7130b3086b5029a13c70113a02756e
/usr/lib/debug/.build-id/09/cf424d5c7130b3086b5029a13c70113a02756e.debug
/usr/lib/debug/.build-id/0b/ec0e52714323b4f242c2a99189db5dc74976e2
/usr/lib/debug/.build-id/0b/ec0e52714323b4f242c2a99189db5dc74976e2.debug
/usr/lib/debug/.build-id/0d/25355487d30d289dda79831d6a2795e13d63dc
/usr/lib/debug/.build-id/0d/25355487d30d289dda79831d6a2795e13d63dc.debug
/usr/lib/debug/.build-id/0e/2ce7358adc293a30b7a24b4a65a503a01880e2
/usr/lib/debug/.build-id/0e/2ce7358adc293a30b7a24b4a65a503a01880e2.debug
/usr/lib/debug/.build-id/14/c61b96243c3244a1f1f66bc06653a123547d3f
/usr/lib/debug/.build-id/14/c61b96243c3244a1f1f66bc06653a123547d3f.debug
/usr/lib/debug/.build-id/21/6d2588dc0c320c6b560a302c18f7f67385f6ca
/usr/lib/debug/.build-id/21/6d2588dc0c320c6b560a302c18f7f67385f6ca.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/4ab30fd90c59d3fcecf692637205dab548d370
/usr/lib/debug/.build-id/27/4ab30fd90c59d3fcecf692637205dab548d370.debug
/usr/lib/debug/.build-id/2a/fa9bd7fe606af6d57992808e5cb8258cc44fc0
/usr/lib/debug/.build-id/2a/fa9bd7fe606af6d57992808e5cb8258cc44fc0.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/4fec1e34e7d054e0879a186e5fb64acf1cbd63
/usr/lib/debug/.build-id/2d/4fec1e34e7d054e0879a186e5fb64acf1cbd63.debug
/usr/lib/debug/.build-id/2f/a50aed829b4888dde9fb8fbaad5f7bf7b5b894
/usr/lib/debug/.build-id/2f/a50aed829b4888dde9fb8fbaad5f7bf7b5b894.debug
/usr/lib/debug/.build-id/31/3a2fe15964633bb5a497af6363ea19e6f10c2f
/usr/lib/debug/.build-id/31/3a2fe15964633bb5a497af6363ea19e6f10c2f.debug
/usr/lib/debug/.build-id/33/f49d09de0a8139bcf50c344e33c23d35fb2410
/usr/lib/debug/.build-id/33/f49d09de0a8139bcf50c344e33c23d35fb2410.debug
/usr/lib/debug/.build-id/34/329a55ce00fa849e14264a66abd86032ed43a0
/usr/lib/debug/.build-id/34/329a55ce00fa849e14264a66abd86032ed43a0.debug
/usr/lib/debug/.build-id/35/b1a0f31abe4958f52a2c088f1173b895a01363
/usr/lib/debug/.build-id/35/b1a0f31abe4958f52a2c088f1173b895a01363.debug
/usr/lib/debug/.build-id/3b/42774321792dfbc98bf56c51a8193ddb61c1ce
/usr/lib/debug/.build-id/3b/42774321792dfbc98bf56c51a8193ddb61c1ce.debug
/usr/lib/debug/.build-id/3d/0aa9afdce16206ad51aa7ab0d38fb444d9dba5
/usr/lib/debug/.build-id/3d/0aa9afdce16206ad51aa7ab0d38fb444d9dba5.debug
/usr/lib/debug/.build-id/3d/2fa26b5d63f5389280dba8bd85877f4acb94c3
/usr/lib/debug/.build-id/3d/2fa26b5d63f5389280dba8bd85877f4acb94c3.debug
/usr/lib/debug/.build-id/45/1bdd903b6076fb6446892cdea2c8cb38433224
/usr/lib/debug/.build-id/45/1bdd903b6076fb6446892cdea2c8cb38433224.debug
/usr/lib/debug/.build-id/46/4b6737eb38385ab7bb82343956e52aa7ecfa2b
/usr/lib/debug/.build-id/46/4b6737eb38385ab7bb82343956e52aa7ecfa2b.debug
/usr/lib/debug/.build-id/4a/ef8153c4a0be816bad21d345c681ebc342032c
/usr/lib/debug/.build-id/4a/ef8153c4a0be816bad21d345c681ebc342032c.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/a0e7d52ea3ef87ae2d429ac05a96b9c90b2bdb
/usr/lib/debug/.build-id/4c/a0e7d52ea3ef87ae2d429ac05a96b9c90b2bdb.debug
... and 188 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