معرفی شرکت ها

gappalib-coq-debuginfo-1.5.2-7.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.2-7.fc38.x86_64.rpm
نسخه بسته 1.5.2
انتشار بسته 7.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 09
هاست سازنده buildvm-x86-16.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/coq
مجوز LGPL-3.0-or-later
حجم دانلود 154K
حجم نصب 885.333K
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.3-2.fc38.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.3-2.fc38.x86_64.rpm 1.5.3 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 0048c01d25e78e08b2af63d1714c43a598c0aa0c debuginfo(build-id)
= 0c3f4c4e13de947134d85e2492382ca1d54ba66a debuginfo(build-id)
= 149bee67c87b395593120b2641aba8df0e400fda debuginfo(build-id)
= 1de30198ff3b9fbe77f7ddde82b63442dd58470f debuginfo(build-id)
= 30b57c43623688ff03d11b659d55689fd6db66d1 debuginfo(build-id)
= 4a2edbf3fae717dcbe5f1ab3a92b3bbe888092b1 debuginfo(build-id)
= 4c02c9432c8a862bf21226063787a35d48e885d8 debuginfo(build-id)
= 57e2a50f18da8d9cdd9aab031e8b65f0dd44702d debuginfo(build-id)
= 5909d9476cfb8167d60593028fe1ad8d2c482beb debuginfo(build-id)
= 69d6dbbc8ca344d0346479b79af114cc7eb8eaef debuginfo(build-id)
= 7084c96471e88afef11feb88c6a439046265909b debuginfo(build-id)
= 806360d1945b6f105b577279738030f1fcb64ec9 debuginfo(build-id)
= 8237ccd2c6b4d1b88ef93406270a6e1438531688 debuginfo(build-id)
= 85831631170a3e509d01f07869c4df5587c1ddfe debuginfo(build-id)
= 8c83b2f16826ed0944414bda5d3a2047133ce20d debuginfo(build-id)
= 9fb12cf90944cd74bf4bbd8ea8892c46b7eaa16e debuginfo(build-id)
= a42060b05bb9092fdfc760cd470e8841b86337a8 debuginfo(build-id)
= ad358c4ff8cd69df5e6b49530eb0c4b9747ee1fa debuginfo(build-id)
= b003dc059513d3977f98146ea820c697c26c3eb1 debuginfo(build-id)
= d75c930aedce076d8aeff53bec429c160b08c71e debuginfo(build-id)
= ddc21c9d3c0ae5023d77162616f119c913efa607 debuginfo(build-id)
= fafe13df9d9bc050b3774d0348d375675cdef1a9 debuginfo(build-id)
= fe146bfa0a1f61913ac55e204973ec4cf81f4a3a debuginfo(build-id)
= 1.5.2-7.fc38 gappalib-coq-debuginfo
= 1.5.2-7.fc38 gappalib-coq-debuginfo(x86-64)


نحوه نصب


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

    dnf install gappalib-coq-debuginfo-1.5.2-7.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/48c01d25e78e08b2af63d1714c43a598c0aa0c
/usr/lib/debug/.build-id/00/48c01d25e78e08b2af63d1714c43a598c0aa0c.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/3f4c4e13de947134d85e2492382ca1d54ba66a
/usr/lib/debug/.build-id/0c/3f4c4e13de947134d85e2492382ca1d54ba66a.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/9bee67c87b395593120b2641aba8df0e400fda
/usr/lib/debug/.build-id/14/9bee67c87b395593120b2641aba8df0e400fda.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/e30198ff3b9fbe77f7ddde82b63442dd58470f
/usr/lib/debug/.build-id/1d/e30198ff3b9fbe77f7ddde82b63442dd58470f.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/b57c43623688ff03d11b659d55689fd6db66d1
/usr/lib/debug/.build-id/30/b57c43623688ff03d11b659d55689fd6db66d1.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/2edbf3fae717dcbe5f1ab3a92b3bbe888092b1
/usr/lib/debug/.build-id/4a/2edbf3fae717dcbe5f1ab3a92b3bbe888092b1.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/02c9432c8a862bf21226063787a35d48e885d8
/usr/lib/debug/.build-id/4c/02c9432c8a862bf21226063787a35d48e885d8.debug
/usr/lib/debug/.build-id/57
/usr/lib/debug/.build-id/57/e2a50f18da8d9cdd9aab031e8b65f0dd44702d
/usr/lib/debug/.build-id/57/e2a50f18da8d9cdd9aab031e8b65f0dd44702d.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/09d9476cfb8167d60593028fe1ad8d2c482beb
/usr/lib/debug/.build-id/59/09d9476cfb8167d60593028fe1ad8d2c482beb.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/d6dbbc8ca344d0346479b79af114cc7eb8eaef
/usr/lib/debug/.build-id/69/d6dbbc8ca344d0346479b79af114cc7eb8eaef.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/84c96471e88afef11feb88c6a439046265909b
/usr/lib/debug/.build-id/70/84c96471e88afef11feb88c6a439046265909b.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/6360d1945b6f105b577279738030f1fcb64ec9
/usr/lib/debug/.build-id/80/6360d1945b6f105b577279738030f1fcb64ec9.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/37ccd2c6b4d1b88ef93406270a6e1438531688
/usr/lib/debug/.build-id/82/37ccd2c6b4d1b88ef93406270a6e1438531688.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/831631170a3e509d01f07869c4df5587c1ddfe
/usr/lib/debug/.build-id/85/831631170a3e509d01f07869c4df5587c1ddfe.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/83b2f16826ed0944414bda5d3a2047133ce20d
/usr/lib/debug/.build-id/8c/83b2f16826ed0944414bda5d3a2047133ce20d.debug
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/b12cf90944cd74bf4bbd8ea8892c46b7eaa16e
/usr/lib/debug/.build-id/9f/b12cf90944cd74bf4bbd8ea8892c46b7eaa16e.debug
... and 52 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

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