معرفی شرکت ها
picosat-965-16.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Fedora 38 |
مخزن | Fedora Everything aarch64 |
نام بسته | picosat |
نام فایل بسته | picosat-965-16.fc38.aarch64.rpm |
نسخه بسته | 965 |
انتشار بسته | 16.fc38 |
معماری بسته | aarch64 |
نگهدارنده | - |
تاریخ ساخت | Fri 20 Jan 2023 01 |
هاست سازنده | buildhw-a64-23.iad2.fedoraproject.org |
نوع بسته | .rpm |
آدرس صفحه اصلی | http://fmv.jku.at/picosat/ |
مجوز | MIT |
حجم دانلود | 40K |
حجم نصب | 985.384K |
جایگزین ها
نیازمندی
مقدار | نام |
---|---|
- | bzip2 |
- | gzip |
- | ld-linux-aarch64.so.1()(64bit) |
- | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
- | libc.so.6()(64bit) |
- | libc.so.6(GLIBC_2.17)(64bit) |
- | libc.so.6(GLIBC_2.34)(64bit) |
- | libpicosat-trace.so.0()(64bit) |
- | libpicosat.so.0()(64bit) |
= 965-16.fc38 | picosat-libs(aarch-64) |
- | rtld(GNU_HASH) |
ارائه دهنده
مقدار | نام |
---|---|
= 965-16.fc38 | picosat |
= 965-16.fc38 | picosat(aarch-64) |
نحوه نصب
نصب پکیج rpm picosat:
dnf install picosat-965-16.fc38.aarch64.rpm
فایل ها
مسیرها |
---|
/usr/bin/picogcnf |
/usr/bin/picomcs |
/usr/bin/picomus |
/usr/bin/picosat |
/usr/bin/picosat.trace |
/usr/lib/.build-id |
/usr/lib/.build-id/0d |
/usr/lib/.build-id/0d/a0a17c437655c02b34f877e98032284b9cd1d8 |
/usr/lib/.build-id/10 |
/usr/lib/.build-id/10/2960022dff750b29e08183a9d43b4cec867d2b |
/usr/lib/.build-id/64 |
/usr/lib/.build-id/64/50fb6b3eb8bf86141f82d728560ef24fdbb4b4 |
/usr/lib/.build-id/ac |
/usr/lib/.build-id/ac/fa6d6e01252ed207a0df4e32a84f0c153b529d |
/usr/lib/.build-id/f1 |
/usr/lib/.build-id/f1/2889bfe4fc3080e47767e18bf9039dd1e6a190 |
/usr/share/man/man1/picomus.1.gz |
/usr/share/man/man1/picosat.1.gz |
گزارش تغییرات
تاریخ آخرین تغییر | جزئیات |
---|---|
2023-01-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
2023-01-17 |
Minor spec file cleanups
|
2022-07-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
2022-01-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
2021-07-23 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
2021-01-27 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|