معرفی شرکت ها

why3-debuginfo-1.5.1-3.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-3.fc37.x86_64.rpm
نسخه بسته 1.5.1
انتشار بسته 3.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sun 27 Nov 2022 07
هاست سازنده buildvm-x86-20.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 1.9M
حجم نصب 11.757M
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-1.fc37.x86_64.rpm 1.5.1 x86_64 Fedora Everything
why3-debuginfo-1.5.1-3.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything


ارائه دهنده

مقدار نام
= 002995cc02c47044518eba42255ebc82bc6084e1 debuginfo(build-id)
= 070b2e70f414cd8caeab889a14603bdc27b16ed3 debuginfo(build-id)
= 09b8d0cb42097fcec98bf3dc346d2c568f432bd4 debuginfo(build-id)
= 0ad4b9e410849b70a5480058d3506a12298f86ea debuginfo(build-id)
= 0ba85152e01657d532463eadf91ee12dc52ccb7a debuginfo(build-id)
= 0c33c813e447d572819d369d35ff0b2d4a943f01 debuginfo(build-id)
= 0e8e953c28ff60c1e4813c52a32268074ce104e3 debuginfo(build-id)
= 106c7bc2eaddb726c4134c802ae35613a3597bfb debuginfo(build-id)
= 15f37e7dfdc9283b78a0c05a1c6a984cbff37f65 debuginfo(build-id)
= 17fbff0d53c22345986f28949714c240c45ebe12 debuginfo(build-id)
= 1a060023dd44b564f9deee87eac16f61d62620d6 debuginfo(build-id)
= 21dffca4cf746d339ef64eecfd12687425757ec8 debuginfo(build-id)
= 29834c1c391c64b990562b11bfb6c566847e0003 debuginfo(build-id)
= 2af06b7e7a884c813cf73e2d13197b01fa259f50 debuginfo(build-id)
= 2bd36af434472e4b06e507eaeac08a8ebc4a9b82 debuginfo(build-id)
= 2ffa8624b86d18b56505036458c28885f11066ce debuginfo(build-id)
= 31b563eee41a0db57225d7237a99ba2538f055ce debuginfo(build-id)
= 389240c13c9e9b8cebf44aa2f5c9ed38d7ff5153 debuginfo(build-id)
= 3a06541c2a0b4afa0d3c303454326a70c60391e0 debuginfo(build-id)
= 3a52650a6a5b9b2be5a6c7c31d12023f7d655a2f debuginfo(build-id)
= 3b50e3a13bd9775cc8ed5cd706ac36947daff52c debuginfo(build-id)
= 3cb9bacf59a23782e7c0517705af94b17e6030de debuginfo(build-id)
= 40135c5efd89ea373204438aa43d61f20ea64285 debuginfo(build-id)
= 474dbf1ad7d62ed2264074c531cc99c12cb1474b debuginfo(build-id)
= 499b53525e838139a53f3daf3bff3616750a2191 debuginfo(build-id)
= 4ad16499c51a3bbfd0c477b9f0be867325d359d2 debuginfo(build-id)
= 506cf64edf13fb5dbc9973fef6228bf4508e3f6d debuginfo(build-id)
= 506f186649f2e852d97ce3a2e3f0e5a76062958c debuginfo(build-id)
= 509dc2fb80979ee61a62f83cb50f58b41afe22ec debuginfo(build-id)
= 50cdf82038c9268bfa2a57e191f9a14c26097f8c debuginfo(build-id)
= 54f4ffe5cf625c74fadd4eaae17a93a474be5714 debuginfo(build-id)
= 5784b35b519b94adfa7996c6b04d9c57a419b19f debuginfo(build-id)
= 5972e028f693a0e4ad9f9453fc814ac639ce5765 debuginfo(build-id)
= 5ca31e1c798a7b894fa7a83f99f6cbe3946a6990 debuginfo(build-id)
= 60cc41e4691b922d96eac1c50db2cf18d864558a debuginfo(build-id)
= 626f9f6304ce9fab1ab7570c6941ce015d81fcf1 debuginfo(build-id)
= 62a701eb50c66272ca36ea83b80dc595a7354f91 debuginfo(build-id)
= 6bf47e22d2144a16010b0a4d24743375b90855f5 debuginfo(build-id)
= 6cfeb1525805bf66ad44429ebd00ab95ae9dd7af debuginfo(build-id)
= 6e1ae8dc1e81db6516a79e952d5e015d2a8c8771 debuginfo(build-id)
= 6fb984d3695741760e9e8f91b97aa2054bda37e3 debuginfo(build-id)
= 709b4a90903b7270c32c64da22181590242a844e debuginfo(build-id)
= 7178fb80a4f0f7396f140fcfa811415e354fe201 debuginfo(build-id)
= 733c6152ccc65aab7188f4fca249cf1a8473f850 debuginfo(build-id)
= 7ab86f3b4e62d8cfe4df1cdb2b22467092ca8b5b debuginfo(build-id)
= 7c4df79a9056a1744c8f729edfb55e06d88a3168 debuginfo(build-id)
= 7d86eebca05db5ba49099960ed2e098f646e9734 debuginfo(build-id)
= 80273e1125a46a6dc8b9cd7ac44ee31114b7cfdd debuginfo(build-id)
= 837f895c14df5ecbeed18d772a59e04a150673d6 debuginfo(build-id)
= 87cdb23b4fcc0b20921461c7fb7bb2c7f0e5c81d debuginfo(build-id)
= 89b7e3e92c16117b0a0195dfa1e72c681c8a175b debuginfo(build-id)
= 8c31a007593ca4acfb1c5912f30b6135ffe6bb22 debuginfo(build-id)
= 8f14e504cd16d1f50c6f83c99b7f0240b49f9c97 debuginfo(build-id)
= 8f5a3e19cf235fa2fe8cbf9df50ca49cb07e320e debuginfo(build-id)
= 90cc53b2cd37adb7e90e98f07d218793511622f3 debuginfo(build-id)
= 977a6b298ef556fd55aa0212ca4610a3a3ded1ed debuginfo(build-id)
= 9e4d93b5874220b4e9349e996279ce08b0f6b4cc debuginfo(build-id)
= 9ecda18a7e6fff57fbc3571945b7474618966e23 debuginfo(build-id)
= 9f73ef97ff6e2f65d4dea1b9d72066c1f446c0a0 debuginfo(build-id)
= 9fe6d2634dfbd4218ba4a85c6228e21cf476c222 debuginfo(build-id)
= a21664d3df136538837466688f3fae5ed42abe80 debuginfo(build-id)
= a587a7a310b067009bcd13a32f90cf89eda7f7e0 debuginfo(build-id)
= a89a5ea80bcb1dc1c23f8e2de6d78ba75ec714e6 debuginfo(build-id)
= aae8886afac60a855a323cc285736ef5ab135336 debuginfo(build-id)
= ae80ca7e30d7ce1323e977c9bc02658db54c1fc5 debuginfo(build-id)
= b085dfa7d3b5b200ab12e0836f1ef93c8e4c7555 debuginfo(build-id)
= b118e5ade30d8dce422e260799452abfc8dad282 debuginfo(build-id)
= b18347119c31ac66a9a715bdc6d5a58344e77e81 debuginfo(build-id)
= b1e518d01660e7e1d8124f86444d4d11b67d6930 debuginfo(build-id)
= b45c17cca842e641b2ba1a75c1e47d76714d71bf debuginfo(build-id)
= b536156b1127627f5edb74c278c552a7debf3ae4 debuginfo(build-id)
= b7c61f1d0c2d4a8d7eb1fbb33f18a1faea531fd4 debuginfo(build-id)
= b83a761767b25ef450af64f797e0ad75bf99a60a debuginfo(build-id)
= b89cfe6891ce10d7e76bddc307d37acb223c3b23 debuginfo(build-id)
= b8f8d6eba671e3dac3e4e7cacc9f542dbc3f9840 debuginfo(build-id)
= b917a4b26fdcc1439e844261c3a5e7f2a22308c8 debuginfo(build-id)
= c35a3f1f8de758b1181cede2b9a89fd721b11ac3 debuginfo(build-id)
= c4ea5836eb7aa3d84f1b8dd90851755e8c557920 debuginfo(build-id)
= c750e85c6d5a6d14b1722dc81de3f4e5daac498f debuginfo(build-id)
= c839657bd78d3ffeecd37ae9284700908ce7acf5 debuginfo(build-id)
= cc537f8b17c302c6421c023fdf30a4438e9bd556 debuginfo(build-id)
= d12242ed7fa10a65974b7a0687f843f96465f4b4 debuginfo(build-id)
= d17c3c8a33e9ebfc9ac8fd69efb72bdc25a0cc68 debuginfo(build-id)
= d3d17dddfee84ce2f9a9fac11fa100452cfaa6e5 debuginfo(build-id)
= d44d03e9fcfd8045438fef2d9f4e4021373ac787 debuginfo(build-id)
= d5c05379e1092bc2da75bc133a7d7547ed8c07ca debuginfo(build-id)
= d9ec26bdc50d2f0e7b069317344b86d2ecfe8d31 debuginfo(build-id)
= da8e8a83c5d96db084ea5a546988d72e97b8b9c4 debuginfo(build-id)
= e1c8366b625412db3ce74b0d958c1071bd251ba6 debuginfo(build-id)
= e1ee8929e84500464e880458e351e3f909c5c493 debuginfo(build-id)
= e213bd0fccefad20d7d3bc37721ce06c06b5d072 debuginfo(build-id)
= e2220b6b69b13e40cfb6dc328d0b44e62c91a3df debuginfo(build-id)
= e546b5bdeb0e9401c60ac6cefafd9661cca09725 debuginfo(build-id)
= e73210ad4674a45a5e187ae6b9206c0c51310571 debuginfo(build-id)
= e8c9098fb147845bf8827b7116deaa95af109a33 debuginfo(build-id)
= ea613ea8151e8f35405aa2f20e7f4386529a2e41 debuginfo(build-id)
= eec9543d705573fc91774650ebd307eac3a45dfe debuginfo(build-id)
= f28c6596b326c84a7886e44e7c177f1dd107188e debuginfo(build-id)
= f7e472347a9bf306c5921de576d5954a6107051e debuginfo(build-id)
= 1.5.1-3.fc37 why3-debuginfo
= 1.5.1-3.fc37 why3-debuginfo(x86-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/2995cc02c47044518eba42255ebc82bc6084e1
/usr/lib/debug/.build-id/00/2995cc02c47044518eba42255ebc82bc6084e1.debug
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/0b2e70f414cd8caeab889a14603bdc27b16ed3
/usr/lib/debug/.build-id/07/0b2e70f414cd8caeab889a14603bdc27b16ed3.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/b8d0cb42097fcec98bf3dc346d2c568f432bd4
/usr/lib/debug/.build-id/09/b8d0cb42097fcec98bf3dc346d2c568f432bd4.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/d4b9e410849b70a5480058d3506a12298f86ea
/usr/lib/debug/.build-id/0a/d4b9e410849b70a5480058d3506a12298f86ea.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/a85152e01657d532463eadf91ee12dc52ccb7a
/usr/lib/debug/.build-id/0b/a85152e01657d532463eadf91ee12dc52ccb7a.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/33c813e447d572819d369d35ff0b2d4a943f01
/usr/lib/debug/.build-id/0c/33c813e447d572819d369d35ff0b2d4a943f01.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/8e953c28ff60c1e4813c52a32268074ce104e3
/usr/lib/debug/.build-id/0e/8e953c28ff60c1e4813c52a32268074ce104e3.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/6c7bc2eaddb726c4134c802ae35613a3597bfb
/usr/lib/debug/.build-id/10/6c7bc2eaddb726c4134c802ae35613a3597bfb.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/f37e7dfdc9283b78a0c05a1c6a984cbff37f65
/usr/lib/debug/.build-id/15/f37e7dfdc9283b78a0c05a1c6a984cbff37f65.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/fbff0d53c22345986f28949714c240c45ebe12
/usr/lib/debug/.build-id/17/fbff0d53c22345986f28949714c240c45ebe12.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/060023dd44b564f9deee87eac16f61d62620d6
/usr/lib/debug/.build-id/1a/060023dd44b564f9deee87eac16f61d62620d6.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/dffca4cf746d339ef64eecfd12687425757ec8
/usr/lib/debug/.build-id/21/dffca4cf746d339ef64eecfd12687425757ec8.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/834c1c391c64b990562b11bfb6c566847e0003
/usr/lib/debug/.build-id/29/834c1c391c64b990562b11bfb6c566847e0003.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/f06b7e7a884c813cf73e2d13197b01fa259f50
/usr/lib/debug/.build-id/2a/f06b7e7a884c813cf73e2d13197b01fa259f50.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/d36af434472e4b06e507eaeac08a8ebc4a9b82
/usr/lib/debug/.build-id/2b/d36af434472e4b06e507eaeac08a8ebc4a9b82.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/fa8624b86d18b56505036458c28885f11066ce
/usr/lib/debug/.build-id/2f/fa8624b86d18b56505036458c28885f11066ce.debug
... and 367 more


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

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

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