معرفی شرکت ها

why3-debuginfo-1.5.1-1.fc37.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 37
مخزن Fedora Everything x86_64
نام بسته why3-debuginfo
نام فایل بسته why3-debuginfo-1.5.1-1.fc37.x86_64.rpm
نسخه بسته 1.5.1
انتشار بسته 1.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 05
هاست سازنده buildvm-x86-16.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 1.8M
حجم نصب 11.756M
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-1.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-3.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
why3-debuginfo-1.5.1-3.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 0537ad8f05933778c8d4228ad16948c531f9ee33 debuginfo(build-id)
= 078b3fb5952e506d44b77d5b59aadaf6e8f51884 debuginfo(build-id)
= 099bc94bc56dc81348254400b3c9898d6910b4d1 debuginfo(build-id)
= 0a9f8508e07d44bcfdc2f743255ca2c2c7a2340a debuginfo(build-id)
= 0adb85dbf9fb1e894043589360af2569890a03a5 debuginfo(build-id)
= 11482d753e85097a6aa2c2c026c55119834513f4 debuginfo(build-id)
= 11d7740e839fa2929909ddb91a3f47b3a7b6f75f debuginfo(build-id)
= 1630748820aa235b535e51fb2340ac4289ac3b30 debuginfo(build-id)
= 18025688658be70b1ef0f8bec1ae2d1a42e97e64 debuginfo(build-id)
= 180c74769754adfd818735161dcea5dc3cd2c6cb debuginfo(build-id)
= 1b6b02cd3592010caa3a9ac46588ce076fc23a09 debuginfo(build-id)
= 1caa2c3993280dd7936ee8792f85533c524dc54b debuginfo(build-id)
= 1cdece5c7b15fe5e6753644586de97b7dfe66f3f debuginfo(build-id)
= 20a80a03d0cf9237b5365c9023aec8b421295bdc debuginfo(build-id)
= 214d1e9d8ca876ad79527afe12f1805694600d1a debuginfo(build-id)
= 21f45cd210941f3b01ebe7bda52cc8645395f734 debuginfo(build-id)
= 28ddcc307e73eed29356bab9c5d89b1c3210f0ac debuginfo(build-id)
= 2c0bb1ac5d573e6447b21ff0e6bd25e4d4b0a3f9 debuginfo(build-id)
= 31d7fbd4646678799b375d81d70225144b6c1588 debuginfo(build-id)
= 3246273f5d8f92eba0b17d94455a42f3255629a7 debuginfo(build-id)
= 3a314d9d025116c18c9fe29f38d0742dff72891a debuginfo(build-id)
= 3b8b6a6e9f59c544f075f50692b7ef137c128628 debuginfo(build-id)
= 3e185ad58dfb80af844bf8bc42dcbe6f86368e6f debuginfo(build-id)
= 41e1a1a16a3c1d11005213fec6469f0f85bb050e debuginfo(build-id)
= 43626aaa054a8ef0b2afb3a6df850d4732ed6add debuginfo(build-id)
= 43b4c53410f166f8a1fecbec2e7c73d858747bd4 debuginfo(build-id)
= 440b7f89dea49d45f37a19d7064f760d3056a23e debuginfo(build-id)
= 468e7e2d7a7b00463c68e5bf7a136d423fb7d3cd debuginfo(build-id)
= 4740fb5b1957600a6542ca87d4c46e8396f12688 debuginfo(build-id)
= 489fb2c4bfd08a2a6ecc3d8da299b1db5b2905a7 debuginfo(build-id)
= 48a686f204c3ee779362b3e6504a8d9d187e965e debuginfo(build-id)
= 49f4998b402f5688719b05d891ea3a6145d03a8f debuginfo(build-id)
= 4b21ad71485244c731191729b894650ac86628c3 debuginfo(build-id)
= 4b92a2b696172e831cdcd2a8799c17e1cba54bfe debuginfo(build-id)
= 4b95fca75bea80765e23ab2132695f8537a42b5e debuginfo(build-id)
= 52a555008093e328b3769414f717391e3ce33e17 debuginfo(build-id)
= 553e2b40baf407f5d574e949d3bbb7fc6fe13a0f debuginfo(build-id)
= 5cf2843340ab6baf87f94758c2a1fdd31ce746d5 debuginfo(build-id)
= 6390a63ed8568fb5f001e00e1e6b4ba6963b719c debuginfo(build-id)
= 63c12037dd10f339a9733de71c365e131f75b312 debuginfo(build-id)
= 6b59ffe12abdc327a48e030c6f3a26f8052655f2 debuginfo(build-id)
= 6baaab2f3171245c4c554bb0e62a70bbd611990f debuginfo(build-id)
= 6da76de210aa544d66042fabada40d54aa5572a6 debuginfo(build-id)
= 6e6eb2288b7d3f5ed1270095ffd16d7655263192 debuginfo(build-id)
= 6f890aca59a61792adeedcfe98fe8ee7039bb557 debuginfo(build-id)
= 79817049bb881f10a27bcc19c064e5eb33dc605e debuginfo(build-id)
= 7a0ffcf6e7fa20d48a4f215f816b3a29a3f3c625 debuginfo(build-id)
= 7d14484c28fe0a0fd3a8980c0d435080a7ef9c21 debuginfo(build-id)
= 8118ed03e96a2463a845f423e6c28c8a0e0b4f49 debuginfo(build-id)
= 85cb69e0395985012e00544c3120ec3a2377abf5 debuginfo(build-id)
= 8b6f153bd4856f0c46fd5823df06596f014bc397 debuginfo(build-id)
= 8bd6fe89230756e6641ed880d8eb3ad2915ddf92 debuginfo(build-id)
= 8ee8e20330c77488a093e239698a1d3d78d3596b debuginfo(build-id)
= 97bf5d38dbb475380f60ec81ab2992b4304831d1 debuginfo(build-id)
= 9a8db18efdb2b825546c098fcaa53bfe0517f527 debuginfo(build-id)
= 9aca8ad18e5aad48e328234618e2a87420c0120c debuginfo(build-id)
= 9e5b6d96f3fff41fe4021a709dbff7c15bc19c54 debuginfo(build-id)
= a071d8521c532c64678903878780fdaeae129a41 debuginfo(build-id)
= a3b72a00420a6df083b58b261f642dbf054d32b2 debuginfo(build-id)
= a46f12a2de72d3ac7cbbca564135de1609a6bcde debuginfo(build-id)
= a495918e8d8c0ba8df8cd8e74c669c149ae4fecc debuginfo(build-id)
= a5eae1a635ab1609612e426964319067b2cbb26f debuginfo(build-id)
= a99a8195df2ab9bef6546d7ad09f0958744dd1d3 debuginfo(build-id)
= b3c3a756f157550acb5032027415190324a99a4e debuginfo(build-id)
= b5dd5bd13e68393c8abcd4f1c63c1918570d0d37 debuginfo(build-id)
= b89454fac30eb9e3bcb9c637cc2f2085022e34bb debuginfo(build-id)
= b8af9bf1fbcf026ad9cc0e78da13b5d8a09ab8f1 debuginfo(build-id)
= ba228f49958e938e48f1f929e222effa358a9829 debuginfo(build-id)
= bb8e96f1bca726ab89a04d70c0db5e9823ae53ff debuginfo(build-id)
= bdb413a534e0879f1ea320e1a99474b77bee8b72 debuginfo(build-id)
= bfd0179f073c3653c289ed08f6c76cc87fe67c1c debuginfo(build-id)
= c26a85226b0bf4d7227ca64275b8398bf4317375 debuginfo(build-id)
= c47e6b00ff1b06e57811bcc9946e74ab81247cf0 debuginfo(build-id)
= c590458ac0cfef804ef7da10411d08e16d0aca40 debuginfo(build-id)
= c86eee512ce1d19764652e08e70056539e7f2ead debuginfo(build-id)
= c9bfcc23579dea690bab4f285d14d537315536d8 debuginfo(build-id)
= c9ee5ed382330f90a41ba82fa8dd355efe9d3e0e debuginfo(build-id)
= ca678e9ea36990c630752c4c01d28396d8769177 debuginfo(build-id)
= cb47e64d33b3760a17f10da5f42f256e8744e8dd debuginfo(build-id)
= cc271887a8acb77ce430bbeb8d6914c429627e25 debuginfo(build-id)
= cd38cd99b17bc598563551c522d7d0b638f206b3 debuginfo(build-id)
= ce6fbbdd57000bf79996cb8edfe14d7b08eeca17 debuginfo(build-id)
= d1c13f1d060172336ec192ca9bd9cd6d83f27ad7 debuginfo(build-id)
= d60af05d46f3ef0313d458c177e60e3bb933a05c debuginfo(build-id)
= d6e8f209fab5dc7ac1116c4fd4101b23d252cb4a debuginfo(build-id)
= da5e39deb6fc816c9063de31272d363502f3e37b debuginfo(build-id)
= dd33eb2f81c6ad32b0640013d88bea44c70812cc debuginfo(build-id)
= dfa9b208a6285c25527161edec72e44f0c71cbe7 debuginfo(build-id)
= e1cd6685b6779f27219039015f29fc5a5fabb653 debuginfo(build-id)
= e69f7f4c6080393520bb2431256cd86f2003853b debuginfo(build-id)
= e6aaeddb4d5cb678df1d058e77d5d745fbff0d7c debuginfo(build-id)
= e8e5c6ada3f634b92dcb76bb3d288f4035f0db8f debuginfo(build-id)
= ea86a14ca769c32f4d27e89e20760a56f7bb1549 debuginfo(build-id)
= eb79fffb79592ed24ef81221eb948e542518caad debuginfo(build-id)
= ecf773f7bc7a2a5ad924f5f229710840c1d523ba debuginfo(build-id)
= ef2f8565bd859202b5f276701af8273cb81f52b8 debuginfo(build-id)
= f44c8811dacf2f4aeb30241e4f293268be3f42de debuginfo(build-id)
= f7dc4a152f35c3588372e08ce3937803a510362f debuginfo(build-id)
= fd2f1b0e3272c33b4c8c30d5b3e4ca4d5cf359a6 debuginfo(build-id)
= 1.5.1-1.fc37 why3-debuginfo
= 1.5.1-1.fc37 why3-debuginfo(x86-64)


