معرفی شرکت ها

coq-core-debuginfo-8.16.1-3.fc38.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 38
مخزن Fedora Everything x86_64
نام بسته coq-core-debuginfo
نام فایل بسته coq-core-debuginfo-8.16.1-3.fc38.x86_64.rpm
نسخه بسته 8.16.1
انتشار بسته 3.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 07
هاست سازنده buildhw-x86-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 12M
حجم نصب 75.591M
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.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-core-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.16.1-3.fc38 coq-debuginfo(x86-64)


ارائه دهنده

مقدار نام
= 8.16.1-3.fc38 coq-core-debuginfo
= 8.16.1-3.fc38 coq-core-debuginfo(x86-64)
= 00e2e28429a65c4b1d6932416d75a9b53a7d8609 debuginfo(build-id)
= 01488b89b4edbad0e318ec14efadfd98869464a6 debuginfo(build-id)
= 0b2c111f0b8824b7a2cdfad2e65481444b885176 debuginfo(build-id)
= 0c7203da84fcc8adec0b927bdba109484a74031c debuginfo(build-id)
= 103f080b29730ef507d04b9f7105c9a1a292c709 debuginfo(build-id)
= 187ef3d30a89193ea3cd166d80ac3107834c6545 debuginfo(build-id)
= 1968080f612f1e699c09dcd824fc3d17ed54263d debuginfo(build-id)
= 2233d6509ba6508452b3718367e1c71201fefb9e debuginfo(build-id)
= 264af9da03c53066f009fda69d90fac7c52721bf debuginfo(build-id)
= 27219e53c9fd4be542655c78e7a0cdcaa30b1e08 debuginfo(build-id)
= 28bddbef7ec09f150570b7000ad046c8161894f6 debuginfo(build-id)
= 34f9f96a623cc497e0083eddf6c6e2fdb7fdcefa debuginfo(build-id)
= 3a656c95daa4ce6843d3baa0a8b3903910843944 debuginfo(build-id)
= 41ca2fe3625c9b1673a2cb6a8d068cfd5d21b0ff debuginfo(build-id)
= 50690d5852b8dd833c19ed89613eabfd460326e6 debuginfo(build-id)
= 53c8fa0ba6afdd2c129ada60e967a81590def40d debuginfo(build-id)
= 57abdb5831c7ddb31fc1ca675bba835c2e7e4f73 debuginfo(build-id)
= 57c59c7d7aaca215f1c53192210c8b8e69b0c625 debuginfo(build-id)
= 6658f366bb69c08d7e3d8495c58c40b3dbbbe539 debuginfo(build-id)
= 6af4c7c4e4912dee567d88b73a77c2a6b2150d58 debuginfo(build-id)
= 70ec00f570041b23c68816751d4d32fd10b8973b debuginfo(build-id)
= 739d3334607f2ed3b6688aec7937cb520f5583af debuginfo(build-id)
= 7869ca405e820a93b05c88cc70677f635db85c01 debuginfo(build-id)
= 7bddc08283bb18748d1f32150061b162c2231ff6 debuginfo(build-id)
= 815d59a0302aad7df2aef0693f5a0bebb27f71fe debuginfo(build-id)
= 81797a147a8772f1bcd0d266dc4f648825df58f2 debuginfo(build-id)
= 8606ed188e4e4ea0cf54fb292c30915e3b08521c debuginfo(build-id)
= 863412ab5b059af592666dfbcd6d5b64a10497bb debuginfo(build-id)
= 8b02ab2d158e280b1b81e2c26c05ec84cefe5e92 debuginfo(build-id)
= 8c099e48582e23747de213e2c324f20da4d057f0 debuginfo(build-id)
= 8d19c9f3296d7f2f9236a77001aa25396ae7e45e debuginfo(build-id)
= 8f5076b81ddbc049b16088b08145802b2f5a7be2 debuginfo(build-id)
= 8f580e518d362e716e222f4aa78b88d107853bcb debuginfo(build-id)
= 8fbbe673d1f77b76f241e5886af9ee079701336c debuginfo(build-id)
= 90f304eb5f4f2132f1f68855e7503c484fb348af debuginfo(build-id)
= 91488b824ec960e5152630f74a9e0bcfdef31a76 debuginfo(build-id)
= 978f460d1c58a92653a92da1de5753af12778130 debuginfo(build-id)
= 983d4e2c91cd1de140387e6b1729733eb693bb3c debuginfo(build-id)
= 9b4c633c49cbfebb6fc5d78a49a781604a42863a debuginfo(build-id)
= a1d26d76c90fa3fc58096ccff1179a2586426eaf debuginfo(build-id)
= a8ab7c2683bbf3d89fb4e5b1bd4e699dca4f1b37 debuginfo(build-id)
= aaf8232ac5242bda5ff9b816cd0ffd3c0dfa70c7 debuginfo(build-id)
= bc473102d241c9bf31fc6b2a6e2801dc1f842128 debuginfo(build-id)
= be1fd5a40a6ab681b2f85c9077444acb64d0f516 debuginfo(build-id)
= c25e8972d5a007f2664025b905facb9f06fc9b5a debuginfo(build-id)
= c3ac81a6b8d4cc95268ff046df498bdabc4106f7 debuginfo(build-id)
= cccff86406cc3904f84f774a02fc80b26876a374 debuginfo(build-id)
= cd303469e60e22b1131518393619b39e451b0b30 debuginfo(build-id)
= cec591fcdd1aba973edc139123a109583312507e debuginfo(build-id)
= d160438c2e714f1ea70585fe63ae9a5f386c3576 debuginfo(build-id)
= d3ab41a5726067e5cc25a9ea95f27c6905c8bd19 debuginfo(build-id)
= d40291317fbeffcd26493863eafbdea13c808683 debuginfo(build-id)
= e27744a0767e4288f15ed535a85619b5e10e1c5b debuginfo(build-id)
= e3e7dfe1852206d616119d7232ee41461c19e942 debuginfo(build-id)
= eff5cff49e0a75f2a2d0f06d28e95392b305d50a debuginfo(build-id)
= f47cbeb8e812ee13c2b556fb7b7a616aeb34893b debuginfo(build-id)
= f8bda9a5b9b2cad29a27093c79ae86eaa717c1d5 debuginfo(build-id)
= fcba080eb725a8699c0a81a614138203b94cf813 debuginfo(build-id)
= fe27c9e5a6cf9c2e7044718f8090f4578515f575 debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

    dnf install coq-core-debuginfo-8.16.1-3.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00/e2e28429a65c4b1d6932416d75a9b53a7d8609
