معرفی شرکت ها

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


ارائه دهنده

مقدار نام
= 05f1b0cd415371f40a559fc0a18a22671a68c15a debuginfo(build-id)
= 11467a7ab400fe66b7e33441b9f0418d133a872d debuginfo(build-id)
= 116a045ffa9b435ccee13503892efa7471d9417c debuginfo(build-id)
= 12ee46d37f500f8011ddaccd2e46665988a60e13 debuginfo(build-id)
= 1594cf70541ed86b9e26c460c8d55c51e8baa48e debuginfo(build-id)
= 1759af14dc8b5dc32e2e8cad76aef8f57c1ca427 debuginfo(build-id)
= 1af634d48f184df9372b76e45fb90f54740de975 debuginfo(build-id)
= 1b0d2cade032672593fa750adf04ed7f8f296ba3 debuginfo(build-id)
= 1d6d3f37871a1caafacb6b41d720d2a5ee979243 debuginfo(build-id)
= 257965f23e3c4da8061597456818f3b4ed34839a debuginfo(build-id)
= 3010c6fa9a8f33fd48a6800faa44c7bc3c6ee7df debuginfo(build-id)
= 315e0f2995cc6814cfc4c85cfedc3ba2aac5cde1 debuginfo(build-id)
= 3400e226e44113881f3a72c5b2fde3bec2e8aa57 debuginfo(build-id)
= 34ca37094bd2eb9b08104dddfca3557dbe18bb87 debuginfo(build-id)
= 367ab5c635d197753cc3b6bd00c55bf2cff6fad1 debuginfo(build-id)
= 36a5b03b4afba6f70d0dc40f159b504d106546c4 debuginfo(build-id)
= 36a6a03579c7b4611d451b30c0822c1491811e95 debuginfo(build-id)
= 3b5534dc07a4a2a241b0b93d6ad89f0f147f3fb7 debuginfo(build-id)
= 3baa66f3d2e33a5272398d1eddd8edf20989180c debuginfo(build-id)
= 3c7f3319374332f651c4fe2dc08b77cd01aa55b8 debuginfo(build-id)
= 3f72d6b826c97796f0de840faf88b8e40a74a10e debuginfo(build-id)
= 4ae09df09d97a549bf64124e5531f8ab94b4cc19 debuginfo(build-id)
= 4c855b5933b4b0f437b58e773ca45a4e86024992 debuginfo(build-id)
= 4d0301c85ea4aff8269148d5922a73624f3ba6e3 debuginfo(build-id)
= 4d2599f042215e967c7ccc3230ebdf3339e6aac0 debuginfo(build-id)
= 5a618bad2baa04c797543d5cfd0e546633f05dc2 debuginfo(build-id)
= 61b9ce4db38a7c4f58b6392d94c59a4c0be3c656 debuginfo(build-id)
= 61e727ff0301795c881aa8cb0c1aaa73ce5fe21f debuginfo(build-id)
= 62669ae7182e28e8765ee40964b9102d1de53b01 debuginfo(build-id)
= 64b935c28b172fec2b72d8077c16a3a206cca32c debuginfo(build-id)
= 6634a9e417fc32d393c99f9ff6d454d42b0eabcb debuginfo(build-id)
= 69386ec3335770cc3bdff6e7572573edbd2ccdc1 debuginfo(build-id)
= 6a57a1fa47790b529e96ec714305ac5420ef4cec debuginfo(build-id)
= 6be819585af285c3823e3e1b5c76180ee5e917a4 debuginfo(build-id)
= 6eb1860c88879e07eb0398e5cb272d98a4881025 debuginfo(build-id)
= 72586de2b84dbfb96f2d75ac75ee506dc4dd8686 debuginfo(build-id)
= 72c07573834e8ec28ee1d5d29ad83c7f39a7a0ca debuginfo(build-id)
= 793fb8e347a7d3439a7566a3023d610cbe24f173 debuginfo(build-id)
= 7b57f4c79125a6d64b0fa229efbc95c778a782c4 debuginfo(build-id)
= 7b94d22135b8d9eedd7038b44d6cada5b314ba65 debuginfo(build-id)
= 7c2692abad6f62542355d5bf557e83975c1e21f6 debuginfo(build-id)
= 7c2e60663fc322cdafbb62305789f9a9b61671b8 debuginfo(build-id)
= 7c573e2d55bfe39d5423808416e602ff9b164659 debuginfo(build-id)
= 7e372cb984f93aed8d1e9a1f68315cf3022ae007 debuginfo(build-id)
= 802ebd99f74ec352ad241143d8af14ac52b0deb5 debuginfo(build-id)
= 83f43d3523aa8bb888a326abbb50d237c7f6e7c2 debuginfo(build-id)
= 8a3c97cedc91dd3d4a9089b1f9706566ac724632 debuginfo(build-id)
= 8ac598129abe4e69ed07932094941fe8a10a09dc debuginfo(build-id)
= 8b7a654a068627e370a40c4f0e7db4ab19c7a302 debuginfo(build-id)
= 8ef8874f7d3959fe44b1a8b551db5134acaad5ed debuginfo(build-id)
= 906092d6442e1c5f96935a77b1f4088632fccda7 debuginfo(build-id)
= 91fc06b9f9e089b74d7b79608abc998546d97350 debuginfo(build-id)
= 95a9381597463da5104ec416e9dfbb249e920db8 debuginfo(build-id)
= 983bc0c036047b9edee3ed7bce92b386edc6b30f debuginfo(build-id)
= 98fb4241380ae96e997feca9f02be4ef6fc667ba debuginfo(build-id)
= 9e27f9adfc13b5031d6325c2725b23f48ae8753a debuginfo(build-id)
= a16f51d168c7c1b2011ef0cb3d41738c5fb52bfe debuginfo(build-id)
= a4196a691abfe3035380329e2f96c0646d7a5cae debuginfo(build-id)
= a9d80404185c65a29c2163297e89c4777fa19e80 debuginfo(build-id)
= ab30520ede4b11c50b3113bf935b7df114ba9b76 debuginfo(build-id)
= adcaabfe87a6e703e6ca0042e0b2d663831a7d27 debuginfo(build-id)
= b005c3f2e1a153f4a0fd671fb4c63b98a90ddc3a debuginfo(build-id)
= b651c06621d68040254e37690a813dc9ecdce15a debuginfo(build-id)
= b8c0afda0edf6d2d69e42f71cd46f53e71e41843 debuginfo(build-id)
= b90d0e64fae6ad66564b20e0bcb10c7c1b62ba88 debuginfo(build-id)
= bfe26ad94e046c82b42cfbbd80653024255b3841 debuginfo(build-id)
= c03bdc338939fda8fab0bfb81d0430fdb76150e8 debuginfo(build-id)
= c181891a65e4825861ca0bc62296dab9965d5f3e debuginfo(build-id)
= c29c594104f375b9ec38784fad5207723bc094be debuginfo(build-id)
= c32c6085c3c43a7430f2b032b0661ead7fa9fdfb debuginfo(build-id)
= ca997717606a0dc64fee302dbb3f779782d3179d debuginfo(build-id)
= cea07b4ce7c8eed405306334c101baf937d4c1d4 debuginfo(build-id)
= cea86b393543d55eab5be22d470586c1eebbb2ad debuginfo(build-id)
= cfab77773af6a023c8ca9c1268ccdde637c998b9 debuginfo(build-id)
= d0e3b18937f0e4a12177e52536be8e03019fbc3b debuginfo(build-id)
= d610033f351b1dccb2aa8fa417b1c4eecd160d15 debuginfo(build-id)
= d78bc5ce128f15e1940a831f25360d30fbe2a19f debuginfo(build-id)
= d7f616b8f491d15c548f5934abef38b87d4da633 debuginfo(build-id)
= dc13af6c4cf7fdab1e2f06b8ac7f18538e6518dc debuginfo(build-id)
= ddccc6b353134585be6d1f4828155d158fcbfed2 debuginfo(build-id)
= e1744a98c0aab5ff0b52a6f6362763961f2d4f53 debuginfo(build-id)
= e20e121f0962bbfc620bf606a746ce5da9655ee3 debuginfo(build-id)
= e42f68e107d30f58ec88f3219aff95534d657887 debuginfo(build-id)
= e4c2c44eb2b385cd517d3b5f7b0216b30b7d8d48 debuginfo(build-id)
= e4c87b06c7f372429d1ce721a4cee2768ecfc694 debuginfo(build-id)
= e533634c44cfd7b08f24b5573e839dd814707461 debuginfo(build-id)
= e8516a35f50ff05794066ccb592222950e4e6b42 debuginfo(build-id)
= ec05f604dd99c2eb0634badfbc961292dc904290 debuginfo(build-id)
= ed33a39c5670c718365a34bb79ab43b42c2d2924 debuginfo(build-id)
= f118f69fb4754ccdb557664a967f4c0ae49de584 debuginfo(build-id)
= f1733adcd7d1cb92fff361b28990c08d69e6cdd4 debuginfo(build-id)
= f2c016bde37d0a55d1d9bc61416260bb6d99ac56 debuginfo(build-id)
= f426221fff6e82a08d2ef5a156859d470762519d debuginfo(build-id)
= fb4266c4ffb0f9c7520e755273d73153fef7d308 debuginfo(build-id)
= fc9b14f856bde641551c7919c36d68e83681aeda debuginfo(build-id)
= fe0afc66d6fa24ce76d83e625f514142bcaa9886 debuginfo(build-id)
= fec03416df39be446983285c9ccfb9f78cd5dec2 debuginfo(build-id)
= ff653bb4c102d62505dd0be1941052e66a5a6ebc debuginfo(build-id)
= fff102cef25cf84f18835febc3be19ee91b063be debuginfo(build-id)
= 1.5.1-6.fc38 why3-debuginfo
= 1.5.1-6.fc38 why3-debuginfo(aarch-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/f1b0cd415371f40a559fc0a18a22671a68c15a
/usr/lib/debug/.build-id/05/f1b0cd415371f40a559fc0a18a22671a68c15a.debug
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/467a7ab400fe66b7e33441b9f0418d133a872d
/usr/lib/debug/.build-id/11/467a7ab400fe66b7e33441b9f0418d133a872d.debug
/usr/lib/debug/.build-id/11/6a045ffa9b435ccee13503892efa7471d9417c
/usr/lib/debug/.build-id/11/6a045ffa9b435ccee13503892efa7471d9417c.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/ee46d37f500f8011ddaccd2e46665988a60e13
/usr/lib/debug/.build-id/12/ee46d37f500f8011ddaccd2e46665988a60e13.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/94cf70541ed86b9e26c460c8d55c51e8baa48e
/usr/lib/debug/.build-id/15/94cf70541ed86b9e26c460c8d55c51e8baa48e.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/59af14dc8b5dc32e2e8cad76aef8f57c1ca427
/usr/lib/debug/.build-id/17/59af14dc8b5dc32e2e8cad76aef8f57c1ca427.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/f634d48f184df9372b76e45fb90f54740de975
/usr/lib/debug/.build-id/1a/f634d48f184df9372b76e45fb90f54740de975.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/0d2cade032672593fa750adf04ed7f8f296ba3
/usr/lib/debug/.build-id/1b/0d2cade032672593fa750adf04ed7f8f296ba3.debug
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/6d3f37871a1caafacb6b41d720d2a5ee979243
/usr/lib/debug/.build-id/1d/6d3f37871a1caafacb6b41d720d2a5ee979243.debug
/usr/lib/debug/.build-id/25
/usr/lib/debug/.build-id/25/7965f23e3c4da8061597456818f3b4ed34839a
/usr/lib/debug/.build-id/25/7965f23e3c4da8061597456818f3b4ed34839a.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/10c6fa9a8f33fd48a6800faa44c7bc3c6ee7df
/usr/lib/debug/.build-id/30/10c6fa9a8f33fd48a6800faa44c7bc3c6ee7df.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/5e0f2995cc6814cfc4c85cfedc3ba2aac5cde1
/usr/lib/debug/.build-id/31/5e0f2995cc6814cfc4c85cfedc3ba2aac5cde1.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/00e226e44113881f3a72c5b2fde3bec2e8aa57
/usr/lib/debug/.build-id/34/00e226e44113881f3a72c5b2fde3bec2e8aa57.debug
/usr/lib/debug/.build-id/34/ca37094bd2eb9b08104dddfca3557dbe18bb87
/usr/lib/debug/.build-id/34/ca37094bd2eb9b08104dddfca3557dbe18bb87.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/7ab5c635d197753cc3b6bd00c55bf2cff6fad1
/usr/lib/debug/.build-id/36/7ab5c635d197753cc3b6bd00c55bf2cff6fad1.debug
/usr/lib/debug/.build-id/36/a5b03b4afba6f70d0dc40f159b504d106546c4
/usr/lib/debug/.build-id/36/a5b03b4afba6f70d0dc40f159b504d106546c4.debug
/usr/lib/debug/.build-id/36/a6a03579c7b4611d451b30c0822c1491811e95
/usr/lib/debug/.build-id/36/a6a03579c7b4611d451b30c0822c1491811e95.debug
/usr/lib/debug/.build-id/3b
... and 362 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