معرفی شرکت ها

coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package coq-core
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته coq-core-debuginfo
نام فایل بسته coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm
نسخه بسته 8.17.1
انتشار بسته 1.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 06
هاست سازنده buildvm-a64-24.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 11M
حجم نصب 55.594M
This package provides debug information for package coq-core. Debug information is useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
coq-core-debuginfo-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-core-debuginfo-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-core-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.17.1-1.fc38 coq-debuginfo(aarch-64)


ارائه دهنده

مقدار نام
= 8.17.1-1.fc38 coq-core-debuginfo
= 8.17.1-1.fc38 coq-core-debuginfo(aarch-64)
= 02c72bea21e211503f252a6b68ffdd8bc43a0630 debuginfo(build-id)
= 0a0d55740b5f1c009f6154c0d54efba18719e2be debuginfo(build-id)
= 0a7d43d82d21d9b32fccf300294a89f8b9647bf9 debuginfo(build-id)
= 10cbd83ad55e1ccfd174ff04a98940f9e36b5803 debuginfo(build-id)
= 12d06e6cba18f7096f17df8b7ed242e46b101566 debuginfo(build-id)
= 15233aac1459962421af3e362b56e9104cfbffb3 debuginfo(build-id)
= 18c32ab4677ff885d4dd59131588471da81beab4 debuginfo(build-id)
= 1d381e74c0b8abcaba0fedf03b1af912447677d5 debuginfo(build-id)
= 1ed8c78f571e1a451c1f91f1044fa3065195a72e debuginfo(build-id)
= 1f4fd19aa494afd7657217359d25be2e440312ff debuginfo(build-id)
= 2235d8a1135630266f45bc233deb40f0682f586f debuginfo(build-id)
= 24d9bc7d8614fe2ace2734a04bb48873407ba19b debuginfo(build-id)
= 24f10f7e49a76ef21e4d9183b9606b374314543f debuginfo(build-id)
= 28c6fd36b3d3efd4e9ddb5d06268d30fde8587a6 debuginfo(build-id)
= 2cf3bb8481416cf05a1e978a000e69b674bacaad debuginfo(build-id)
= 30cee7c05d4e9e255785811bc3bb58749ff76e6f debuginfo(build-id)
= 37c76835ce2e3fe1312c68f337a8f5574629564a debuginfo(build-id)
= 466bfb45a10ba15f3617d595fcf95e165a7285b2 debuginfo(build-id)
= 4770beba7e93a0edebcdf7f9974b21fad67077b4 debuginfo(build-id)
= 50f1d0dea29b12a07623b50f9b37ed2cc536fb1f debuginfo(build-id)
= 58eb8fae54cb26c976617c2076109ff4353338bb debuginfo(build-id)
= 5fe5c0637454c911cf96f11778dad9d19edd105d debuginfo(build-id)
= 6a46905b403625b2d055ee230eb2296dabc0d96e debuginfo(build-id)
= 726dda420f8bed8fe4048f08ad49d49568015448 debuginfo(build-id)
= 749c6484966605e69d2676788bcb08336bc26cef debuginfo(build-id)
= 7b88687044c618b280c1cc57c297af58fc1ce020 debuginfo(build-id)
= 7fa3997e76a403ee43d32e20a93d3634ee67ee4e debuginfo(build-id)
= 814770838f6649017c38ed8aa77f8baf10847d84 debuginfo(build-id)
= 857e977ce819415c3cf3e214d021784495a826c9 debuginfo(build-id)
= 85c65af3d74a2b1f1ba749fe048b019aec6ac3ac debuginfo(build-id)
= 877ae89a0ba5eb97e0ff69a7f2f08ff55a984bf3 debuginfo(build-id)
= 8fc5b5db82a0fcc18571df77649445bfb05787eb debuginfo(build-id)
= 8ff6b8d9cc5d1ddce8f314d94a90e21696b3df8c debuginfo(build-id)
= 92ba8306ce536ed5abc3d2ec38dd591ab5ce5a6d debuginfo(build-id)
= 94147f96c8adc0b9b715505e6babf0ea0efab2bf debuginfo(build-id)
= 942c70402ce0b51bd819cf3aad85d0b35011e006 debuginfo(build-id)
= 956259249035c9bb6697cb7bc3b2d65dc81ea696 debuginfo(build-id)
= 97c71871c614debeef9cb90da7a3830ee34a9961 debuginfo(build-id)
= 9adc3e17af2b126c3ff118cd5590dfd824e2fa41 debuginfo(build-id)
= 9df6a26f280960d53f68502806e4ef5bb81e8e67 debuginfo(build-id)
= a59145fe972593aa5c98c70d7a0ac5e2047aa9f6 debuginfo(build-id)
= b7f0d8b7f5a1409bce4e0bcfbbb648fccf7f1913 debuginfo(build-id)
= b955fce52b483238a5cddef225f8efc5eb196024 debuginfo(build-id)
= bae258fa8c0a5dee71dabd6744fff3fe4446fd2b debuginfo(build-id)
= bb9cfe639a756632a2cdec33f1703dcb9602f13d debuginfo(build-id)
= c8bcb128285af4e16c942e040164e819293109ba debuginfo(build-id)
= c9074a5263663c80950104d82547602880ec4ed4 debuginfo(build-id)
= c976ca04a24dbeebf57bdd218806535fff3e3ba2 debuginfo(build-id)
= d1896c977536dc34e821265f7ea6ce88786b89d4 debuginfo(build-id)
= d48cf1a27a7a58a1ab66b1664307ae17a7aae229 debuginfo(build-id)
= d88a9e7c4165767e277551beaef437df8bd783e3 debuginfo(build-id)
= d8aae078292b5d113341f5945d4991c4eb4735ca debuginfo(build-id)
= da1190bc37f869812f7fa14ffc9e719a146d5f63 debuginfo(build-id)
= da4fe15de788ca471826539172450689fa113978 debuginfo(build-id)
= dbfb421f3022530025fd6aa537c731e70ae79ecc debuginfo(build-id)
= ee920f1b0b82c088caf3814cba391377dc4d5a85 debuginfo(build-id)
= f3cd04ebba72f933b06e8c37fd73c0f559c51392 debuginfo(build-id)
= fecf5c87ee4c1f8ed335c67b0ca42f3dcf6eff7d debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

    dnf install coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/c72bea21e211503f252a6b68ffdd8bc43a0630