نحوه نصب


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

    dnf install why3-debuginfo-1.5.1-1.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/37ad8f05933778c8d4228ad16948c531f9ee33
/usr/lib/debug/.build-id/05/37ad8f05933778c8d4228ad16948c531f9ee33.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/8b3fb5952e506d44b77d5b59aadaf6e8f51884
/usr/lib/debug/.build-id/07/8b3fb5952e506d44b77d5b59aadaf6e8f51884.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/9bc94bc56dc81348254400b3c9898d6910b4d1
/usr/lib/debug/.build-id/09/9bc94bc56dc81348254400b3c9898d6910b4d1.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/9f8508e07d44bcfdc2f743255ca2c2c7a2340a
/usr/lib/debug/.build-id/0a/9f8508e07d44bcfdc2f743255ca2c2c7a2340a.debug
/usr/lib/debug/.build-id/0a/db85dbf9fb1e894043589360af2569890a03a5
/usr/lib/debug/.build-id/0a/db85dbf9fb1e894043589360af2569890a03a5.debug
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/482d753e85097a6aa2c2c026c55119834513f4
/usr/lib/debug/.build-id/11/482d753e85097a6aa2c2c026c55119834513f4.debug
/usr/lib/debug/.build-id/11/d7740e839fa2929909ddb91a3f47b3a7b6f75f
/usr/lib/debug/.build-id/11/d7740e839fa2929909ddb91a3f47b3a7b6f75f.debug
/usr/lib/debug/.build-id/16
/usr/lib/debug/.build-id/16/30748820aa235b535e51fb2340ac4289ac3b30
/usr/lib/debug/.build-id/16/30748820aa235b535e51fb2340ac4289ac3b30.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/025688658be70b1ef0f8bec1ae2d1a42e97e64
/usr/lib/debug/.build-id/18/025688658be70b1ef0f8bec1ae2d1a42e97e64.debug
/usr/lib/debug/.build-id/18/0c74769754adfd818735161dcea5dc3cd2c6cb
/usr/lib/debug/.build-id/18/0c74769754adfd818735161dcea5dc3cd2c6cb.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/6b02cd3592010caa3a9ac46588ce076fc23a09
/usr/lib/debug/.build-id/1b/6b02cd3592010caa3a9ac46588ce076fc23a09.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/aa2c3993280dd7936ee8792f85533c524dc54b
/usr/lib/debug/.build-id/1c/aa2c3993280dd7936ee8792f85533c524dc54b.debug
/usr/lib/debug/.build-id/1c/dece5c7b15fe5e6753644586de97b7dfe66f3f
/usr/lib/debug/.build-id/1c/dece5c7b15fe5e6753644586de97b7dfe66f3f.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/a80a03d0cf9237b5365c9023aec8b421295bdc
/usr/lib/debug/.build-id/20/a80a03d0cf9237b5365c9023aec8b421295bdc.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/4d1e9d8ca876ad79527afe12f1805694600d1a
/usr/lib/debug/.build-id/21/4d1e9d8ca876ad79527afe12f1805694600d1a.debug
/usr/lib/debug/.build-id/21/f45cd210941f3b01ebe7bda52cc8645395f734
/usr/lib/debug/.build-id/21/f45cd210941f3b01ebe7bda52cc8645395f734.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/ddcc307e73eed29356bab9c5d89b1c3210f0ac
/usr/lib/debug/.build-id/28/ddcc307e73eed29356bab9c5d89b1c3210f0ac.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/0bb1ac5d573e6447b21ff0e6bd25e4d4b0a3f9
... and 364 more


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

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

2021-12-27

Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11

2021-11-30

Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128

2021-10-21

Rebuild for coq 8.14.0 and menhir 20211012
Add -coq8.14 patch
Drop XEmacs support

2021-10-05

OCaml 4.13.1 build

2021-10-04

Try to build on s390x with OCaml 4.13