معرفی شرکت ها

why3-debuginfo-1.7.2-1.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package why3
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته why3-debuginfo
نام فایل بسته why3-debuginfo-1.7.2-1.fc39.x86_64.rpm
نسخه بسته 1.7.2
انتشار بسته 1.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu Apr 18 21
هاست سازنده buildhw-x86-16.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 4.2M
حجم نصب 21.745M
This package provides debug information for package why3. Debug information is useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
why3-debuginfo-1.6.0-6.fc39.aarch64.rpm 1.6.0 aarch64 Fedora Everything
why3-debuginfo-1.6.0-6.fc39.x86_64.rpm 1.6.0 x86_64 Fedora Everything
why3-debuginfo-1.7.2-1.fc39.aarch64.rpm 1.7.2 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 00a5b0b2ad08faa1734a53ab57b678f5b41effa5 debuginfo(build-id)
= 10b07afe84182b41dc1415568ad49d4216e605e2 debuginfo(build-id)
= 32f0e789302aacaa223a280a9846746ba9192645 debuginfo(build-id)
= 4719c859f227e6ee49b5905392b51d3a532b2724 debuginfo(build-id)
= 55c9a6d99ae164ee8d876b897cb13193726e062d debuginfo(build-id)
= 599a51a6b4bcd7b489236a5e12f0e82bcd7f4577 debuginfo(build-id)
= 5d6825e60aad8e0cdde9e1548b7a291ad5981db5 debuginfo(build-id)
= 613751e3e2481ab90c7e02d23b991685a217f764 debuginfo(build-id)
= 6895d5048958469c5dcce68b2aad7da5bbdf6c6d debuginfo(build-id)
= 7f027566075ecf65cd5cedd9f90a8914fd4d40e3 debuginfo(build-id)
= 846f5b2fe74aad12045fa7598fd0f8c2d16ccee5 debuginfo(build-id)
= 86d7ee015bf0faee0c6ecd02c26f88d82d4dc993 debuginfo(build-id)
= 89dfbb9e101ea3ee8c826a43fe05feedbdb7cf0a debuginfo(build-id)
= 945f1d58ea5ce15ab36d471c1fa9f562eda3bd4a debuginfo(build-id)
= a75cb9460920d7d071d7279e5ee2aab78d1ec171 debuginfo(build-id)
= a77c114578462684f5352c787fd2a7f3fcb0fb8d debuginfo(build-id)
= a9ca15eed7f62a4ec1fb83c3b1865eaac04f2395 debuginfo(build-id)
= b0d231c0b1eaa4d6223302cc438c833a80541e7e debuginfo(build-id)
= b67a095cd4d4931d253c5dd8022484044f90e871 debuginfo(build-id)
= baf40fc044eb3e02b06209a06fadcce054616881 debuginfo(build-id)
= bb42a8e7eafc41c7153ed88a33e62a5af3aeeb71 debuginfo(build-id)
= c774fe63966b22990b69a58079ef206ff4675c64 debuginfo(build-id)
= d0038f7d8b7f9fd2054e4db424fbabbb435cd9e0 debuginfo(build-id)
= d42bcc3c6a4c0a8cbd9efc53ce5c197be775326f debuginfo(build-id)
= f04acc30fdd4b8d8fd54e91e5ca9407dfda91428 debuginfo(build-id)
= f0af6d5c64b48492e8a704fdc22101ffc887e843 debuginfo(build-id)
= 1.7.2-1.fc39 why3-debuginfo
= 1.7.2-1.fc39 why3-debuginfo(x86-64)


نحوه نصب


نصب پکیج rpm why3-debuginfo:

    dnf install why3-debuginfo-1.7.2-1.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/a5b0b2ad08faa1734a53ab57b678f5b41effa5
