معرفی شرکت ها

gappalib-coq-debuginfo-1.5.2-5.fc37.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 37
مخزن Fedora Everything x86_64
نام بسته gappalib-coq-debuginfo
نام فایل بسته gappalib-coq-debuginfo-1.5.2-5.fc37.x86_64.rpm
نسخه بسته 1.5.2
انتشار بسته 5.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sun 27 Nov 2022 07
هاست سازنده buildvm-x86-24.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/coq
مجوز LGPL-3.0-or-later
حجم دانلود 152K
حجم نصب 870.887K
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.aarch64.rpm 1.5.2 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 031d4033796ee53ae563239f473028b0afcba350 debuginfo(build-id)
= 06952b74c5a8dda265ddb9f407874cc652d3cab7 debuginfo(build-id)
= 1f9c8768fda705e6db12c5d4eb96b714167c754a debuginfo(build-id)
= 40e9a61374c2fe60813616c1c1802cd28ac90777 debuginfo(build-id)
= 47b39eb95e3637548015e6b8849a1f91300899a6 debuginfo(build-id)
= 4b3ea0560b998af9e38e1b6c8f70d06f3908d869 debuginfo(build-id)
= 51142a00024065638fb54327290757366d420f4b debuginfo(build-id)
= 52ab5bf3486bf6e17b572241270e8439dcf9d038 debuginfo(build-id)
= 54133cc762d5afe661b9ee70e70663ba7395867b debuginfo(build-id)
= 591b0b982cd96958b1529cc30e0aab8dbb5990eb debuginfo(build-id)
= 65d8f8127f0b07e2f3a907ccc6955fb20d64cb01 debuginfo(build-id)
= 6f6f4988a3ef39519d09d2ba1cb52e66f815b7d2 debuginfo(build-id)
= 718ce54663ba81c30eaf0cfa8d2b6dcb5a68910f debuginfo(build-id)
= 7f4e897fc0621411af3b9b32275f91b52f5b2fbf debuginfo(build-id)
= 805e9fb8672dd6bb592386a7c558ebd1ee083175 debuginfo(build-id)
= 859af7b3a4f888da263d658f8d951710e175ad3b debuginfo(build-id)
= b43d637f28cb652846463858f2b8f01eb51c8e8b debuginfo(build-id)
= cb54657762fd570738e72810394c6abf0a8cab67 debuginfo(build-id)
= cb606cc33070b788692d0a6339c30426c8b374fd debuginfo(build-id)
= ed5b02c3faa7a6dcd578f77b4f02ab82dd266e2c debuginfo(build-id)
= f5d5ff21745e7ca67bd89326d5289470f357267c debuginfo(build-id)
= f741270ca976dcec60efb27a575e84fb52fa47f8 debuginfo(build-id)
= f92c51cb198e80ec10a0120d99db92a052a15d25 debuginfo(build-id)
= 1.5.2-5.fc37 gappalib-coq-debuginfo
= 1.5.2-5.fc37 gappalib-coq-debuginfo(x86-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/1d4033796ee53ae563239f473028b0afcba350
/usr/lib/debug/.build-id/03/1d4033796ee53ae563239f473028b0afcba350.debug
/usr/lib/debug/.build-id/06
/usr/lib/debug/.build-id/06/952b74c5a8dda265ddb9f407874cc652d3cab7
/usr/lib/debug/.build-id/06/952b74c5a8dda265ddb9f407874cc652d3cab7.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/9c8768fda705e6db12c5d4eb96b714167c754a
/usr/lib/debug/.build-id/1f/9c8768fda705e6db12c5d4eb96b714167c754a.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/e9a61374c2fe60813616c1c1802cd28ac90777
/usr/lib/debug/.build-id/40/e9a61374c2fe60813616c1c1802cd28ac90777.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/b39eb95e3637548015e6b8849a1f91300899a6
/usr/lib/debug/.build-id/47/b39eb95e3637548015e6b8849a1f91300899a6.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/3ea0560b998af9e38e1b6c8f70d06f3908d869
/usr/lib/debug/.build-id/4b/3ea0560b998af9e38e1b6c8f70d06f3908d869.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/142a00024065638fb54327290757366d420f4b
/usr/lib/debug/.build-id/51/142a00024065638fb54327290757366d420f4b.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/ab5bf3486bf6e17b572241270e8439dcf9d038
/usr/lib/debug/.build-id/52/ab5bf3486bf6e17b572241270e8439dcf9d038.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/133cc762d5afe661b9ee70e70663ba7395867b
/usr/lib/debug/.build-id/54/133cc762d5afe661b9ee70e70663ba7395867b.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/1b0b982cd96958b1529cc30e0aab8dbb5990eb
/usr/lib/debug/.build-id/59/1b0b982cd96958b1529cc30e0aab8dbb5990eb.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/d8f8127f0b07e2f3a907ccc6955fb20d64cb01
/usr/lib/debug/.build-id/65/d8f8127f0b07e2f3a907ccc6955fb20d64cb01.debug
/usr/lib/debug/.build-id/6f
/usr/lib/debug/.build-id/6f/6f4988a3ef39519d09d2ba1cb52e66f815b7d2
/usr/lib/debug/.build-id/6f/6f4988a3ef39519d09d2ba1cb52e66f815b7d2.debug
/usr/lib/debug/.build-id/71
/usr/lib/debug/.build-id/71/8ce54663ba81c30eaf0cfa8d2b6dcb5a68910f
/usr/lib/debug/.build-id/71/8ce54663ba81c30eaf0cfa8d2b6dcb5a68910f.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/4e897fc0621411af3b9b32275f91b52f5b2fbf
/usr/lib/debug/.build-id/7f/4e897fc0621411af3b9b32275f91b52f5b2fbf.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/5e9fb8672dd6bb592386a7c558ebd1ee083175
/usr/lib/debug/.build-id/80/5e9fb8672dd6bb592386a7c558ebd1ee083175.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/9af7b3a4f888da263d658f8d951710e175ad3b
/usr/lib/debug/.build-id/85/9af7b3a4f888da263d658f8d951710e175ad3b.debug
... 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