معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Debug information for package gappalib-coq

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything aarch64
نام بسته	gappalib-coq-debuginfo
نام فایل بسته	gappalib-coq-debuginfo-1.5.2-5.fc37.aarch64.rpm
نسخه بسته	1.5.2
انتشار بسته	5.fc37
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sun 27 Nov 2022 07
هاست سازنده	buildvm-a64-40.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://gitlab.inria.fr/gappa/coq
مجوز	LGPL-3.0-or-later
حجم دانلود	173K
حجم نصب	879.816K

This package provides debug information for package gappalib-coq. Debug information is useful when developing applications that use this package or when debugging this package.

جایگزین ها

بسته	نسخه	معماری	مخزن
gappalib-coq-debuginfo-1.5.2-4.fc37.aarch64.rpm	1.5.2	aarch64	Fedora Everything
gappalib-coq-debuginfo-1.5.2-4.fc37.x86_64.rpm	1.5.2	x86_64	Fedora Everything
gappalib-coq-debuginfo-1.5.2-5.fc37.x86_64.rpm	1.5.2	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 04d81a2304ae33fe1be1cbebefe352d6fa21dcdf	debuginfo(build-id)
= 2277b56c6b533454ae72a2489af11c8a6da9fbb6	debuginfo(build-id)
= 3433fc0889f06a49b7549657caf4b0310fcd947f	debuginfo(build-id)
= 417810c8551071a38b685761c5f368bf060598e7	debuginfo(build-id)
= 4c65cbeb45431792a137e278bb04b3d5d24d51f9	debuginfo(build-id)
= 523181df3f03263f0fdf1a04cc8e1c1a790434c7	debuginfo(build-id)
= 5a83fa33bc84644cf8e8bbf199383ca62044fd65	debuginfo(build-id)
= 6169419823c00950e9e9c776362fe0947be521a4	debuginfo(build-id)
= 618ac7f62566c2041a91f14010f0684e20b72dec	debuginfo(build-id)
= 6386b001038e42a1314b26cda5d8d5d1438747df	debuginfo(build-id)
= 69a5f2667c0f4e9e66822c889e000f253ab40d3d	debuginfo(build-id)
= 70f4c2f1313339f4c35230047d8c90429d5fb7fa	debuginfo(build-id)
= 766f1632d0c9e71b78003d77315fd1eba27a97b4	debuginfo(build-id)
= 86112218b8c3008f137a40dc926c0ed355480aac	debuginfo(build-id)
= 9400d864fe5007208af31bace691314ab86cc999	debuginfo(build-id)
= b3798a0b9137a42600f9bfe23fe0e44e76900b53	debuginfo(build-id)
= b6b4b2e57497900d7dd90354e33375bf096522c8	debuginfo(build-id)
= b9ef2ed06dda592a527d4e061285e114cd6cd1f5	debuginfo(build-id)
= c540d680c1eca3c6d047d680dbc3c7d72009e4f9	debuginfo(build-id)
= cbf674cca83d8805ed0ff561e0dd3ac5babf2026	debuginfo(build-id)
= de555b4dcb62d6c215abb4b68b622902e0ac8867	debuginfo(build-id)
= df2579facd10a66bc7157d8794f9a852e5377ecc	debuginfo(build-id)
= eb76ffa6221c2fb23c1af28a41c7137c33f42cd8	debuginfo(build-id)
= 1.5.2-5.fc37	gappalib-coq-debuginfo
= 1.5.2-5.fc37	gappalib-coq-debuginfo(aarch-64)

نحوه نصب

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

dnf install gappalib-coq-debuginfo-1.5.2-5.fc37.aarch64.rpm

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/d81a2304ae33fe1be1cbebefe352d6fa21dcdf
/usr/lib/debug/.build-id/04/d81a2304ae33fe1be1cbebefe352d6fa21dcdf.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/77b56c6b533454ae72a2489af11c8a6da9fbb6
/usr/lib/debug/.build-id/22/77b56c6b533454ae72a2489af11c8a6da9fbb6.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/33fc0889f06a49b7549657caf4b0310fcd947f
/usr/lib/debug/.build-id/34/33fc0889f06a49b7549657caf4b0310fcd947f.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/7810c8551071a38b685761c5f368bf060598e7
/usr/lib/debug/.build-id/41/7810c8551071a38b685761c5f368bf060598e7.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/65cbeb45431792a137e278bb04b3d5d24d51f9
/usr/lib/debug/.build-id/4c/65cbeb45431792a137e278bb04b3d5d24d51f9.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/3181df3f03263f0fdf1a04cc8e1c1a790434c7
/usr/lib/debug/.build-id/52/3181df3f03263f0fdf1a04cc8e1c1a790434c7.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/83fa33bc84644cf8e8bbf199383ca62044fd65
/usr/lib/debug/.build-id/5a/83fa33bc84644cf8e8bbf199383ca62044fd65.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/69419823c00950e9e9c776362fe0947be521a4
/usr/lib/debug/.build-id/61/69419823c00950e9e9c776362fe0947be521a4.debug
/usr/lib/debug/.build-id/61/8ac7f62566c2041a91f14010f0684e20b72dec
/usr/lib/debug/.build-id/61/8ac7f62566c2041a91f14010f0684e20b72dec.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/86b001038e42a1314b26cda5d8d5d1438747df
/usr/lib/debug/.build-id/63/86b001038e42a1314b26cda5d8d5d1438747df.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/a5f2667c0f4e9e66822c889e000f253ab40d3d
/usr/lib/debug/.build-id/69/a5f2667c0f4e9e66822c889e000f253ab40d3d.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/f4c2f1313339f4c35230047d8c90429d5fb7fa
/usr/lib/debug/.build-id/70/f4c2f1313339f4c35230047d8c90429d5fb7fa.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/6f1632d0c9e71b78003d77315fd1eba27a97b4
/usr/lib/debug/.build-id/76/6f1632d0c9e71b78003d77315fd1eba27a97b4.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/112218b8c3008f137a40dc926c0ed355480aac
/usr/lib/debug/.build-id/86/112218b8c3008f137a40dc926c0ed355480aac.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/00d864fe5007208af31bace691314ab86cc999
/usr/lib/debug/.build-id/94/00d864fe5007208af31bace691314ab86cc999.debug
/usr/lib/debug/.build-id/b3
/usr/lib/debug/.build-id/b3/798a0b9137a42600f9bfe23fe0e44e76900b53
/usr/lib/debug/.build-id/b3/798a0b9137a42600f9bfe23fe0e44e76900b53.debug
/usr/lib/debug/.build-id/b6
... and 51 more

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

تاریخ آخرین تغییر	جزئیات
2022-11-26	Rebuild for coq 8.16.1
2022-09-16	Rebuild for coq 8.16.0
2022-08-18	Rebuild to fix coq dependency Change license to LGPL-3.0-or-later
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-20	Version 1.5.2
2022-07-19	Remove i686 support Use new OCaml macros
2022-06-19	OCaml 4.14.0 rebuild
2022-03-25	Rebuild for coq 8.15.1
2022-02-28	Version 1.5.1
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-11-30	Rebuild for coq 8.14.1
2021-10-21	Version 1.5.0
2021-10-05	OCaml 4.13.1 build
2021-10-04	Try to build on s390x with OCaml 4.13
2021-07-30	Rebuild for rebuilt coq