معرفی شرکت ها
gappalib-coq-debuginfo-1.5.2-4.fc37.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | 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 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
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
|
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
|
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
|