معرفی شرکت ها

gappalib-coq-debuginfo-1.5.3-2.fc38.x86_64.rpm

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

Debug information for package gappalib-coq
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته gappalib-coq-debuginfo
نام فایل بسته gappalib-coq-debuginfo-1.5.3-2.fc38.x86_64.rpm
نسخه بسته 1.5.3
انتشار بسته 2.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 07
هاست سازنده buildvm-x86-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/coq
مجوز LGPL-3.0-or-later
حجم دانلود 148K
حجم نصب 857.825K
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-7.fc38.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-7.fc38.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.3-2.fc38.aarch64.rpm 1.5.3 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 02ee1747750199833a19be0a05bd48cbefbaa298 debuginfo(build-id)
= 1e6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf debuginfo(build-id)
= 1f9ca80c20c523c649d2c22e59b44896fc5c0384 debuginfo(build-id)
= 2290afdaea1407b3f0eacb6fe1b43991bc40f2e2 debuginfo(build-id)
= 2c26e108136a04f58a0f87a0ad7cb971d70bbfe3 debuginfo(build-id)
= 49cbf03e8dce42edd2c6d78bd2b579f42e5de704 debuginfo(build-id)
= 4e62cab3cdea19b3fbea280f9a8ca6b870a4e5b1 debuginfo(build-id)
= 58b64a618cefc09cd7c2e6eb9f651810f74e8f1c debuginfo(build-id)
= 5a3a78b86902601a7e45d96f6d90edaa2b511a31 debuginfo(build-id)
= 5aa27920574461dc08c2563e8a02a788eb9a0fb7 debuginfo(build-id)
= 6c1ce447b7c1dc4afb069da166130326458e03cd debuginfo(build-id)
= 8cde602c8e912233dfd8890d0cd61a3fb1a60aec debuginfo(build-id)
= 95e0182d14b5602fb857ff050c68b067f88917b8 debuginfo(build-id)
= 9c030ea622102caa71988520023f696745c1a3af debuginfo(build-id)
= a17dbfc34c63ac1b0b4b5874af7e8d2db6252219 debuginfo(build-id)
= a258193983761ca22fd7a9c013f2d7e5825763dc debuginfo(build-id)
= c143afdb7f4f7bdb4134b2696da9ab6394ef1c75 debuginfo(build-id)
= d35145ba840394fc3cb1b4ab7fcf4b97151bcecd debuginfo(build-id)
= d420dd7d774af802b0472606f35752da29b5250f debuginfo(build-id)
= e0b0243e3d9322bdcb8f0a66be44c5aadf13d9d5 debuginfo(build-id)
= e729a31327298aad7fc86ea55e4570efc4fe00af debuginfo(build-id)
= e954d71ecccda5f4ca373ea918534120ef8379a1 debuginfo(build-id)
= ff65b492739b4d594a0717e4c75f38581199f72b debuginfo(build-id)
= 1.5.3-2.fc38 gappalib-coq-debuginfo
= 1.5.3-2.fc38 gappalib-coq-debuginfo(x86-64)


نحوه نصب


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

    dnf install gappalib-coq-debuginfo-1.5.3-2.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/ee1747750199833a19be0a05bd48cbefbaa298
/usr/lib/debug/.build-id/02/ee1747750199833a19be0a05bd48cbefbaa298.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf
/usr/lib/debug/.build-id/1e/6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/9ca80c20c523c649d2c22e59b44896fc5c0384
/usr/lib/debug/.build-id/1f/9ca80c20c523c649d2c22e59b44896fc5c0384.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/90afdaea1407b3f0eacb6fe1b43991bc40f2e2
/usr/lib/debug/.build-id/22/90afdaea1407b3f0eacb6fe1b43991bc40f2e2.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/26e108136a04f58a0f87a0ad7cb971d70bbfe3
/usr/lib/debug/.build-id/2c/26e108136a04f58a0f87a0ad7cb971d70bbfe3.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/cbf03e8dce42edd2c6d78bd2b579f42e5de704
/usr/lib/debug/.build-id/49/cbf03e8dce42edd2c6d78bd2b579f42e5de704.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/62cab3cdea19b3fbea280f9a8ca6b870a4e5b1
/usr/lib/debug/.build-id/4e/62cab3cdea19b3fbea280f9a8ca6b870a4e5b1.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/b64a618cefc09cd7c2e6eb9f651810f74e8f1c
/usr/lib/debug/.build-id/58/b64a618cefc09cd7c2e6eb9f651810f74e8f1c.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/3a78b86902601a7e45d96f6d90edaa2b511a31
/usr/lib/debug/.build-id/5a/3a78b86902601a7e45d96f6d90edaa2b511a31.debug
/usr/lib/debug/.build-id/5a/a27920574461dc08c2563e8a02a788eb9a0fb7
/usr/lib/debug/.build-id/5a/a27920574461dc08c2563e8a02a788eb9a0fb7.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/1ce447b7c1dc4afb069da166130326458e03cd
/usr/lib/debug/.build-id/6c/1ce447b7c1dc4afb069da166130326458e03cd.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/de602c8e912233dfd8890d0cd61a3fb1a60aec
/usr/lib/debug/.build-id/8c/de602c8e912233dfd8890d0cd61a3fb1a60aec.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/e0182d14b5602fb857ff050c68b067f88917b8
/usr/lib/debug/.build-id/95/e0182d14b5602fb857ff050c68b067f88917b8.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/030ea622102caa71988520023f696745c1a3af
/usr/lib/debug/.build-id/9c/030ea622102caa71988520023f696745c1a3af.debug
/usr/lib/debug/.build-id/a1
/usr/lib/debug/.build-id/a1/7dbfc34c63ac1b0b4b5874af7e8d2db6252219
/usr/lib/debug/.build-id/a1/7dbfc34c63ac1b0b4b5874af7e8d2db6252219.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/58193983761ca22fd7a9c013f2d7e5825763dc
/usr/lib/debug/.build-id/a2/58193983761ca22fd7a9c013f2d7e5825763dc.debug
/usr/lib/debug/.build-id/c1
... and 51 more


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

تاریخ آخرین تغییر جزئیات
2023-10-18

Rebuild for coq 8.17.1

2023-04-01

Version 1.5.3

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

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