معرفی شرکت ها

coq-core-debuginfo-8.17.1-5.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.17.1-5.fc39.x86_64.rpm
نسخه بسته 8.17.1
انتشار بسته 5.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu 27 Jul 2023 08
هاست سازنده buildvm-x86-17.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 22M
حجم نصب 113.717M
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.18.0-1.fc39.aarch64.rpm 8.18.0 aarch64 Fedora Everything
coq-core-debuginfo-8.18.0-1.fc39.x86_64.rpm 8.18.0 x86_64 Fedora Everything


نیازمندی

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


ارائه دهنده

مقدار نام
= 8.17.1-5.fc39 coq-core-debuginfo
= 8.17.1-5.fc39 coq-core-debuginfo(x86-64)
= 036374501502de37d3173505ba83b8170803a5fc debuginfo(build-id)
= 0a3772afa3a1c017fd931c71eab656b4f8fdf888 debuginfo(build-id)
= 0f94c933cfe2431500e7ab44dad36c169f377c9d debuginfo(build-id)
= 107775b73c61cf330a65c4bb232245011fd66b0a debuginfo(build-id)
= 19c1501d64fcfd7d59866fd2989b2314d623e136 debuginfo(build-id)
= 1e64e5170bc196c8fc522a236957066bffa59344 debuginfo(build-id)
= 1fea358f45c2d620c56214e7503e376d6b3db10e debuginfo(build-id)
= 23778b66663bf390ea055105e85fe3e89f5cdeda debuginfo(build-id)
= 2ec88d34e6ab6e1ab319eb40aac10b78d7081bd6 debuginfo(build-id)
= 36734971b457160c54e997776631fccba4dc8c7d debuginfo(build-id)
= 36a313de22e857ac8d6a93bc4c427cc91d3cead6 debuginfo(build-id)
= 379bad51648ef753a90748f0f388fee9a732f09c debuginfo(build-id)
= 3b47ddeb5b96a02d36ce989af7f0027e707e5f5a debuginfo(build-id)
= 3de79c5c3f9c862b3563edfedd71f32007f8df2e debuginfo(build-id)
= 41e352ea3c6627d1628a96afbb25e06d82f87ee4 debuginfo(build-id)
= 42f9735212c1431c4ebba0149b3a941c1c588e74 debuginfo(build-id)
= 452ac20352fa743d2a25384dcd37665133d5d850 debuginfo(build-id)
= 4576de82733023137896f5a79f464a3849917b32 debuginfo(build-id)
= 4e25370cda2496cdcf7c3789d5680df90d3a56c8 debuginfo(build-id)
= 4fbb206769bcaccfe2fdf4faa69963ffbc1ad8a0 debuginfo(build-id)
= 64feac58e9dae003512cff612d6aac395e02e147 debuginfo(build-id)
= 697234ff16130e2366ea5334d543124052dd8c8c debuginfo(build-id)
= 731091a056637c0e91a76fb46916cfc8ab20a95b debuginfo(build-id)
= 75488269ec9a7b755e7916c256ac466693352f64 debuginfo(build-id)
= 76ec70e655ebf98ec6972474bfbf47e51fca6896 debuginfo(build-id)
= 7bca8624149d1d2468b73ab8e6de929a15dc2939 debuginfo(build-id)
= 82e08490ff671637d738aad1a3d69350396fec4b debuginfo(build-id)
= 8b1b4361b9ae5bf867b45128bfb6be2600269d0d debuginfo(build-id)
= 962756ee3ebe7c1e9dbebf51f5fc869d703e4097 debuginfo(build-id)
= a07cb8246918316608ad8ada8a90f6903ae30dcd debuginfo(build-id)
= a2025d797fd256caa8fdafc63151a40aaa14c285 debuginfo(build-id)
= a445e2ae37de128d2e01172acf39ac3789fa912a debuginfo(build-id)
= a7b1d34d5d26720d6ea248c318900356a9ca3685 debuginfo(build-id)
= a91a7b915023a3593758eede190db65c1388680f debuginfo(build-id)
= ac47c327acf0f72b0e1f9e8bc6159f1f4efcca63 debuginfo(build-id)
= af275e598047d6cee2cfee468d8be17b1807a083 debuginfo(build-id)
= b059b791d3e19c5211197a39283deb77b10c109f debuginfo(build-id)
= b19f7d9e3d6a7ae0c26c205366e39df14a93abb1 debuginfo(build-id)
= b4a02d19799bda8e727f4baedd52a18aaf567f61 debuginfo(build-id)
= b4e33a606c7c9b1bd830b5ca29266ddfea7e130b debuginfo(build-id)
= bba71e2156a1e389a954a35b873b92c79e21150e debuginfo(build-id)
= c69f7b6badfe1a8dbcedba4c73364cb7978d8546 debuginfo(build-id)
= c7374277f12628ceed686bef2b940cbd57c91e53 debuginfo(build-id)
= cab18436a6e9fc90d2b1c8d18a499f6541d472c2 debuginfo(build-id)
= cbb802b3e64713f4dd238bcaaf652e2a8445b015 debuginfo(build-id)
= d6a30d43506bff870f720ec9a710a00097fd220f debuginfo(build-id)
= da34134ff07c001420a448d6ec1e937465f75d9c debuginfo(build-id)
= dd365a01a23e82d0356524cc0edc2565e4e8cbe9 debuginfo(build-id)
= e114fe95c4eeea797f3b6374b1109c58e38c1d1b debuginfo(build-id)
= e7a3ec325a6b5ab4ca41e0658d31cf4b59dbbef8 debuginfo(build-id)
= ee88d7a48833164e6b6eb708e7b85f28952f03e8 debuginfo(build-id)
= f0659a51b413651d7e6dcb1de7ea1f88427eb52a debuginfo(build-id)
= f1ce7cffe3790bfb8520dd5eaf1060c45ccd907f debuginfo(build-id)
= f4b5a216d89cbe013c90464aa972bc43d7f1ff86 debuginfo(build-id)
= f5a536c5a28d8bf7e16483b51d648c0f163864c0 debuginfo(build-id)
= f8595568ec6f7261c09ffaefd1b67feee0329cd7 debuginfo(build-id)
= fc89085b753ea15e86782a5662376f40817691b6 debuginfo(build-id)
= fcc0ce42d357de0907668557c6a8172433bfb505 debuginfo(build-id)
= nilnil debuginfo(build-id)


