معرفی شرکت ها

why3-debuginfo-1.5.1-8.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-8.fc38.x86_64.rpm
نسخه بسته 1.5.1
انتشار بسته 8.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 07
هاست سازنده buildvm-x86-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 2.2M
حجم نصب 14.332M
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-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


ارائه دهنده

مقدار نام
= 0563bff83508c887dfed11b040ec79cf6de7a6f1 debuginfo(build-id)
= 0d352ab109c7959c3dda7831be153eafbccccd93 debuginfo(build-id)
= 14702b3541ee422c5e1cc456608ae1053b0c1981 debuginfo(build-id)
= 14c3f07ecdf0e42a2b736d99ed91e54125f95bd5 debuginfo(build-id)
= 39bf2bfb3b8ca6d0f8fd4a4b9832804bc756e66b debuginfo(build-id)
= 457967147dc50d023dc66702394b3242e5d9396b debuginfo(build-id)
= 49c6f65e3534307e38b2ff2eba2193abc83a314d debuginfo(build-id)
= 4aa4ab081adcc8b64c8cb483b67e777e4911738f debuginfo(build-id)
= 4e9c80bd6276a7d7a96282cc86eaec2ee782aafe debuginfo(build-id)
= 58226d7b10649cc6b74ba8f4cd1c86a60f3a5e1b debuginfo(build-id)
= 584525ba5b49f0be408b2ddd78f4ec681f55a25a debuginfo(build-id)
= 6499f9f439170cf5935c72682738e4ea8dd0d0eb debuginfo(build-id)
= 6df8ed76598a661ad7881ddfd0726095d23f1377 debuginfo(build-id)
= 9b43e937c7fcfd162468af1b10143cb4d9c47c0d debuginfo(build-id)
= 9d59cef74c2330f182713741eaff45d31c522e44 debuginfo(build-id)
= a5a4a197f1fd45d2ccf701807ee481effc4cf0c4 debuginfo(build-id)
= abd2754d44f509848a2d18259d87a32149e39543 debuginfo(build-id)
= b275fd7540202ac76a7db9bb5bef10d52002faca debuginfo(build-id)
= b3090b1b6f517e16e600f6bdce8caa814f1e51c0 debuginfo(build-id)
= c069dc8e9efabe39334f94efdef9ba82204ce578 debuginfo(build-id)
= ce1281f18588e55a0d99e978d52d3b9bed651e0b debuginfo(build-id)
= cfec555fe397fe924b54b01acee8216e0b56102d debuginfo(build-id)
= d1ddb9435b58ad3a273a32533e7e628bd0d5fb51 debuginfo(build-id)
= e2c0d981cc3b69e463ebeb9fe494e62dad9ae876 debuginfo(build-id)
= ea457368bbcb719c409bc3974f57a08e04612eea debuginfo(build-id)
= 1.5.1-8.fc38 why3-debuginfo
= 1.5.1-8.fc38 why3-debuginfo(x86-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/63bff83508c887dfed11b040ec79cf6de7a6f1
/usr/lib/debug/.build-id/05/63bff83508c887dfed11b040ec79cf6de7a6f1.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/352ab109c7959c3dda7831be153eafbccccd93
/usr/lib/debug/.build-id/0d/352ab109c7959c3dda7831be153eafbccccd93.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/702b3541ee422c5e1cc456608ae1053b0c1981
/usr/lib/debug/.build-id/14/702b3541ee422c5e1cc456608ae1053b0c1981.debug
/usr/lib/debug/.build-id/14/c3f07ecdf0e42a2b736d99ed91e54125f95bd5
/usr/lib/debug/.build-id/14/c3f07ecdf0e42a2b736d99ed91e54125f95bd5.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/bf2bfb3b8ca6d0f8fd4a4b9832804bc756e66b
/usr/lib/debug/.build-id/39/bf2bfb3b8ca6d0f8fd4a4b9832804bc756e66b.debug
/usr/lib/debug/.build-id/45
/usr/lib/debug/.build-id/45/7967147dc50d023dc66702394b3242e5d9396b
/usr/lib/debug/.build-id/45/7967147dc50d023dc66702394b3242e5d9396b.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/c6f65e3534307e38b2ff2eba2193abc83a314d
/usr/lib/debug/.build-id/49/c6f65e3534307e38b2ff2eba2193abc83a314d.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/a4ab081adcc8b64c8cb483b67e777e4911738f
/usr/lib/debug/.build-id/4a/a4ab081adcc8b64c8cb483b67e777e4911738f.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/9c80bd6276a7d7a96282cc86eaec2ee782aafe
/usr/lib/debug/.build-id/4e/9c80bd6276a7d7a96282cc86eaec2ee782aafe.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/226d7b10649cc6b74ba8f4cd1c86a60f3a5e1b
/usr/lib/debug/.build-id/58/226d7b10649cc6b74ba8f4cd1c86a60f3a5e1b.debug
/usr/lib/debug/.build-id/58/4525ba5b49f0be408b2ddd78f4ec681f55a25a
/usr/lib/debug/.build-id/58/4525ba5b49f0be408b2ddd78f4ec681f55a25a.debug
/usr/lib/debug/.build-id/64
/usr/lib/debug/.build-id/64/99f9f439170cf5935c72682738e4ea8dd0d0eb
/usr/lib/debug/.build-id/64/99f9f439170cf5935c72682738e4ea8dd0d0eb.debug
/usr/lib/debug/.build-id/6d
/usr/lib/debug/.build-id/6d/f8ed76598a661ad7881ddfd0726095d23f1377
/usr/lib/debug/.build-id/6d/f8ed76598a661ad7881ddfd0726095d23f1377.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/43e937c7fcfd162468af1b10143cb4d9c47c0d
/usr/lib/debug/.build-id/9b/43e937c7fcfd162468af1b10143cb4d9c47c0d.debug
/usr/lib/debug/.build-id/9d
/usr/lib/debug/.build-id/9d/59cef74c2330f182713741eaff45d31c522e44
/usr/lib/debug/.build-id/9d/59cef74c2330f182713741eaff45d31c522e44.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/a4a197f1fd45d2ccf701807ee481effc4cf0c4
/usr/lib/debug/.build-id/a5/a4a197f1fd45d2ccf701807ee481effc4cf0c4.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/d2754d44f509848a2d18259d87a32149e39543
... and 58 more


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

تاریخ آخرین تغییر جزئیات
2023-10-18

Rebuild for coq 8.17.1

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

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