معرفی شرکت ها

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


ارائه دهنده

مقدار نام
= 8.16.1-3.fc38 coq-core-debuginfo
= 8.16.1-3.fc38 coq-core-debuginfo(aarch-64)
= 00f68cd777151f6c740c972017fc52f2ac87be83 debuginfo(build-id)
= 02fb1be5ce03fa09a0c3fc8d74eb50765d1aa3bd debuginfo(build-id)
= 095828ec98b82f962a64ae54a12f46c3071c0446 debuginfo(build-id)
= 0c509a3c815c5127fa420b0cbd9e35ddd4cdcad9 debuginfo(build-id)
= 0e2b7f2493e8a0d56485ae9a5bcbbc1ec2da32da debuginfo(build-id)
= 1208c0361c7fd4aeee1afcbdefba89f8aae6e3a6 debuginfo(build-id)
= 142fa174ea10f49ad337be86fe4a253cfd7da88b debuginfo(build-id)
= 14a1e1ff9c7674e2eca3a9094a0f45407deb7874 debuginfo(build-id)
= 15e5fd738c70c3485bafd3a897310c08637cc30e debuginfo(build-id)
= 192f8687e3337650f0360b351f167042dcfac1c0 debuginfo(build-id)
= 1a31f4f3aaf45a106ff29d56dba14253488921c5 debuginfo(build-id)
= 1a82dd80a23d6e19d7f26f25634a8e7c9c492e36 debuginfo(build-id)
= 1e7758669f7775e0f4ed11759a1edc648bd10ba3 debuginfo(build-id)
= 2086d5dbaa1d471cce475b7d3d10907a36cd5331 debuginfo(build-id)
= 233f716e988ff2164a75314d65e49c48adf9b546 debuginfo(build-id)
= 2965c66880ff4e371b0cbf9902edda372cbda864 debuginfo(build-id)
= 2be00b2a2568d09a38004c5558186bc582052958 debuginfo(build-id)
= 2d3b144d0aced48fc7c46e1dc14b25d025bd00b4 debuginfo(build-id)
= 2e3f7452f4731bd7341be51adf2ae5d8d12b6fde debuginfo(build-id)
= 31323eb330cccdb05b5089c5a47fdc54bae386db debuginfo(build-id)
= 36f85c41e3d67df9471192b76e088980e0b8b400 debuginfo(build-id)
= 3a58f7b15f0c0ec3d861983c2da1732ab3db71a6 debuginfo(build-id)
= 3cfd419a614c1336307076a4b235e493c7e866fc debuginfo(build-id)
= 3eba72696b48567a4248c88a3f150d9af08cefd3 debuginfo(build-id)
= 421692e195760811862c940808d91e8cb5cb2965 debuginfo(build-id)
= 46397f98b9f2d890b82b04c7270138bd9d153c41 debuginfo(build-id)
= 5db05f4bb222e1044cddce3eafeb8e0867762a36 debuginfo(build-id)
= 5f25e9f038a069ebb140e5ca58dbaae7a2e29eea debuginfo(build-id)
= 6271204c2f6605e82a6e3d306e437e0be2ced5ad debuginfo(build-id)
= 6e8b4ee76073d1d9d40005eec39201051e183c7f debuginfo(build-id)
= 6fbb30a48d8a7f9eafc20d201dd2b4fa0a60df0e debuginfo(build-id)
= 71a35d332fbc2867518959660fd05ec5820d76c1 debuginfo(build-id)
= 745b985bcb39e08e5b1d9c31b98fd2644583912f debuginfo(build-id)
= 7b299a735e0bfedc04e54cc3ce99b2bc409b692d debuginfo(build-id)
= 7ffaf235962231b1718fa4abdbdd9e66ce825e75 debuginfo(build-id)
= 815e361a8530aa2e3bc315dd22455e08531c020f debuginfo(build-id)
= 882ec14258703e3eb446af76330f93e1bd4bfffc debuginfo(build-id)
= 937dc13053fd6d9bcb0058a74f4392b6ecb4e8d4 debuginfo(build-id)
= 948d330bc02b1c2181b0762eaa57e91d027cf413 debuginfo(build-id)
= 9d88833c100b5d0436ea0725a827fc79aa98c636 debuginfo(build-id)
= 9dc5525c311841978fad21ec685885b103f7bde0 debuginfo(build-id)
= 9f1d57134da013b68e6f86f26fec1f8531470055 debuginfo(build-id)
= b305eaabf8b97379a9c556f030b3a36e87f5c29e debuginfo(build-id)
= b631691624be8e07c4e56ab7262e6489e8d20ed5 debuginfo(build-id)
= b9af1e7075094d00c7d71add95bf1a140ffa8515 debuginfo(build-id)
= ba8693ba235fc79e092a7be3aff9269b4d93be5a debuginfo(build-id)
= bea9268221798377de2df91052e00f62d8a97465 debuginfo(build-id)
= c539e7feef9992c6e8db346bb8436bcb0775974d debuginfo(build-id)
= c65cc7238bac11a60609e560ad72f433895b91c3 debuginfo(build-id)
= c995393bdfc79cb2390be155a8cd028d5f032d56 debuginfo(build-id)
= cc451508124e6bb8ef1fec4ed3961d96c811941e debuginfo(build-id)
= db17dfab74e7ebd589c08c599b8a3a797a024987 debuginfo(build-id)
= e2880093da4cdb1f2013790fb03cc34cdd941c70 debuginfo(build-id)
= e665d2c3279f9d4deb817703ea8990bb963b498f debuginfo(build-id)
= f0cfb612b6f1143dc82594dfa19d416ff564b84d debuginfo(build-id)
= f175500fa8a9fed8c7a80cdb1d8b064d9c1dbc38 debuginfo(build-id)
= f379aaf5732c173e4189e29fe8f6760f39b186b0 debuginfo(build-id)
= faeecf8c930300e2983d26343cde4f56f8eaa406 debuginfo(build-id)
= fcdedc588083dc3f85f84938ad47b1a981c5d17c debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00/f68cd777151f6c740c972017fc52f2ac87be83
/usr/lib/debug/.build-id/00/f68cd777151f6c740c972017fc52f2ac87be83.debug
/usr/lib/debug/.build-id/02/fb1be5ce03fa09a0c3fc8d74eb50765d1aa3bd
/usr/lib/debug/.build-id/02/fb1be5ce03fa09a0c3fc8d74eb50765d1aa3bd.debug
/usr/lib/debug/.build-id/09/5828ec98b82f962a64ae54a12f46c3071c0446
/usr/lib/debug/.build-id/09/5828ec98b82f962a64ae54a12f46c3071c0446.debug
/usr/lib/debug/.build-id/0c/509a3c815c5127fa420b0cbd9e35ddd4cdcad9
/usr/lib/debug/.build-id/0c/509a3c815c5127fa420b0cbd9e35ddd4cdcad9.debug
/usr/lib/debug/.build-id/0e/2b7f2493e8a0d56485ae9a5bcbbc1ec2da32da
/usr/lib/debug/.build-id/0e/2b7f2493e8a0d56485ae9a5bcbbc1ec2da32da.debug
/usr/lib/debug/.build-id/12/08c0361c7fd4aeee1afcbdefba89f8aae6e3a6
/usr/lib/debug/.build-id/12/08c0361c7fd4aeee1afcbdefba89f8aae6e3a6.debug
/usr/lib/debug/.build-id/14/2fa174ea10f49ad337be86fe4a253cfd7da88b
/usr/lib/debug/.build-id/14/2fa174ea10f49ad337be86fe4a253cfd7da88b.debug
/usr/lib/debug/.build-id/14/a1e1ff9c7674e2eca3a9094a0f45407deb7874
/usr/lib/debug/.build-id/14/a1e1ff9c7674e2eca3a9094a0f45407deb7874.debug
/usr/lib/debug/.build-id/15/e5fd738c70c3485bafd3a897310c08637cc30e
/usr/lib/debug/.build-id/15/e5fd738c70c3485bafd3a897310c08637cc30e.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/2f8687e3337650f0360b351f167042dcfac1c0
/usr/lib/debug/.build-id/19/2f8687e3337650f0360b351f167042dcfac1c0.debug
/usr/lib/debug/.build-id/1a/31f4f3aaf45a106ff29d56dba14253488921c5
/usr/lib/debug/.build-id/1a/31f4f3aaf45a106ff29d56dba14253488921c5.debug
/usr/lib/debug/.build-id/1a/82dd80a23d6e19d7f26f25634a8e7c9c492e36
/usr/lib/debug/.build-id/1a/82dd80a23d6e19d7f26f25634a8e7c9c492e36.debug
/usr/lib/debug/.build-id/1e/7758669f7775e0f4ed11759a1edc648bd10ba3
/usr/lib/debug/.build-id/1e/7758669f7775e0f4ed11759a1edc648bd10ba3.debug
/usr/lib/debug/.build-id/20/86d5dbaa1d471cce475b7d3d10907a36cd5331
/usr/lib/debug/.build-id/20/86d5dbaa1d471cce475b7d3d10907a36cd5331.debug
/usr/lib/debug/.build-id/23/3f716e988ff2164a75314d65e49c48adf9b546
/usr/lib/debug/.build-id/23/3f716e988ff2164a75314d65e49c48adf9b546.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/65c66880ff4e371b0cbf9902edda372cbda864
/usr/lib/debug/.build-id/29/65c66880ff4e371b0cbf9902edda372cbda864.debug
/usr/lib/debug/.build-id/2b/e00b2a2568d09a38004c5558186bc582052958
/usr/lib/debug/.build-id/2b/e00b2a2568d09a38004c5558186bc582052958.debug
/usr/lib/debug/.build-id/2d/3b144d0aced48fc7c46e1dc14b25d025bd00b4
/usr/lib/debug/.build-id/2d/3b144d0aced48fc7c46e1dc14b25d025bd00b4.debug
/usr/lib/debug/.build-id/2e/3f7452f4731bd7341be51adf2ae5d8d12b6fde
/usr/lib/debug/.build-id/2e/3f7452f4731bd7341be51adf2ae5d8d12b6fde.debug
/usr/lib/debug/.build-id/31/323eb330cccdb05b5089c5a47fdc54bae386db
/usr/lib/debug/.build-id/31/323eb330cccdb05b5089c5a47fdc54bae386db.debug
/usr/lib/debug/.build-id/36/f85c41e3d67df9471192b76e088980e0b8b400
/usr/lib/debug/.build-id/36/f85c41e3d67df9471192b76e088980e0b8b400.debug
/usr/lib/debug/.build-id/3a/58f7b15f0c0ec3d861983c2da1732ab3db71a6
/usr/lib/debug/.build-id/3a/58f7b15f0c0ec3d861983c2da1732ab3db71a6.debug
/usr/lib/debug/.build-id/3c/fd419a614c1336307076a4b235e493c7e866fc
/usr/lib/debug/.build-id/3c/fd419a614c1336307076a4b235e493c7e866fc.debug
... and 187 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