/usr/lib/debug/.build-id/00/a5b0b2ad08faa1734a53ab57b678f5b41effa5.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/b07afe84182b41dc1415568ad49d4216e605e2
/usr/lib/debug/.build-id/10/b07afe84182b41dc1415568ad49d4216e605e2.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/f0e789302aacaa223a280a9846746ba9192645
/usr/lib/debug/.build-id/32/f0e789302aacaa223a280a9846746ba9192645.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/19c859f227e6ee49b5905392b51d3a532b2724
/usr/lib/debug/.build-id/47/19c859f227e6ee49b5905392b51d3a532b2724.debug
/usr/lib/debug/.build-id/55
/usr/lib/debug/.build-id/55/c9a6d99ae164ee8d876b897cb13193726e062d
/usr/lib/debug/.build-id/55/c9a6d99ae164ee8d876b897cb13193726e062d.debug
/usr/lib/debug/.build-id/59
/usr/lib/debug/.build-id/59/9a51a6b4bcd7b489236a5e12f0e82bcd7f4577
/usr/lib/debug/.build-id/59/9a51a6b4bcd7b489236a5e12f0e82bcd7f4577.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/6825e60aad8e0cdde9e1548b7a291ad5981db5
/usr/lib/debug/.build-id/5d/6825e60aad8e0cdde9e1548b7a291ad5981db5.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/3751e3e2481ab90c7e02d23b991685a217f764
/usr/lib/debug/.build-id/61/3751e3e2481ab90c7e02d23b991685a217f764.debug
/usr/lib/debug/.build-id/68
/usr/lib/debug/.build-id/68/95d5048958469c5dcce68b2aad7da5bbdf6c6d
/usr/lib/debug/.build-id/68/95d5048958469c5dcce68b2aad7da5bbdf6c6d.debug
/usr/lib/debug/.build-id/7f
/usr/lib/debug/.build-id/7f/027566075ecf65cd5cedd9f90a8914fd4d40e3
/usr/lib/debug/.build-id/7f/027566075ecf65cd5cedd9f90a8914fd4d40e3.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/6f5b2fe74aad12045fa7598fd0f8c2d16ccee5
/usr/lib/debug/.build-id/84/6f5b2fe74aad12045fa7598fd0f8c2d16ccee5.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/d7ee015bf0faee0c6ecd02c26f88d82d4dc993
/usr/lib/debug/.build-id/86/d7ee015bf0faee0c6ecd02c26f88d82d4dc993.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/dfbb9e101ea3ee8c826a43fe05feedbdb7cf0a
/usr/lib/debug/.build-id/89/dfbb9e101ea3ee8c826a43fe05feedbdb7cf0a.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/5f1d58ea5ce15ab36d471c1fa9f562eda3bd4a
/usr/lib/debug/.build-id/94/5f1d58ea5ce15ab36d471c1fa9f562eda3bd4a.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/5cb9460920d7d071d7279e5ee2aab78d1ec171
/usr/lib/debug/.build-id/a7/5cb9460920d7d071d7279e5ee2aab78d1ec171.debug
/usr/lib/debug/.build-id/a7/7c114578462684f5352c787fd2a7f3fcb0fb8d
/usr/lib/debug/.build-id/a7/7c114578462684f5352c787fd2a7f3fcb0fb8d.debug
/usr/lib/debug/.build-id/a9
... and 62 more


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

تاریخ آخرین تغییر جزئیات
2024-04-18

Version 1.7.2

2024-02-02

Version 1.7.1

2024-01-02

Version 1.7.0
Drop upstreamed coq patch

2023-09-09

Rebuild for ocaml-ocamlgraph 2.1.0

2023-07-29

Require cvc5 instead of cvc4

2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-22

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

2023-07-18

Validate metadata with appstream-util

2023-07-13

Rebuild for mpfr 4.2.0

2023-07-10

Version 1.6.0
Enable inference with BDDs
Add patch for coq 8.17 support

2023-04-01

Rebuild for coq 8.17.0

2023-01-24

Rebuild OCaml packages for F38

2023-01-21

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

2023-01-06

BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022

2022-11-26

Rebuild for coq 8.16.1

2022-11-01

Rebuild for ocaml-ppxlib 0.28.0