معرفی شرکت ها

why3-debuginfo-1.5.1-6.fc38.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 38
مخزن Fedora Everything x86_64
نام بسته why3-debuginfo
نام فایل بسته why3-debuginfo-1.5.1-6.fc38.x86_64.rpm
نسخه بسته 1.5.1
انتشار بسته 6.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 11
هاست سازنده buildhw-x86-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 2.3M
حجم نصب 14.875M
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.5.1-6.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-8.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-8.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 01145ea262620b0895bbe2c9a3085bbdb297cfe3 debuginfo(build-id)
= 03e0e8183548ec1e1684879909da5562e3c504f4 debuginfo(build-id)
= 0542b76e29b98d2fe7e922b2d1ca02672f1afa58 debuginfo(build-id)
= 09d068a534970fb43627911a762156fb418ffd99 debuginfo(build-id)
= 0afb953d4c0bf7d12f2c038afef68b061e956d2c debuginfo(build-id)
= 108fdeab8a68ba63200d88b74357edaac8290beb debuginfo(build-id)
= 144250a257d500deb14b686faf7ee03114f5d65a debuginfo(build-id)
= 18c2e6dc0a6f2e0f0a9ac1e7ef8879b853b4d4cf debuginfo(build-id)
= 19248bdb5757de1932adb34d0b92f90c366c3d5b debuginfo(build-id)
= 1c8272e64f0e0d7343d81d9c053fee92cd96dba8 debuginfo(build-id)
= 1e4bd924b0d8f39496b8786ea740ec3b7917f19a debuginfo(build-id)
= 2180ee26ee3daa0011d839ad8be3ca548eaa016e debuginfo(build-id)
= 230d67560381c6831bca243b934e055feb5e54b0 debuginfo(build-id)
= 257d4bb5f5afa2eb66b4bbb9d9663cbc69118c52 debuginfo(build-id)
= 25e348eb5d938ebbc5f232163b73ee1ff89ff4d0 debuginfo(build-id)
= 2ac5cffaf84f20c14f985996834b568ac5ec3822 debuginfo(build-id)
= 2c0fac0fc7abe07549e4b3570f00cfe36dba4062 debuginfo(build-id)
= 2d5f2f646e6b71168f194e88304aef63539c2d8c debuginfo(build-id)
= 323c27c4eacfa1a5f9d9a349b87143e729c46038 debuginfo(build-id)
= 401681013b29018ec425282b360c6fa9f2378f03 debuginfo(build-id)
= 429cdf91b78f0e1f95c69a661ea24c13d75c3ab2 debuginfo(build-id)
= 4798a227ed9179328e3a965df1560dc82c5d790a debuginfo(build-id)
= 50819ea6a9153ae2623ef6d225922dd080ef1052 debuginfo(build-id)
= 51d6725b162e53ae44445da374d0e000c7772daa debuginfo(build-id)
= 524c7979c68f596a045a536cbeecbecf13c6720e debuginfo(build-id)
= 590c3d93dfc8c3c124a8615d6e91bfd13fd083a3 debuginfo(build-id)
= 59169816e97da2960da8882feb93828aac6eafcb debuginfo(build-id)
= 5a42122e1dd947d798d293695631fde507f3d15c debuginfo(build-id)
= 5f01121bc008294146a09dd340298c1da44e6bab debuginfo(build-id)
= 642f1fbd9e785b984f17466aec255977f45bddf0 debuginfo(build-id)
= 66b207d88927604bb9c84b9f935fc0ca88336607 debuginfo(build-id)
= 6a559845cc02dc308098f2d447c0c18a85621b8b debuginfo(build-id)
= 6af2334593c87e3063495f9c3386a2823254c552 debuginfo(build-id)
= 6d7ca03966069f4b7e982c414d7c003a49fd9b2a debuginfo(build-id)
= 7168f013012869d04ce1efafb81c0883d0e587c2 debuginfo(build-id)
= 725889cb77ca4702f3ff6a34c8daf7ff0c4ff8ec debuginfo(build-id)
= 747445dc5fcfd74a277314a4148f83c5327cb55a debuginfo(build-id)
= 76208d2b48832d972eb9a245a5d673e04755ed13 debuginfo(build-id)
= 7d28b3b359030f2805397210353da2dc9eba35d6 debuginfo(build-id)
= 85b59d98292cd75e4c1acffba9696351cea2846e debuginfo(build-id)
= 885cadfba65ad60f67ad83208bf6523628bc178b debuginfo(build-id)
= 893bc7e805860f6fa69c7ebc9f50ee1f7b5f2e85 debuginfo(build-id)
= 8b7b5a1334ddef7c209def495f1382834ccf525e debuginfo(build-id)
= 93b8eb9dc23f7e60710bae0f47d14be75bc54c7a debuginfo(build-id)
= 958c9dc9b86beb0a462b8d32c862b24482f61694 debuginfo(build-id)
= 95a9ae183a8dbe7e5c7ad1a8a9c7cbb28387c200 debuginfo(build-id)
= 97bcfbe939222b9c0ac178e32ea844ccaecb1276 debuginfo(build-id)
= 97f396308721822907a8467882d2e7849282dcf0 debuginfo(build-id)
= 9848f852a2a3629c1b33abf3071cc6a09efd27df debuginfo(build-id)
= 9a0630c42e1ea5f0e95796531d61c92ad3829084 debuginfo(build-id)
= 9aacc9410b34f1bd00685e44af386828dea6997d debuginfo(build-id)
= 9b5d95e7e2e847664c4150e8dc7c01b3818b368c debuginfo(build-id)
= a05ecac212af4d8110975272f22e0b945b5a041a debuginfo(build-id)
= a0734d633c1a999c17907f3cf2a21c8cddd1fb10 debuginfo(build-id)
= a17fe1d9b711b23db104da883fd41f2c5e278587 debuginfo(build-id)
= a2def069493e78deab087a032c61660d7cb5d742 debuginfo(build-id)
= a3eacb1bea752736a72bee41dfbae59f6d2da43b debuginfo(build-id)
= a6ccc585c93b53dc3ef5bc143786840e5174fdc3 debuginfo(build-id)
= a8b39b892fc8df03f059daf9f25f6422389ae29b debuginfo(build-id)
= adcb6fa62b46aaa0e06dde538ad987b7e6e3d36f debuginfo(build-id)
= af1a0449cd2c97b97bcecbf3a534523f643b6765 debuginfo(build-id)
= afd6971541a0b6f458941eb9246a87beee09863a debuginfo(build-id)
= b0c79d140d3b2c4cc55e82e3f37f6eca48bf307b debuginfo(build-id)
= b32cb6e88dda8f855b3d799871ea0dbd2b5a69e0 debuginfo(build-id)
= b39f91ccacc862abdaf9640657c1544cf80bab30 debuginfo(build-id)
= b68703a9cb5c299f3020ef76017bbe2d2ef5dcb6 debuginfo(build-id)
= b83c501cd566d949c7c7c0fc32785ab61e46dc7d debuginfo(build-id)
= b86e62de2633ab2b700dde74b536232a7ba2bf4b debuginfo(build-id)
= b9693520514a6d02bb19d5623ddb55d86a1b993c debuginfo(build-id)
= bcb5ab77e890e106783d01679cac83afcb8d537e debuginfo(build-id)
= bdc9861b1c9bcdae400b15f514af063c8f1b2c12 debuginfo(build-id)
= bed2abed04fab834940f7b24e51219204c5d417f debuginfo(build-id)
= c87bffb332a5393043b733034c7baebaa802b238 debuginfo(build-id)
= cb16013448e21a92b6004b2c43ae1f80c0d9e15a debuginfo(build-id)
= cc0d84ceb9359cfc46f8ce0169890f06e93e66bd debuginfo(build-id)
= ce96a1b8f543b90f1bbd3fdfa3a671f1ea19b11e debuginfo(build-id)
= cf76c48580a8d47c10629f066b36da20ca66bca3 debuginfo(build-id)
= d243df87805e5e1e581c630766a6209585e6066a debuginfo(build-id)
= d3bf3bbf4d0daf7153a4ec2acdca3c05dd1d3854 debuginfo(build-id)
= d624e2d78942bb3bb20b9c319f29c242348fc7eb debuginfo(build-id)
= d733e4715d22af8e3b60428831c7d6c11e14f48d debuginfo(build-id)
= da0fcd221bdf3db0497372335fb949b677da23a4 debuginfo(build-id)
= db0bfc9f2d8d53602ed1b25a4f4d327f03cab7a2 debuginfo(build-id)
= db20e5763d6a96a5899842206b18b445c6c4bd5d debuginfo(build-id)
= ddeacb86d0bf64728530f3fcf5a54cdbde4aae88 debuginfo(build-id)
= de1d597f831cbe4879276b4be2954a9b4d5e515b debuginfo(build-id)
= deabcedc9eca854c78c8e4c3ba759010ce1767ba debuginfo(build-id)
= e73d3d323a744561e454c80d53126d87ac87d52b debuginfo(build-id)
= e8da64d63244b412ff71381da87cb470e3d58ed0 debuginfo(build-id)
= e93837e51b02ea8b70d101fb243967f305789b2a debuginfo(build-id)
= ea9f3d083d299be03ea37f4a712b7ac3ceb9736e debuginfo(build-id)
= ee643640240dd80125f71566bfa3a6ea1f2e07b5 debuginfo(build-id)
= ef2a841659a31a27d1d6f9ac2fe622d766be11a6 debuginfo(build-id)
= f23dfa7c9a8aa369be4bb5b15b78890bb49254e0 debuginfo(build-id)
= f3119f4518bb9328a6e3c117d404c6d7aa35a203 debuginfo(build-id)
= f8c0aa21c975e57230ed28437ba356a03cc53b8d debuginfo(build-id)
= f94dce7f50f992e61d23a448a0d83985ad41d1aa debuginfo(build-id)
= fc125304a77497deb967fa2991fb4abfd218fd9c debuginfo(build-id)
= fcd17c1543a450ee8396b687e8d3549415001b42 debuginfo(build-id)
= 1.5.1-6.fc38 why3-debuginfo
= 1.5.1-6.fc38 why3-debuginfo(x86-64)


