معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

دانلود نسخه باینری

Transitional package for minisat

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Debian Buster-10
مخزن	Debian main arm64
نام بسته	minisat2
نام فایل بسته	minisat2_2.2.1-5+b3_arm64.deb
نسخه بسته	1:2.2.1
انتشار بسته	5+b3
معماری بسته	arm64
نگهدارنده	Michael Tautschnig <mt@debian.org>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	http://minisat.se/
مجوز	-
حجم دانلود	5250
حجم نصب	13

This is a transitional package for minisat, and can be safely removed after the installation is complete.

بسته	نسخه	معماری	مخزن
minisat2_2.2.1-5+b3_amd64.deb	1:2.2.1	amd64	Debian main
minisat2_2.2.1-5+b3_armel.deb	1:2.2.1	armel	Debian main
minisat2_2.2.1-5+b3_armhf.deb	1:2.2.1	armhf	Debian main
minisat2_2.2.1-5+b3_i386.deb	1:2.2.1	i386	Debian main
minisat2_2.2.1-5+b3_mips.deb	1:2.2.1	mips	Debian main
minisat2_2.2.1-5+b3_mips64el.deb	1:2.2.1	mips64el	Debian main
minisat2_2.2.1-5+b3_mipsel.deb	1:2.2.1	mipsel	Debian main
minisat2_2.2.1-5+b3_ppc64el.deb	1:2.2.1	ppc64el	Debian main
minisat2_2.2.1-5+b3_s390x.deb	1:2.2.1	s390x	Debian main

مقدار	نام
-	minisat

نصب پکیج deb minisat2:

sudo apt-get install minisat2_2.2.1-5+b3_arm64.deb

مسیرها
./usr/share/doc/minisat2/changelog.Debian.arm64.gz
./usr/share/doc/minisat2/changelog.Debian.gz
./usr/share/doc/minisat2/changelog.gz
./usr/share/doc/minisat2/copyright