معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Debian Bullseye-11
مخزن	Debian main all
نام بسته	curry-libs-source
نام فایل بسته	curry-libs-source_3.0.0-2_all.deb
نسخه بسته	3.0.0
انتشار بسته	2
معماری بسته	all
نگهدارنده	Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	https://git.ps.informatik.uni-kiel.de/curry/curry-libs
مجوز	-
حجم دانلود	67224
حجم نصب	73

PAKCS and KICS2 are two different implementations of the programming language Curry. Curry is a functional programming language being developed at Kiel, Aachen and Portland University. . Whereas PAKCS is a Curry to Prolog compiler, KICS2 compiles Curry code into Haskell. Both compilers require two source code trees at compiler build time: curry-libs-source and curry-tools-source. . This package provides the source files of the curry-libs.

نیازمندی

مقدار	نام
-

نحوه نصب

نصب پکیج deb curry-libs-source:

sudo apt-get install curry-libs-source_3.0.0-2_all.deb

فایل ها

مسیرها
./usr/share/doc/curry-libs-source/README.md
./usr/share/doc/curry-libs-source/changelog.Debian.gz
./usr/share/doc/curry-libs-source/copyright
./usr/src/curry-libs-source.tar.xz