/usr/lib/debug/.build-id/02/c72bea21e211503f252a6b68ffdd8bc43a0630.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/0d55740b5f1c009f6154c0d54efba18719e2be
/usr/lib/debug/.build-id/0a/0d55740b5f1c009f6154c0d54efba18719e2be.debug
/usr/lib/debug/.build-id/0a/7d43d82d21d9b32fccf300294a89f8b9647bf9
/usr/lib/debug/.build-id/0a/7d43d82d21d9b32fccf300294a89f8b9647bf9.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/cbd83ad55e1ccfd174ff04a98940f9e36b5803
/usr/lib/debug/.build-id/10/cbd83ad55e1ccfd174ff04a98940f9e36b5803.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/d06e6cba18f7096f17df8b7ed242e46b101566
/usr/lib/debug/.build-id/12/d06e6cba18f7096f17df8b7ed242e46b101566.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/233aac1459962421af3e362b56e9104cfbffb3
/usr/lib/debug/.build-id/15/233aac1459962421af3e362b56e9104cfbffb3.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/c32ab4677ff885d4dd59131588471da81beab4
/usr/lib/debug/.build-id/18/c32ab4677ff885d4dd59131588471da81beab4.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/381e74c0b8abcaba0fedf03b1af912447677d5
/usr/lib/debug/.build-id/1d/381e74c0b8abcaba0fedf03b1af912447677d5.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/d8c78f571e1a451c1f91f1044fa3065195a72e
/usr/lib/debug/.build-id/1e/d8c78f571e1a451c1f91f1044fa3065195a72e.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/4fd19aa494afd7657217359d25be2e440312ff
/usr/lib/debug/.build-id/1f/4fd19aa494afd7657217359d25be2e440312ff.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/35d8a1135630266f45bc233deb40f0682f586f
/usr/lib/debug/.build-id/22/35d8a1135630266f45bc233deb40f0682f586f.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/d9bc7d8614fe2ace2734a04bb48873407ba19b
/usr/lib/debug/.build-id/24/d9bc7d8614fe2ace2734a04bb48873407ba19b.debug
/usr/lib/debug/.build-id/24/f10f7e49a76ef21e4d9183b9606b374314543f
/usr/lib/debug/.build-id/24/f10f7e49a76ef21e4d9183b9606b374314543f.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/c6fd36b3d3efd4e9ddb5d06268d30fde8587a6
/usr/lib/debug/.build-id/28/c6fd36b3d3efd4e9ddb5d06268d30fde8587a6.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/f3bb8481416cf05a1e978a000e69b674bacaad
/usr/lib/debug/.build-id/2c/f3bb8481416cf05a1e978a000e69b674bacaad.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/cee7c05d4e9e255785811bc3bb58749ff76e6f
/usr/lib/debug/.build-id/30/cee7c05d4e9e255785811bc3bb58749ff76e6f.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/c76835ce2e3fe1312c68f337a8f5574629564a
... and 229 more


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

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

Version 8.17.1
Build in release mode

2023-04-01

Version 8.17.0
Drop upstreamed patch for Sphinx 5 support

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

2022-11-26

Version 8.16.1

2022-10-06

Remove the manual, which has a non-free license (bz 2132567)

2022-09-16

Version 8.16.0
Drop upstreamed patch for Sphinx 4.5 support

2022-08-15

Convert License tags to SPDX

2022-07-20

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

2022-07-19

Enable documentation build with Sphinx 5+

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-20

Rebuild for antlr4-project 4.10.1

2022-06-19

Upgrade to 8.15.2
OCaml 4.14.0 rebuild

2022-03-25

Version 8.15.1

2022-02-28

Version 8.15.0

2022-02-04

OCaml 4.13.1 rebuild to remove package notes