معرفی شرکت ها


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


ارائه دهنده

مقدار نام
= 09f7d3ae15793a864012261a655e664aae4fa494 debuginfo(build-id)
= 100e5718d96fb433c9101096cb1af7d09c066188 debuginfo(build-id)
= 1f971b1206a1c260c517685e2dffaa588c119087 debuginfo(build-id)
= 2372dcc9aec0ce64e2dc88d4af604c0527c3527d debuginfo(build-id)
= 2d3be32154295785744a95d604877034a42ddc3c debuginfo(build-id)
= 33a5e2fb326f28498e8a7f26233b1ab4cbaa7ef2 debuginfo(build-id)
= 3eefac9729df62d04b25fcae37f2f835ea9cdb60 debuginfo(build-id)
= 3f90e2b37291c8c08e4ff450f19c3242fb2a5962 debuginfo(build-id)
= 44d9d56f186640f7bc5d3da10485612c677c2cd6 debuginfo(build-id)
= 454dea83b49b83667e648ebac27abf2f76fcd7ee debuginfo(build-id)
= 4c75efc51d68ed27268263478e627d4682076d68 debuginfo(build-id)
= 4e0098e4f77020b5b52d406eb2188c32af8e65b3 debuginfo(build-id)
= 60983f512217fa2c8e0ec455ff34fe858f32fc72 debuginfo(build-id)
= 6b45a608d2ee0fcf0da4f10eb92fc3b4e2398cab debuginfo(build-id)
= 6e4d3f3e4446bad173ff6c2a75db142bc14bee98 debuginfo(build-id)
= 8ec9bfef9e66f64aa242b4458cce47945627fdc0 debuginfo(build-id)
= 9e73fbfdc980ee2ea76d2cf6cc6e3f2cb3e58d0e debuginfo(build-id)
= c88fb88b8dc94d289e7e874564ed9556606791e0 debuginfo(build-id)
= ddee1a281aef58a9a0dcc3eb14982ab7478c6535 debuginfo(build-id)
= ea7edf268d35b0d0e4ddaa45ce5102aa834090ef debuginfo(build-id)
= f52b226dc1e39302019c19662ca86d61f79e3786 debuginfo(build-id)
= f9a27c90c01b7a1b91bd3da80e799c2845779e66 debuginfo(build-id)
= ff2d6fc811a0c5f8d2a8db2c59897a93e99060ab debuginfo(build-id)
= 1.5.2-4.fc37 gappalib-coq-debuginfo
= 1.5.2-4.fc37 gappalib-coq-debuginfo(x86-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/f7d3ae15793a864012261a655e664aae4fa494
/usr/lib/debug/.build-id/09/f7d3ae15793a864012261a655e664aae4fa494.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/0e5718d96fb433c9101096cb1af7d09c066188
/usr/lib/debug/.build-id/10/0e5718d96fb433c9101096cb1af7d09c066188.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/971b1206a1c260c517685e2dffaa588c119087
/usr/lib/debug/.build-id/1f/971b1206a1c260c517685e2dffaa588c119087.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/72dcc9aec0ce64e2dc88d4af604c0527c3527d
/usr/lib/debug/.build-id/23/72dcc9aec0ce64e2dc88d4af604c0527c3527d.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/3be32154295785744a95d604877034a42ddc3c
/usr/lib/debug/.build-id/2d/3be32154295785744a95d604877034a42ddc3c.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/a5e2fb326f28498e8a7f26233b1ab4cbaa7ef2
/usr/lib/debug/.build-id/33/a5e2fb326f28498e8a7f26233b1ab4cbaa7ef2.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/efac9729df62d04b25fcae37f2f835ea9cdb60
/usr/lib/debug/.build-id/3e/efac9729df62d04b25fcae37f2f835ea9cdb60.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/90e2b37291c8c08e4ff450f19c3242fb2a5962
/usr/lib/debug/.build-id/3f/90e2b37291c8c08e4ff450f19c3242fb2a5962.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/d9d56f186640f7bc5d3da10485612c677c2cd6
/usr/lib/debug/.build-id/44/d9d56f186640f7bc5d3da10485612c677c2cd6.debug
/usr/lib/debug/.build-id/45
/usr/lib/debug/.build-id/45/4dea83b49b83667e648ebac27abf2f76fcd7ee
/usr/lib/debug/.build-id/45/4dea83b49b83667e648ebac27abf2f76fcd7ee.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/75efc51d68ed27268263478e627d4682076d68
/usr/lib/debug/.build-id/4c/75efc51d68ed27268263478e627d4682076d68.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/0098e4f77020b5b52d406eb2188c32af8e65b3
/usr/lib/debug/.build-id/4e/0098e4f77020b5b52d406eb2188c32af8e65b3.debug
/usr/lib/debug/.build-id/60
/usr/lib/debug/.build-id/60/983f512217fa2c8e0ec455ff34fe858f32fc72
/usr/lib/debug/.build-id/60/983f512217fa2c8e0ec455ff34fe858f32fc72.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/45a608d2ee0fcf0da4f10eb92fc3b4e2398cab
/usr/lib/debug/.build-id/6b/45a608d2ee0fcf0da4f10eb92fc3b4e2398cab.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/4d3f3e4446bad173ff6c2a75db142bc14bee98
/usr/lib/debug/.build-id/6e/4d3f3e4446bad173ff6c2a75db142bc14bee98.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/c9bfef9e66f64aa242b4458cce47945627fdc0
/usr/lib/debug/.build-id/8e/c9bfef9e66f64aa242b4458cce47945627fdc0.debug
... and 52 more


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

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

2021-07-21

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