نحوه نصب


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

    dnf install why3-debuginfo-1.5.1-6.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/01
/usr/lib/debug/.build-id/01/145ea262620b0895bbe2c9a3085bbdb297cfe3
/usr/lib/debug/.build-id/01/145ea262620b0895bbe2c9a3085bbdb297cfe3.debug
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/e0e8183548ec1e1684879909da5562e3c504f4
/usr/lib/debug/.build-id/03/e0e8183548ec1e1684879909da5562e3c504f4.debug
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/42b76e29b98d2fe7e922b2d1ca02672f1afa58
/usr/lib/debug/.build-id/05/42b76e29b98d2fe7e922b2d1ca02672f1afa58.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/d068a534970fb43627911a762156fb418ffd99
/usr/lib/debug/.build-id/09/d068a534970fb43627911a762156fb418ffd99.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/fb953d4c0bf7d12f2c038afef68b061e956d2c
/usr/lib/debug/.build-id/0a/fb953d4c0bf7d12f2c038afef68b061e956d2c.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/8fdeab8a68ba63200d88b74357edaac8290beb
/usr/lib/debug/.build-id/10/8fdeab8a68ba63200d88b74357edaac8290beb.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/4250a257d500deb14b686faf7ee03114f5d65a
/usr/lib/debug/.build-id/14/4250a257d500deb14b686faf7ee03114f5d65a.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/c2e6dc0a6f2e0f0a9ac1e7ef8879b853b4d4cf
/usr/lib/debug/.build-id/18/c2e6dc0a6f2e0f0a9ac1e7ef8879b853b4d4cf.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/248bdb5757de1932adb34d0b92f90c366c3d5b
/usr/lib/debug/.build-id/19/248bdb5757de1932adb34d0b92f90c366c3d5b.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/8272e64f0e0d7343d81d9c053fee92cd96dba8
/usr/lib/debug/.build-id/1c/8272e64f0e0d7343d81d9c053fee92cd96dba8.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/4bd924b0d8f39496b8786ea740ec3b7917f19a
/usr/lib/debug/.build-id/1e/4bd924b0d8f39496b8786ea740ec3b7917f19a.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/80ee26ee3daa0011d839ad8be3ca548eaa016e
/usr/lib/debug/.build-id/21/80ee26ee3daa0011d839ad8be3ca548eaa016e.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/0d67560381c6831bca243b934e055feb5e54b0
/usr/lib/debug/.build-id/23/0d67560381c6831bca243b934e055feb5e54b0.debug
/usr/lib/debug/.build-id/25
/usr/lib/debug/.build-id/25/7d4bb5f5afa2eb66b4bbb9d9663cbc69118c52
/usr/lib/debug/.build-id/25/7d4bb5f5afa2eb66b4bbb9d9663cbc69118c52.debug
/usr/lib/debug/.build-id/25/e348eb5d938ebbc5f232163b73ee1ff89ff4d0
/usr/lib/debug/.build-id/25/e348eb5d938ebbc5f232163b73ee1ff89ff4d0.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/c5cffaf84f20c14f985996834b568ac5ec3822
/usr/lib/debug/.build-id/2a/c5cffaf84f20c14f985996834b568ac5ec3822.debug
/usr/lib/debug/.build-id/2c
... and 369 more


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

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

2022-07-19

Remove i686 support

2022-07-07

Version 1.5.0
Add ocaml-mlmpfr support
Drop unmaintained man pages
Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-03-25

Rebuild for coq 8.15.1

2022-02-28

Version 1.4.1

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-22

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

2022-01-17

Rebuild for menhir 20211230