معرفی شرکت ها

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


نیازمندی

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


ارائه دهنده

مقدار نام
= 8.18.0-1.fc39 coq-core-debuginfo
= 8.18.0-1.fc39 coq-core-debuginfo(x86-64)
= 02aeac3db5e27e2e124cd79e0fb0cf468e8bb620 debuginfo(build-id)
= 0552df5fd3e8aeedfe13c7cb3a1690f729126aaf debuginfo(build-id)
= 07feed1f879faccbafded0b156e6a2555c7ded6b debuginfo(build-id)
= 0af1d0d3f95a56617d88a78857078bc2c1eac3d7 debuginfo(build-id)
= 0e0671c2826e56b12455f7c96bdf8dccc81e2221 debuginfo(build-id)
= 10c41229ad6fde62f7e04243d5fb3e541268b1ca debuginfo(build-id)
= 12daaef90b319588d37b8a0296b1547acf5a143d debuginfo(build-id)
= 196ad68e72b5697883cd73fa380406903699b51f debuginfo(build-id)
= 1af87bdd51b780402e417dc93fef345d40a00f89 debuginfo(build-id)
= 1d35239f9e86b9fb8ff4f0d380e4ac09fa2a4779 debuginfo(build-id)
= 20934ae1a105d4df95606a099fd71b635b50a02c debuginfo(build-id)
= 2220fe9c0c99e4b55a378055b168042860b0a397 debuginfo(build-id)
= 26a65dff4b14d36058abdbaef665c2e49dfae2b0 debuginfo(build-id)
= 2ca013c31bd3e5b2a6ae3dff6852e2cb089de55c debuginfo(build-id)
= 2d6a3a1999181855e96c3e1b9db1ee4176ae7164 debuginfo(build-id)
= 32ae23741c654b15765ab7e97552f6a35b87226d debuginfo(build-id)
= 3dd7fd8a47eeb1096155a3b60f2fe436380a22d7 debuginfo(build-id)
= 4452977e74adc5919f9a333c0e303be7452e2558 debuginfo(build-id)
= 4698ccab217d329a005ecf73b55c1cd6629559ff debuginfo(build-id)
= 48be13272ffc9fd8f83c1aedf84b63bc9e008e22 debuginfo(build-id)
= 4f0e8ab0dd159995d0312415fc7606c5a496db5c debuginfo(build-id)
= 52dfb0ab66d698c5e89d8ec7173493f3ab2cac8e debuginfo(build-id)
= 538c1a31d99acc56bd05fc778ef476a5e482b2d5 debuginfo(build-id)
= 5561813104006fda77e5dc18d16edd98ad032758 debuginfo(build-id)
= 58fbb195941b3518050dc0d1beda76ac6a159538 debuginfo(build-id)
= 591ca3e92391122adaf33de1955e7fafe5bf0a44 debuginfo(build-id)
= 59a3c1b9b6a135d039e35457e320d4fcf5e3165a debuginfo(build-id)
= 5ab1586072d7a09e5d357d4e447ba41150368d41 debuginfo(build-id)
= 5d791501928c506632f1162574871b66f0b77d1e debuginfo(build-id)
= 5e39cb97a8f7488a54271c516f0c7be0862bc0a3 debuginfo(build-id)
= 6890620c49101909d184ee1e249695279afcb686 debuginfo(build-id)
= 6956533dcbc5b6d59e70a02bb33fc9c9b93e62c7 debuginfo(build-id)
= 731e796c300c5ced73006f2dc4bb4c6c8669ce94 debuginfo(build-id)
= 7528887dd55c8c56c4a695e26e3cf1a5a861fded debuginfo(build-id)
= 803f2c077fe4aad39ce04f59659d7c36fcfe6cc2 debuginfo(build-id)
= 86f8252555518fa11ff3c8f58f2894e06a039899 debuginfo(build-id)
= 87041a1a45d9f74915f412c709dba2a6a8c565c1 debuginfo(build-id)
= 8774e2236e97d0925f4989053dc82838333f786c debuginfo(build-id)
= 8cbffb9b3a05d8e95f81733f898c522aefeb424f debuginfo(build-id)
= 94d7a44f113a7179599670ff71ea8961a28754ec debuginfo(build-id)
= 9d640d19d3ab2f355144e14d63f5d02212374d72 debuginfo(build-id)
= 9db4639559be5bb1baa479f56514c40dc5604a56 debuginfo(build-id)
= 9fc53e0b00f71ff29e49da5def4fd513c34ab674 debuginfo(build-id)
= a95f31dae0b46c6491f86f28dbb29ab553db47a4 debuginfo(build-id)
= b25df2eb2021eba82794bad8a4a1aaede3c94329 debuginfo(build-id)
= bf103601f31a519681c576789286d88e9435cee1 debuginfo(build-id)
= cb0cb6125a6f4792457caa0749519239e3b42cba debuginfo(build-id)
= cb33ae64ed8d05c40a52151fe1e8ebb681952c28 debuginfo(build-id)
= d4b024f94565cb74515b41afec8ebd28dc5ed19f debuginfo(build-id)
= d789b8d25adc87e4deb03d2d9ec19e89ded1f23d debuginfo(build-id)
= dd5f9e13be27ca6d67e083d2289de15de4349695 debuginfo(build-id)
= dfaafad991bbbcd23b6107eae12edefc8e286637 debuginfo(build-id)
= e062c8bcb714ea1c8d37c6ed0a82f5fbddb3ad3b debuginfo(build-id)
= e45eb97b50eb92dad4292fc8628ad4db37ec7334 debuginfo(build-id)
= ef07a37e2c60c1b2e145f76dbaabc8ab8f8a48b1 debuginfo(build-id)
= f2874b1f04ba771be33164ed806b99ce3b69826f debuginfo(build-id)
= f357b30cd7a605c9f292d58265a2af289021260f debuginfo(build-id)
= f59a3a8c0b0bbb729723dd20067353b357a1c129 debuginfo(build-id)
= fff638f40890c3d1bdda316f73cccc02d6536ccc debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/aeac3db5e27e2e124cd79e0fb0cf468e8bb620
/usr/lib/debug/.build-id/02/aeac3db5e27e2e124cd79e0fb0cf468e8bb620.debug
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/52df5fd3e8aeedfe13c7cb3a1690f729126aaf
/usr/lib/debug/.build-id/05/52df5fd3e8aeedfe13c7cb3a1690f729126aaf.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/feed1f879faccbafded0b156e6a2555c7ded6b
/usr/lib/debug/.build-id/07/feed1f879faccbafded0b156e6a2555c7ded6b.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/f1d0d3f95a56617d88a78857078bc2c1eac3d7
/usr/lib/debug/.build-id/0a/f1d0d3f95a56617d88a78857078bc2c1eac3d7.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/0671c2826e56b12455f7c96bdf8dccc81e2221
/usr/lib/debug/.build-id/0e/0671c2826e56b12455f7c96bdf8dccc81e2221.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/c41229ad6fde62f7e04243d5fb3e541268b1ca
/usr/lib/debug/.build-id/10/c41229ad6fde62f7e04243d5fb3e541268b1ca.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/daaef90b319588d37b8a0296b1547acf5a143d
/usr/lib/debug/.build-id/12/daaef90b319588d37b8a0296b1547acf5a143d.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/6ad68e72b5697883cd73fa380406903699b51f
/usr/lib/debug/.build-id/19/6ad68e72b5697883cd73fa380406903699b51f.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/f87bdd51b780402e417dc93fef345d40a00f89
/usr/lib/debug/.build-id/1a/f87bdd51b780402e417dc93fef345d40a00f89.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/35239f9e86b9fb8ff4f0d380e4ac09fa2a4779
/usr/lib/debug/.build-id/1d/35239f9e86b9fb8ff4f0d380e4ac09fa2a4779.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/934ae1a105d4df95606a099fd71b635b50a02c
/usr/lib/debug/.build-id/20/934ae1a105d4df95606a099fd71b635b50a02c.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/20fe9c0c99e4b55a378055b168042860b0a397
/usr/lib/debug/.build-id/22/20fe9c0c99e4b55a378055b168042860b0a397.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/a65dff4b14d36058abdbaef665c2e49dfae2b0
/usr/lib/debug/.build-id/26/a65dff4b14d36058abdbaef665c2e49dfae2b0.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/a013c31bd3e5b2a6ae3dff6852e2cb089de55c
/usr/lib/debug/.build-id/2c/a013c31bd3e5b2a6ae3dff6852e2cb089de55c.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/6a3a1999181855e96c3e1b9db1ee4176ae7164
/usr/lib/debug/.build-id/2d/6a3a1999181855e96c3e1b9db1ee4176ae7164.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/ae23741c654b15765ab7e97552f6a35b87226d
/usr/lib/debug/.build-id/32/ae23741c654b15765ab7e97552f6a35b87226d.debug
... and 237 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