نحوه نصب


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

    dnf install coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/6374501502de37d3173505ba83b8170803a5fc
/usr/lib/debug/.build-id/03/6374501502de37d3173505ba83b8170803a5fc.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/3772afa3a1c017fd931c71eab656b4f8fdf888
/usr/lib/debug/.build-id/0a/3772afa3a1c017fd931c71eab656b4f8fdf888.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/94c933cfe2431500e7ab44dad36c169f377c9d
/usr/lib/debug/.build-id/0f/94c933cfe2431500e7ab44dad36c169f377c9d.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/7775b73c61cf330a65c4bb232245011fd66b0a
/usr/lib/debug/.build-id/10/7775b73c61cf330a65c4bb232245011fd66b0a.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/c1501d64fcfd7d59866fd2989b2314d623e136
/usr/lib/debug/.build-id/19/c1501d64fcfd7d59866fd2989b2314d623e136.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/64e5170bc196c8fc522a236957066bffa59344
/usr/lib/debug/.build-id/1e/64e5170bc196c8fc522a236957066bffa59344.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/ea358f45c2d620c56214e7503e376d6b3db10e
/usr/lib/debug/.build-id/1f/ea358f45c2d620c56214e7503e376d6b3db10e.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/778b66663bf390ea055105e85fe3e89f5cdeda
/usr/lib/debug/.build-id/23/778b66663bf390ea055105e85fe3e89f5cdeda.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/c88d34e6ab6e1ab319eb40aac10b78d7081bd6
/usr/lib/debug/.build-id/2e/c88d34e6ab6e1ab319eb40aac10b78d7081bd6.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/734971b457160c54e997776631fccba4dc8c7d
/usr/lib/debug/.build-id/36/734971b457160c54e997776631fccba4dc8c7d.debug
/usr/lib/debug/.build-id/36/a313de22e857ac8d6a93bc4c427cc91d3cead6
/usr/lib/debug/.build-id/36/a313de22e857ac8d6a93bc4c427cc91d3cead6.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/9bad51648ef753a90748f0f388fee9a732f09c
/usr/lib/debug/.build-id/37/9bad51648ef753a90748f0f388fee9a732f09c.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/47ddeb5b96a02d36ce989af7f0027e707e5f5a
/usr/lib/debug/.build-id/3b/47ddeb5b96a02d36ce989af7f0027e707e5f5a.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/e79c5c3f9c862b3563edfedd71f32007f8df2e
/usr/lib/debug/.build-id/3d/e79c5c3f9c862b3563edfedd71f32007f8df2e.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/e352ea3c6627d1628a96afbb25e06d82f87ee4
/usr/lib/debug/.build-id/41/e352ea3c6627d1628a96afbb25e06d82f87ee4.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/f9735212c1431c4ebba0149b3a941c1c588e74
/usr/lib/debug/.build-id/42/f9735212c1431c4ebba0149b3a941c1c588e74.debug
/usr/lib/debug/.build-id/45
... and 233 more


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

تاریخ آخرین تغییر جزئیات
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

2022-06-20

Rebuild for antlr4-project 4.10.1