معرفی شرکت ها
lfsc-0.20210305-5.fc38.src.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything i686 |
| نام بسته | lfsc |
| نام فایل بسته | lfsc-0.20210305-5.fc38.src.rpm |
| نسخه بسته | 0.20210305 |
| انتشار بسته | 5.fc38 |
| معماری بسته | i686 |
| نگهدارنده | - |
| تاریخ ساخت | Thu 19 Jan 2023 08 |
| هاست سازنده | buildhw-x86-15.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://github.com/cvc5/LFSC |
| مجوز | BSD-3-Clause |
| حجم دانلود | 3.0M |
| حجم نصب | 4.329M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| lfsc-0.20210305-5.fc38.aarch64.rpm | 0.20210305 | aarch64 | Fedora Everything |
| lfsc-0.20210305-5.fc38.i686.rpm | 0.20210305 | i686 | Fedora Everything |
| lfsc-0.20210305-5.fc38.x86_64.rpm | 0.20210305 | x86_64 | Fedora Everything |
| lfsc-debuginfo-0.20210305-5.fc38.aarch64.rpm | 0.20210305 | aarch64 | Fedora Everything |
| lfsc-debuginfo-0.20210305-5.fc38.i686.rpm | 0.20210305 | i686 | Fedora Everything |
| lfsc-debuginfo-0.20210305-5.fc38.x86_64.rpm | 0.20210305 | x86_64 | Fedora Everything |
| lfsc-debugsource-0.20210305-5.fc38.aarch64.rpm | 0.20210305 | aarch64 | Fedora Everything |
| lfsc-debugsource-0.20210305-5.fc38.i686.rpm | 0.20210305 | i686 | Fedora Everything |
| lfsc-debugsource-0.20210305-5.fc38.x86_64.rpm | 0.20210305 | x86_64 | Fedora Everything |
| lfsc-devel-0.20210305-5.fc38.aarch64.rpm | 0.20210305 | aarch64 | Fedora Everything |
| lfsc-devel-0.20210305-5.fc38.i686.rpm | 0.20210305 | i686 | Fedora Everything |
| lfsc-devel-0.20210305-5.fc38.x86_64.rpm | 0.20210305 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | cmake |
| - | flex |
| - | gcc-c++ |
| - | gmp-devel |
| - | help2man |
| - | make |
| - | python3 |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 0.20210305-5.fc38 | lfsc |
| = 0.20210305-5.fc38 | lfsc-devel |
| = 0.20210305-5.fc38 | lfsc-debuginfo |
| = 0.20210305-5.fc38 | lfsc-debugsource |
نحوه نصب
نصب پکیج rpm lfsc:
dnf install lfsc-0.20210305-5.fc38.src.rpm
فایل ها
| مسیرها |
|---|
| color_base.plf |
| color_euf.plf |
| euf_interpolation.plf |
| lfsc-15f53d6.tar.gz |
| lfsc-map.patch |
| lfsc-stdint.patch |
| lfsc.spec |
| sat.plf |
| smt.plf |
| th_base.plf |
| th_lra-cvc3.plf |
| th_lra.plf |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-01-19 |
Add -stdint patch to fix FTBFS
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-28 |
New project URL
|
| 2022-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-01-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-07-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
| 2021-07-17 |
Update to 20210305 git snapshot
|
| 2021-01-26 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
| 2021-01-19 |
Update to 20201110 snapshot
|