معرفی شرکت ها

why3-debuginfo-1.6.0-6.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.6.0-6.fc39.x86_64.rpm
نسخه بسته 1.6.0
انتشار بسته 6.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sun 10 Sep 2023 08
هاست سازنده buildhw-x86-01.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 4.2M
حجم نصب 21.376M
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.7.2-1.fc39.aarch64.rpm 1.7.2 aarch64 Fedora Everything
why3-debuginfo-1.7.2-1.fc39.x86_64.rpm 1.7.2 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 04335c883a4675950559458fb97877672c15190b debuginfo(build-id)
= 146381a1e83d847efb89134fad4ec9b6374c4fea debuginfo(build-id)
= 1c16aed141aa6a4ea2c1fea0d5f75581878fed64 debuginfo(build-id)
= 357808167a95b44a9ee76fdc754b36e4903ae939 debuginfo(build-id)
= 419fa7a21b79d4af053508bb33ada5863b5f818e debuginfo(build-id)
= 51ec42d9e19e30083b984d988f2a446fa3a906e4 debuginfo(build-id)
= 5803b3acebe0064e228d5962ae1bb1b21e2cc842 debuginfo(build-id)
= 5b968b096f50983899dde92ace7a00a93bf52e9b debuginfo(build-id)
= 6aa9238c042d152ea6462a98e1d101d9a4918ab4 debuginfo(build-id)
= 6cd02f154e531b4a41458ec901c8a6d2f5a6ded8 debuginfo(build-id)
= 74ccb42121170d0790ef0c0d3463e32b4013096a debuginfo(build-id)
= 7937cfa1798c1a038080b00e8a26d33ff0981846 debuginfo(build-id)
= 7e7ffaf6bc7b0ac92dc14e6e9f94a3b9033e02d9 debuginfo(build-id)
= 8037d8ad4f9fb831c38035c125ec4d9a1ed21a1b debuginfo(build-id)
= 8dbb263639049d0e812f24116507a6eed32a8200 debuginfo(build-id)
= a2729731adda373e942a39ee877ac2191cb4b530 debuginfo(build-id)
= a39745e5aaf9225ce30dd41222412e4de615fd9d debuginfo(build-id)
= a7ddc1a7e9430cd8b669e05381501140d2eb303a debuginfo(build-id)
= a857dc2fdd321267b4bb54bed10b16d141cbc99d debuginfo(build-id)
= ad8f79c7d05e6086ce71b804ede96305fef5d169 debuginfo(build-id)
= b36d04231c256dfaa67e65ea9c658a37cfee6d46 debuginfo(build-id)
= b73e4637953698ce588161a86b5340c42801e599 debuginfo(build-id)
= d08cbd8e5b7fb1df40fabbb2b21fa72eaf722622 debuginfo(build-id)
= d64c28607bddae86704e6ed286d700707101eb2e debuginfo(build-id)
= f22319c0b3d766da69378747975e75703960ed66 debuginfo(build-id)
= 1.6.0-6.fc39 why3-debuginfo
= 1.6.0-6.fc39 why3-debuginfo(x86-64)


نحوه نصب


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

    dnf install why3-debuginfo-1.6.0-6.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/04
/usr/lib/debug/.build-id/04/335c883a4675950559458fb97877672c15190b
/usr/lib/debug/.build-id/04/335c883a4675950559458fb97877672c15190b.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/6381a1e83d847efb89134fad4ec9b6374c4fea
/usr/lib/debug/.build-id/14/6381a1e83d847efb89134fad4ec9b6374c4fea.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/16aed141aa6a4ea2c1fea0d5f75581878fed64
/usr/lib/debug/.build-id/1c/16aed141aa6a4ea2c1fea0d5f75581878fed64.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/7808167a95b44a9ee76fdc754b36e4903ae939
/usr/lib/debug/.build-id/35/7808167a95b44a9ee76fdc754b36e4903ae939.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/9fa7a21b79d4af053508bb33ada5863b5f818e
/usr/lib/debug/.build-id/41/9fa7a21b79d4af053508bb33ada5863b5f818e.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/ec42d9e19e30083b984d988f2a446fa3a906e4
/usr/lib/debug/.build-id/51/ec42d9e19e30083b984d988f2a446fa3a906e4.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/03b3acebe0064e228d5962ae1bb1b21e2cc842
/usr/lib/debug/.build-id/58/03b3acebe0064e228d5962ae1bb1b21e2cc842.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/968b096f50983899dde92ace7a00a93bf52e9b
/usr/lib/debug/.build-id/5b/968b096f50983899dde92ace7a00a93bf52e9b.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/a9238c042d152ea6462a98e1d101d9a4918ab4
/usr/lib/debug/.build-id/6a/a9238c042d152ea6462a98e1d101d9a4918ab4.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/d02f154e531b4a41458ec901c8a6d2f5a6ded8
/usr/lib/debug/.build-id/6c/d02f154e531b4a41458ec901c8a6d2f5a6ded8.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/ccb42121170d0790ef0c0d3463e32b4013096a
/usr/lib/debug/.build-id/74/ccb42121170d0790ef0c0d3463e32b4013096a.debug
/usr/lib/debug/.build-id/79
/usr/lib/debug/.build-id/79/37cfa1798c1a038080b00e8a26d33ff0981846
/usr/lib/debug/.build-id/79/37cfa1798c1a038080b00e8a26d33ff0981846.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/7ffaf6bc7b0ac92dc14e6e9f94a3b9033e02d9
/usr/lib/debug/.build-id/7e/7ffaf6bc7b0ac92dc14e6e9f94a3b9033e02d9.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/37d8ad4f9fb831c38035c125ec4d9a1ed21a1b
/usr/lib/debug/.build-id/80/37d8ad4f9fb831c38035c125ec4d9a1ed21a1b.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/bb263639049d0e812f24116507a6eed32a8200
/usr/lib/debug/.build-id/8d/bb263639049d0e812f24116507a6eed32a8200.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/729731adda373e942a39ee877ac2191cb4b530
/usr/lib/debug/.build-id/a2/729731adda373e942a39ee877ac2191cb4b530.debug
... and 60 more


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

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

2022-09-16

Version 1.5.1

2022-08-18

Rebuild to fix coq dependency
Convert License tag to SPDX

2022-07-23

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