معرفی شرکت ها

coq-core-debuginfo-8.16.1-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.1-1.fc37.aarch64.rpm
نسخه بسته 8.16.1
انتشار بسته 1.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sun 27 Nov 2022 06
هاست سازنده buildvm-a64-06.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 9.2M
حجم نصب 60.058M
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.0-1.fc37.x86_64.rpm 8.16.0 x86_64 Fedora Everything
coq-core-debuginfo-8.16.1-1.fc37.x86_64.rpm 8.16.1 x86_64 Fedora Everything


نیازمندی

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


ارائه دهنده

مقدار نام
= 8.16.1-1.fc37 coq-core-debuginfo
= 8.16.1-1.fc37 coq-core-debuginfo(aarch-64)
= 019965cdab4cbceb33631f450b759da1212f78bf debuginfo(build-id)
= 067b99b640e5f02db8b7de3ea57bf25cdf2328ff debuginfo(build-id)
= 08c69b6fde904793d6b9bffdbd0bce1b74ea9e14 debuginfo(build-id)
= 258bd86be66b78d8a5e6974f078bf4bc84f14fae debuginfo(build-id)
= 278962d62e86edd815a07ccd62eb3826549abcf3 debuginfo(build-id)
= 27e02f5edb834ebbbab92f5823cee2b3f6b63b6f debuginfo(build-id)
= 2bbcc7ecdf33a9e0e7c909f7136ddf47015a1d50 debuginfo(build-id)
= 305136dbb2b8a5f9ef94581957b1743180371388 debuginfo(build-id)
= 3146582c424e1f417b5a98daf60711835e54b6d2 debuginfo(build-id)
= 438f28c84e37907300f2510cc11655df3168f975 debuginfo(build-id)
= 481ec9a1416745d8e36572d541f357e7f91963e4 debuginfo(build-id)
= 4883fb509e22c92177d6277b6487b9cd06ba43ca debuginfo(build-id)
= 51764b788602e04245197bdc1efbcce7c36e3d50 debuginfo(build-id)
= 51f7be41f5aab6dfba6d34f99f10029b170cb379 debuginfo(build-id)
= 5515b7b434cb72898431d0c83598a6e5e01b7189 debuginfo(build-id)
= 5a5100b52eb52d3c3b63d3dce17662310ab26627 debuginfo(build-id)
= 5cf32553bd52d7de6f031c4c3138be936605f04e debuginfo(build-id)
= 5f77660f6b555769acce87d285209222b2da0b93 debuginfo(build-id)
= 63d7018dfd75e3b4bce506eb31d4cc4003648d85 debuginfo(build-id)
= 6d294970d06c6d1e3ed615d0a68d7ece21e06c97 debuginfo(build-id)
= 6e603862c6f9ff45d27c1c33fd9f99a1949b991b debuginfo(build-id)
= 74c3da34caddbf4c8be32d938bff3ea811c97e77 debuginfo(build-id)
= 78bb60390f40fda358da221d67e8d1de8aab0c87 debuginfo(build-id)
= 7b7822da56b8d59798b26688e9fb353d9cda1483 debuginfo(build-id)
= 7d82cf26ebeb1664ed4ed2f485db4dbdc1a36f00 debuginfo(build-id)
= 80bb473460f8c19e87276d4ef7f82bcf45c5f02a debuginfo(build-id)
= 830f95757d49147add41ed07014aca964acad198 debuginfo(build-id)
= 83ad4a4320f3d4cb7368556699da7ec1e8a94f11 debuginfo(build-id)
= 8fb042b55d58805515043aec238b1fb74918bcb4 debuginfo(build-id)
= 8fd198743bd3c51305fb3d8ba6bbb7035c54997a debuginfo(build-id)
= 9739b685acc8307339360a484f015a1dd8e1d2b2 debuginfo(build-id)
= 97be318dec439afbd9024bbd5b0d049eb2076cfc debuginfo(build-id)
= 9e3d240963e402e496d40030ffaf9047734e8f82 debuginfo(build-id)
= a071f7664a1a79afeaa562124a2f886bc4e12d6a debuginfo(build-id)
= a3e284be9d129023def0082513edcd621079f0b5 debuginfo(build-id)
= a830c872a95dcaf3a5eaea310202fe68c83d4292 debuginfo(build-id)
= ac615a61c91cfd93db61a11802a2f2f9abf56394 debuginfo(build-id)
= b132fa4430155f2ea06dc228d28fd8d4c6f1e172 debuginfo(build-id)
= bb5e5ee9b17dd198a28e9ac37be564a734efd9a7 debuginfo(build-id)
= bc5e61049c8973c6e20127021300094aee324104 debuginfo(build-id)
= bcbfe0c5cbdbb22f26365c7f3f2e44bae002cf6c debuginfo(build-id)
= bd997fa0bad84d9416cddae5cb16133b0cebee34 debuginfo(build-id)
= c97b81decbfac8f674f52b80320a8b61a74bb86f debuginfo(build-id)
= cb89f3400d59636d1b5bc7e18f0b925e27c8578d debuginfo(build-id)
= cdcc86c6d9d510b59de491a2fc979715ddb15a89 debuginfo(build-id)
= d788d1a3774dac337373bf780a2a2acf3a29ea9b debuginfo(build-id)
= d89200c8060375d7eb9e237a049dea877b7e21cf debuginfo(build-id)
= de496daeb64066ab87c0831461b63de3f5fe9160 debuginfo(build-id)
= df3f4f38df58c4f696c11464d327cc69c0f1ad7e debuginfo(build-id)
= e50ec67da50130eee76cdfeb611db99d0bcf432d debuginfo(build-id)
= e62471c74e5c70a73bb2217e2c1ec07ec67f1bb1 debuginfo(build-id)
= ec0f60fd5b1fc0fed60bc375ddfd8f7e59a656de debuginfo(build-id)
= ecfa2b6070eaea8bd5e0dcc18f00085ab1583850 debuginfo(build-id)
= f35cb476d16ca7ee8f06a15e011700e301f953d3 debuginfo(build-id)
= f6fc88c1f81d1f68db3feb335f316a05f0366990 debuginfo(build-id)
= f8070468403709e118e6441c0f1e906b3d86ca64 debuginfo(build-id)
= f9ca467a26c0776fde39c9f142b37b418f24e7cd debuginfo(build-id)
= fca26d580d3acfd9164c8577f79e51fdf61009ba debuginfo(build-id)
= fd43d2792b3fca535b43c911ac153fffcab686cd debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01/9965cdab4cbceb33631f450b759da1212f78bf
/usr/lib/debug/.build-id/01/9965cdab4cbceb33631f450b759da1212f78bf.debug
/usr/lib/debug/.build-id/06/7b99b640e5f02db8b7de3ea57bf25cdf2328ff
/usr/lib/debug/.build-id/06/7b99b640e5f02db8b7de3ea57bf25cdf2328ff.debug
/usr/lib/debug/.build-id/08/c69b6fde904793d6b9bffdbd0bce1b74ea9e14
/usr/lib/debug/.build-id/08/c69b6fde904793d6b9bffdbd0bce1b74ea9e14.debug
/usr/lib/debug/.build-id/25/8bd86be66b78d8a5e6974f078bf4bc84f14fae
/usr/lib/debug/.build-id/25/8bd86be66b78d8a5e6974f078bf4bc84f14fae.debug
/usr/lib/debug/.build-id/27/8962d62e86edd815a07ccd62eb3826549abcf3
/usr/lib/debug/.build-id/27/8962d62e86edd815a07ccd62eb3826549abcf3.debug
/usr/lib/debug/.build-id/27/e02f5edb834ebbbab92f5823cee2b3f6b63b6f
/usr/lib/debug/.build-id/27/e02f5edb834ebbbab92f5823cee2b3f6b63b6f.debug
/usr/lib/debug/.build-id/2b/bcc7ecdf33a9e0e7c909f7136ddf47015a1d50
/usr/lib/debug/.build-id/2b/bcc7ecdf33a9e0e7c909f7136ddf47015a1d50.debug
/usr/lib/debug/.build-id/30/5136dbb2b8a5f9ef94581957b1743180371388
/usr/lib/debug/.build-id/30/5136dbb2b8a5f9ef94581957b1743180371388.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/46582c424e1f417b5a98daf60711835e54b6d2
/usr/lib/debug/.build-id/31/46582c424e1f417b5a98daf60711835e54b6d2.debug
/usr/lib/debug/.build-id/43/8f28c84e37907300f2510cc11655df3168f975
/usr/lib/debug/.build-id/43/8f28c84e37907300f2510cc11655df3168f975.debug
/usr/lib/debug/.build-id/48/1ec9a1416745d8e36572d541f357e7f91963e4
/usr/lib/debug/.build-id/48/1ec9a1416745d8e36572d541f357e7f91963e4.debug
/usr/lib/debug/.build-id/48/83fb509e22c92177d6277b6487b9cd06ba43ca
/usr/lib/debug/.build-id/48/83fb509e22c92177d6277b6487b9cd06ba43ca.debug
/usr/lib/debug/.build-id/51/764b788602e04245197bdc1efbcce7c36e3d50
/usr/lib/debug/.build-id/51/764b788602e04245197bdc1efbcce7c36e3d50.debug
/usr/lib/debug/.build-id/51/f7be41f5aab6dfba6d34f99f10029b170cb379
/usr/lib/debug/.build-id/51/f7be41f5aab6dfba6d34f99f10029b170cb379.debug
/usr/lib/debug/.build-id/55/15b7b434cb72898431d0c83598a6e5e01b7189
/usr/lib/debug/.build-id/55/15b7b434cb72898431d0c83598a6e5e01b7189.debug
/usr/lib/debug/.build-id/5a/5100b52eb52d3c3b63d3dce17662310ab26627
/usr/lib/debug/.build-id/5a/5100b52eb52d3c3b63d3dce17662310ab26627.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/f32553bd52d7de6f031c4c3138be936605f04e
/usr/lib/debug/.build-id/5c/f32553bd52d7de6f031c4c3138be936605f04e.debug
/usr/lib/debug/.build-id/5f/77660f6b555769acce87d285209222b2da0b93
/usr/lib/debug/.build-id/5f/77660f6b555769acce87d285209222b2da0b93.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/d7018dfd75e3b4bce506eb31d4cc4003648d85
/usr/lib/debug/.build-id/63/d7018dfd75e3b4bce506eb31d4cc4003648d85.debug
/usr/lib/debug/.build-id/6d
/usr/lib/debug/.build-id/6d/294970d06c6d1e3ed615d0a68d7ece21e06c97
/usr/lib/debug/.build-id/6d/294970d06c6d1e3ed615d0a68d7ece21e06c97.debug
/usr/lib/debug/.build-id/6e/603862c6f9ff45d27c1c33fd9f99a1949b991b
/usr/lib/debug/.build-id/6e/603862c6f9ff45d27c1c33fd9f99a1949b991b.debug
/usr/lib/debug/.build-id/74/c3da34caddbf4c8be32d938bff3ea811c97e77
/usr/lib/debug/.build-id/74/c3da34caddbf4c8be32d938bff3ea811c97e77.debug
... and 186 more


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

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

2021-11-30

Version 8.14.1

2021-10-21

Version 8.14.0
Add -core subpackage