/usr/lib/debug/.build-id/00/e2e28429a65c4b1d6932416d75a9b53a7d8609.debug
/usr/lib/debug/.build-id/01/488b89b4edbad0e318ec14efadfd98869464a6
/usr/lib/debug/.build-id/01/488b89b4edbad0e318ec14efadfd98869464a6.debug
/usr/lib/debug/.build-id/0b/2c111f0b8824b7a2cdfad2e65481444b885176
/usr/lib/debug/.build-id/0b/2c111f0b8824b7a2cdfad2e65481444b885176.debug
/usr/lib/debug/.build-id/0c/7203da84fcc8adec0b927bdba109484a74031c
/usr/lib/debug/.build-id/0c/7203da84fcc8adec0b927bdba109484a74031c.debug
/usr/lib/debug/.build-id/10/3f080b29730ef507d04b9f7105c9a1a292c709
/usr/lib/debug/.build-id/10/3f080b29730ef507d04b9f7105c9a1a292c709.debug
/usr/lib/debug/.build-id/18/7ef3d30a89193ea3cd166d80ac3107834c6545
/usr/lib/debug/.build-id/18/7ef3d30a89193ea3cd166d80ac3107834c6545.debug
/usr/lib/debug/.build-id/19/68080f612f1e699c09dcd824fc3d17ed54263d
/usr/lib/debug/.build-id/19/68080f612f1e699c09dcd824fc3d17ed54263d.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/33d6509ba6508452b3718367e1c71201fefb9e
/usr/lib/debug/.build-id/22/33d6509ba6508452b3718367e1c71201fefb9e.debug
/usr/lib/debug/.build-id/26/4af9da03c53066f009fda69d90fac7c52721bf
/usr/lib/debug/.build-id/26/4af9da03c53066f009fda69d90fac7c52721bf.debug
/usr/lib/debug/.build-id/27/219e53c9fd4be542655c78e7a0cdcaa30b1e08
/usr/lib/debug/.build-id/27/219e53c9fd4be542655c78e7a0cdcaa30b1e08.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/bddbef7ec09f150570b7000ad046c8161894f6
/usr/lib/debug/.build-id/28/bddbef7ec09f150570b7000ad046c8161894f6.debug
/usr/lib/debug/.build-id/34/f9f96a623cc497e0083eddf6c6e2fdb7fdcefa
/usr/lib/debug/.build-id/34/f9f96a623cc497e0083eddf6c6e2fdb7fdcefa.debug
/usr/lib/debug/.build-id/3a/656c95daa4ce6843d3baa0a8b3903910843944
/usr/lib/debug/.build-id/3a/656c95daa4ce6843d3baa0a8b3903910843944.debug
/usr/lib/debug/.build-id/41/ca2fe3625c9b1673a2cb6a8d068cfd5d21b0ff
/usr/lib/debug/.build-id/41/ca2fe3625c9b1673a2cb6a8d068cfd5d21b0ff.debug
/usr/lib/debug/.build-id/50/690d5852b8dd833c19ed89613eabfd460326e6
/usr/lib/debug/.build-id/50/690d5852b8dd833c19ed89613eabfd460326e6.debug
/usr/lib/debug/.build-id/53/c8fa0ba6afdd2c129ada60e967a81590def40d
/usr/lib/debug/.build-id/53/c8fa0ba6afdd2c129ada60e967a81590def40d.debug
/usr/lib/debug/.build-id/57/abdb5831c7ddb31fc1ca675bba835c2e7e4f73
/usr/lib/debug/.build-id/57/abdb5831c7ddb31fc1ca675bba835c2e7e4f73.debug
/usr/lib/debug/.build-id/57/c59c7d7aaca215f1c53192210c8b8e69b0c625
/usr/lib/debug/.build-id/57/c59c7d7aaca215f1c53192210c8b8e69b0c625.debug
/usr/lib/debug/.build-id/66/58f366bb69c08d7e3d8495c58c40b3dbbbe539
/usr/lib/debug/.build-id/66/58f366bb69c08d7e3d8495c58c40b3dbbbe539.debug
/usr/lib/debug/.build-id/6a/f4c7c4e4912dee567d88b73a77c2a6b2150d58
/usr/lib/debug/.build-id/6a/f4c7c4e4912dee567d88b73a77c2a6b2150d58.debug
/usr/lib/debug/.build-id/70/ec00f570041b23c68816751d4d32fd10b8973b
/usr/lib/debug/.build-id/70/ec00f570041b23c68816751d4d32fd10b8973b.debug
/usr/lib/debug/.build-id/73/9d3334607f2ed3b6688aec7937cb520f5583af
/usr/lib/debug/.build-id/73/9d3334607f2ed3b6688aec7937cb520f5583af.debug
/usr/lib/debug/.build-id/78/69ca405e820a93b05c88cc70677f635db85c01
/usr/lib/debug/.build-id/78/69ca405e820a93b05c88cc70677f635db85c01.debug
... and 186 more


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

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

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