معرفی شرکت ها

coq-core-debuginfo-8.18.0-1.fc39.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 39
مخزن Fedora Everything aarch64
نام بسته coq-core-debuginfo
نام فایل بسته coq-core-debuginfo-8.18.0-1.fc39.aarch64.rpm
نسخه بسته 8.18.0
انتشار بسته 1.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 03 Jan 2024 03
هاست سازنده buildhw-a64-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 22M
حجم نصب 114.356M
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.17.1-5.fc39.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-core-debuginfo-8.18.0-1.fc39.x86_64.rpm 8.18.0 x86_64 Fedora Everything


نیازمندی

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


ارائه دهنده

مقدار نام
= 8.18.0-1.fc39 coq-core-debuginfo
= 8.18.0-1.fc39 coq-core-debuginfo(aarch-64)
= 027bf63258b14a7718b5381e15f5769322a85a5e debuginfo(build-id)
= 04ab1a2f47c0105b30cb2e0d3fe4a072f6027ff2 debuginfo(build-id)
= 071c963b8048b51e301cf9a69a222debd8c223ea debuginfo(build-id)
= 0a597389f384c7e5adb10ec9a43dcdc197c847b4 debuginfo(build-id)
= 0e4780783a294b26c676eb9be5eb54691f341544 debuginfo(build-id)
= 140b359684f04f885d823130af4fdc7ef82cd3c9 debuginfo(build-id)
= 1856e3262c563678114ea602caea24610de2b365 debuginfo(build-id)
= 1f181dbf1e4f81239c3e052864e217b9c7b22429 debuginfo(build-id)
= 28b9039048ec6c83245eb258477ff63adeecf820 debuginfo(build-id)
= 2b37b4602c5c37e24e8d87675b03bdeb0988a1c9 debuginfo(build-id)
= 2b54156b835205f62c2440e4ec2d1a55e663cd66 debuginfo(build-id)
= 33ca3f44f668bc87b532b6420395c1fe83c7d803 debuginfo(build-id)
= 3f2a8c14ad56baf5bab16b3feb40c8bcd4c16814 debuginfo(build-id)
= 4070ed551d531f6c093d515f8844cc9b4e407e72 debuginfo(build-id)
= 472c67d75098ba4032828120e17af32cf3028731 debuginfo(build-id)
= 4b0d3d0a6180039d3b90b27b6158904b0e59273a debuginfo(build-id)
= 51d703a5f4c8f12e7ca78ab7fcca2355b510b285 debuginfo(build-id)
= 5353bb75242e609e6b5d2cdadb3d8457d1cf9dd3 debuginfo(build-id)
= 5b300d6c104441f01312c79828dfad2ea4381b96 debuginfo(build-id)
= 5bc52faea108b9aca03d651cac1ba374aa4750b3 debuginfo(build-id)
= 62a24fc127153f10ffe07d8c71f72867521b7b05 debuginfo(build-id)
= 65614d4988e9081d551edf9b35853e10e0e037f5 debuginfo(build-id)
= 67717d1401ef23e6bf6a78e41925801c65160d21 debuginfo(build-id)
= 694a14ed8effe2a1dc3c15d6416af8c545cbee64 debuginfo(build-id)
= 6cd294a1a84b25b02899ab16bbee4ebb75095b49 debuginfo(build-id)
= 6e7dd93ed31822d82beb8fe50271f8ac0cc2ebd8 debuginfo(build-id)
= 76b1dc30011496874b660c48d432b802dc38e35d debuginfo(build-id)
= 7c3f8db872de85ee805cc75685a5fa9085dc089a debuginfo(build-id)
= 7ce87523e8a4f4639663cd3efcbbb3ed78b95ade debuginfo(build-id)
= 8061c5635b6a904f9c759e23f03c0d38604775ff debuginfo(build-id)
= 847417016196b3713a77b980bcc7e1832afbb71e debuginfo(build-id)
= 86820595b62375a59d64c226a8aada3b48b44893 debuginfo(build-id)
= 89ecf96f95148f8f7978d6a44e3dfc0f86820777 debuginfo(build-id)
= 8c7bc0d1dcfec2fc81fad41f02453620c3af8d0b debuginfo(build-id)
= 9226ca90b84393f4f52a00356177686f9d0fbf04 debuginfo(build-id)
= 9270156511d4c1d418aff480b6cd48f64525a481 debuginfo(build-id)
= 9284fc8cbd14e5a7d0825e108579801b09e828ae debuginfo(build-id)
= 95f4a183de464014a4f6ab306e6c88c33a5d19a6 debuginfo(build-id)
= 9910cc8011ef0df279f3be435bb0418f43f2c312 debuginfo(build-id)
= 9e1e7687910cc11348629ba865e718f90d54d3ef debuginfo(build-id)
= a007b845d17216dfed38337940e014ebabe83dde debuginfo(build-id)
= afd25339173aca472c9e7a08bd7527331342806a debuginfo(build-id)
= b33aacc76a0730e8e40514b597ae9d89f0f24469 debuginfo(build-id)
= b59f5067952b03a6310296f01a2901c69ca5b15c debuginfo(build-id)
= bd3a9617208cc8ba6fd1f7e450aa45216163d380 debuginfo(build-id)
= c3e9c2002527565fdc29f90629eebe4dba869080 debuginfo(build-id)
= c6248806ea3caddbad41b4e4e5b4cc13adddf8ad debuginfo(build-id)
= cd24471e02ddda5d5cf93a5b51f5f1165b0556b0 debuginfo(build-id)
= d05e0f07b8cbdecb6a7f708e498af9a35dc6d78b debuginfo(build-id)
= d438282b4d96cd4475fbedc2222b806e9c4fffa4 debuginfo(build-id)
= d94a79bd2c93b3bb54cd036c505a5455cf27356c debuginfo(build-id)
= e3b5c2007869c79d9f89734be4f0835b0501166a debuginfo(build-id)
= e9d7cad12dc78b1d03122394d3ca4645388e29ca debuginfo(build-id)
= eca76e26a2dc6a30822040ef2d6280e2aadf83b3 debuginfo(build-id)
= f1bb64bf375e055c094d6b9402ec2491e70f92e3 debuginfo(build-id)
= f5cb0cbb6a8704172e25f52631814ea179723f79 debuginfo(build-id)
= f909ddb08c928b00e721a96ce236300b0d22d1c8 debuginfo(build-id)
= fa5e8276f9decc4f8065085f3f82c7855ac6ab82 debuginfo(build-id)
= fda8f3455046f98dfd63f7f03ae653b47566466c debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

    dnf install coq-core-debuginfo-8.18.0-1.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/7bf63258b14a7718b5381e15f5769322a85a5e
