معرفی شرکت ها


python3-module-picosat-debuginfo-965-alt3.ppc64le.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Python bindings of picosat (debug files)
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p10
مخزن ALTLinux debuginfo ppc64le
نام بسته python3-module-picosat-debuginfo
نام فایل بسته python3-module-picosat-debuginfo-965-alt3.ppc64le.rpm
نسخه بسته 965
انتشار بسته alt3
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Fri 19 Feb 2021 10
هاست سازنده grenka-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://fmv.jku.at/picosat/
مجوز MIT
حجم دانلود 87K
حجم نصب 420.961K
This package provides debug information for package python3-module-picosat.


نیازمندی

مقدار نام
= 965-alt3:sisyphus+265234.3500.49.1 python3-module-picosat
= 965-alt3:sisyphus+265234.3500.49.1 libpicosat-debuginfo
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 965-alt3:sisyphus+265234.3500.49.1 python3-module-picosat-debuginfo


نحوه نصب


نصب پکیج rpm python3-module-picosat-debuginfo:

    sudo apt-get install python3-module-picosat-debuginfo-965-alt3.ppc64le.rpm


فایل ها

مسیرها
/usr/lib/debug/.build-id/25
/usr/lib/debug/.build-id/25/62f67b3ab6cceccfbbf8010de2538307381aab
/usr/lib/debug/.build-id/25/62f67b3ab6cceccfbbf8010de2538307381aab.debug
/usr/lib/debug/usr/lib64/python3
/usr/lib/debug/usr/lib64/python3/site-packages
/usr/lib/debug/usr/lib64/python3/site-packages/_picosat.cpython-39.so.debug
/usr/src/debug/picosat-965
/usr/src/debug/picosat-965/picosat.h
/usr/src/debug/picosat-965/picosat_python_wrap.c


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

تاریخ آخرین تغییر جزئیات
2020-07-12

fixed build on non-x86 64-bit arches

2020-02-05

Stopped build for Python2.

2019-04-11

Build new version.

2018-03-22

(NMU) Rebuilt with python-3.6.4.

2016-03-17

(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10

2015-03-17

Applied patch from https://github.com/pysmt/pysmt/tree/master/patches

2015-03-17

Initial build for Sisyphus