معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Debug information for package why3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	why3-debuginfo
نام فایل بسته	why3-debuginfo-1.7.2-1.fc39.aarch64.rpm
نسخه بسته	1.7.2
انتشار بسته	1.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Thu 18 Apr 2024 09
هاست سازنده	buildvm-a64-13.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://why3.lri.fr/
مجوز	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود	3.9M
حجم نصب	21.540M

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.x86_64.rpm	1.7.2	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 19619880f09e585d47c0d516a4d956a83d979c21	debuginfo(build-id)
= 242a868c8f96563341d8d9bcbcfaf29122d59f73	debuginfo(build-id)
= 2ce9fe9a6e99cd69e4713113fedfbc041417c868	debuginfo(build-id)
= 2d3fb9b50ec2098f16359851a264a47e52e18d25	debuginfo(build-id)
= 3124e8a83adb56330adb8ed5fdfcf45f161b9839	debuginfo(build-id)
= 40b5b32249710cc3ea1579a7ed20a46143b4d4a0	debuginfo(build-id)
= 4b112b809391be27841019699fb96c9a526cf2e0	debuginfo(build-id)
= 4bdfd7272e7e4fe79e0e883585f805e9e6773ccf	debuginfo(build-id)
= 4e77c9fa995d6afc4799f91bbadf526eda30c092	debuginfo(build-id)
= 5ef9b949a648fe46aa187591c0088c67a0656fa3	debuginfo(build-id)
= 6ba516e97976bdd5825ed858a90ca3018b0d1b90	debuginfo(build-id)
= 7251a182c583346e1ad753b22f204610584a0e61	debuginfo(build-id)
= 81c14556d7b265de0f0cb01bf83fcacf68f85c3b	debuginfo(build-id)
= 8a4f2352d640a63ae4f7446a47478cf7e7e8f02d	debuginfo(build-id)
= 99bd96b1c42aebaead7d124f1edd26223994dbe2	debuginfo(build-id)
= 9e2774eceb3b1bf1bdc9d163371014e8c95d1d9b	debuginfo(build-id)
= a2e32859131a7a91e3d801859defd35ad6338443	debuginfo(build-id)
= a8becc85c232ceb1b471cb99067be618b2d99f26	debuginfo(build-id)
= b311a4aeb3d8af40c44e061da8708fa24edc8145	debuginfo(build-id)
= b625137f421a33c834a27f4ed80033aceb775276	debuginfo(build-id)
= c5774dd374612d8cda91493c9aa4482418355642	debuginfo(build-id)
= c79e0aa056cc8c11e29cdab555465a6a38542932	debuginfo(build-id)
= cb05886819c4846950ae3c8d2ed929af20d4bbcb	debuginfo(build-id)
= ecd95c0bc536bacb50e77cba2075881ef7703fe0	debuginfo(build-id)
= f5f63bd55add803362a3d4f0d27842b068be9d3d	debuginfo(build-id)
= f7747a7f2892ee5b7ecd3999c2b391649b373de8	debuginfo(build-id)
= 1.7.2-1.fc39	why3-debuginfo
= 1.7.2-1.fc39	why3-debuginfo(aarch-64)

نحوه نصب

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

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

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/619880f09e585d47c0d516a4d956a83d979c21
/usr/lib/debug/.build-id/19/619880f09e585d47c0d516a4d956a83d979c21.debug
/usr/lib/debug/.build-id/24
/usr/lib/debug/.build-id/24/2a868c8f96563341d8d9bcbcfaf29122d59f73
/usr/lib/debug/.build-id/24/2a868c8f96563341d8d9bcbcfaf29122d59f73.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/e9fe9a6e99cd69e4713113fedfbc041417c868
/usr/lib/debug/.build-id/2c/e9fe9a6e99cd69e4713113fedfbc041417c868.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/3fb9b50ec2098f16359851a264a47e52e18d25
/usr/lib/debug/.build-id/2d/3fb9b50ec2098f16359851a264a47e52e18d25.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/24e8a83adb56330adb8ed5fdfcf45f161b9839
/usr/lib/debug/.build-id/31/24e8a83adb56330adb8ed5fdfcf45f161b9839.debug
/usr/lib/debug/.build-id/40
/usr/lib/debug/.build-id/40/b5b32249710cc3ea1579a7ed20a46143b4d4a0
/usr/lib/debug/.build-id/40/b5b32249710cc3ea1579a7ed20a46143b4d4a0.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/112b809391be27841019699fb96c9a526cf2e0
/usr/lib/debug/.build-id/4b/112b809391be27841019699fb96c9a526cf2e0.debug
/usr/lib/debug/.build-id/4b/dfd7272e7e4fe79e0e883585f805e9e6773ccf
/usr/lib/debug/.build-id/4b/dfd7272e7e4fe79e0e883585f805e9e6773ccf.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/77c9fa995d6afc4799f91bbadf526eda30c092
/usr/lib/debug/.build-id/4e/77c9fa995d6afc4799f91bbadf526eda30c092.debug
/usr/lib/debug/.build-id/5e
/usr/lib/debug/.build-id/5e/f9b949a648fe46aa187591c0088c67a0656fa3
/usr/lib/debug/.build-id/5e/f9b949a648fe46aa187591c0088c67a0656fa3.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/a516e97976bdd5825ed858a90ca3018b0d1b90
/usr/lib/debug/.build-id/6b/a516e97976bdd5825ed858a90ca3018b0d1b90.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/51a182c583346e1ad753b22f204610584a0e61
/usr/lib/debug/.build-id/72/51a182c583346e1ad753b22f204610584a0e61.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/c14556d7b265de0f0cb01bf83fcacf68f85c3b
/usr/lib/debug/.build-id/81/c14556d7b265de0f0cb01bf83fcacf68f85c3b.debug
/usr/lib/debug/.build-id/8a
/usr/lib/debug/.build-id/8a/4f2352d640a63ae4f7446a47478cf7e7e8f02d
/usr/lib/debug/.build-id/8a/4f2352d640a63ae4f7446a47478cf7e7e8f02d.debug
/usr/lib/debug/.build-id/99
/usr/lib/debug/.build-id/99/bd96b1c42aebaead7d124f1edd26223994dbe2
/usr/lib/debug/.build-id/99/bd96b1c42aebaead7d124f1edd26223994dbe2.debug
/usr/lib/debug/.build-id/9e
/usr/lib/debug/.build-id/9e/2774eceb3b1bf1bdc9d163371014e8c95d1d9b
/usr/lib/debug/.build-id/9e/2774eceb3b1bf1bdc9d163371014e8c95d1d9b.debug
/usr/lib/debug/.build-id/a2
... and 63 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