/usr/lib/debug/.build-id/02/7bf63258b14a7718b5381e15f5769322a85a5e.debug
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/ab1a2f47c0105b30cb2e0d3fe4a072f6027ff2
/usr/lib/debug/.build-id/04/ab1a2f47c0105b30cb2e0d3fe4a072f6027ff2.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/1c963b8048b51e301cf9a69a222debd8c223ea
/usr/lib/debug/.build-id/07/1c963b8048b51e301cf9a69a222debd8c223ea.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/597389f384c7e5adb10ec9a43dcdc197c847b4
/usr/lib/debug/.build-id/0a/597389f384c7e5adb10ec9a43dcdc197c847b4.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/4780783a294b26c676eb9be5eb54691f341544
/usr/lib/debug/.build-id/0e/4780783a294b26c676eb9be5eb54691f341544.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/0b359684f04f885d823130af4fdc7ef82cd3c9
/usr/lib/debug/.build-id/14/0b359684f04f885d823130af4fdc7ef82cd3c9.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/56e3262c563678114ea602caea24610de2b365
/usr/lib/debug/.build-id/18/56e3262c563678114ea602caea24610de2b365.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.1
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.1.debug
/usr/lib/debug/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/b9039048ec6c83245eb258477ff63adeecf820
/usr/lib/debug/.build-id/28/b9039048ec6c83245eb258477ff63adeecf820.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/37b4602c5c37e24e8d87675b03bdeb0988a1c9
/usr/lib/debug/.build-id/2b/37b4602c5c37e24e8d87675b03bdeb0988a1c9.debug
/usr/lib/debug/.build-id/2b/54156b835205f62c2440e4ec2d1a55e663cd66
/usr/lib/debug/.build-id/2b/54156b835205f62c2440e4ec2d1a55e663cd66.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/ca3f44f668bc87b532b6420395c1fe83c7d803
/usr/lib/debug/.build-id/33/ca3f44f668bc87b532b6420395c1fe83c7d803.debug
/usr/lib/debug/.build-id/3f
/usr/lib/debug/.build-id/3f/2a8c14ad56baf5bab16b3feb40c8bcd4c16814
/usr/lib/debug/.build-id/3f/2a8c14ad56baf5bab16b3feb40c8bcd4c16814.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/70ed551d531f6c093d515f8844cc9b4e407e72
/usr/lib/debug/.build-id/40/70ed551d531f6c093d515f8844cc9b4e407e72.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/2c67d75098ba4032828120e17af32cf3028731
/usr/lib/debug/.build-id/47/2c67d75098ba4032828120e17af32cf3028731.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/0d3d0a6180039d3b90b27b6158904b0e59273a
... and 236 more


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

تاریخ آخرین تغییر جزئیات
2024-01-02

Version 8.18.0

2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-18

Validate appdata with appstream-util

2023-07-12

OCaml 5.0 rebuild for Fedora 39
Only build coq and friends on architectures with the native compiler.

2023-07-10

Version 8.17.1
Build in release mode
Disable the native compiler, which is incompatible with OCaml 5.0

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