معرفی شرکت ها

curry-libs-source_2.2.0-1_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe all
نام بسته curry-libs-source
نام فایل بسته curry-libs-source_2.2.0-1_all.deb
نسخه بسته 2.2.0
انتشار بسته 1
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://git.ps.informatik.uni-kiel.de/curry/curry-libs
مجوز -
حجم دانلود 77296
حجم نصب 83
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_2.2.0-1_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