معرفی شرکت ها


djinn_2014.9.7-9+b2_s390x.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

generate Haskell expressions from types
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته djinn
نام فایل بسته djinn_2014.9.7-9+b2_s390x.deb
نسخه بسته 2014.9.7
انتشار بسته 9+b2
معماری بسته s390x
نگهدارنده Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://hackage.haskell.org/package/djinn
مجوز -
حجم دانلود 3372736
حجم نصب 23130
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. . Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.


جایگزین ها

بسته نسخه معماری مخزن
djinn_2014.9.7-9+b2_amd64.deb 2014.9.7 amd64 Debian main
djinn_2014.9.7-9+b2_arm64.deb 2014.9.7 arm64 Debian main
djinn_2014.9.7-9+b2_armhf.deb 2014.9.7 armhf Debian main
djinn_2014.9.7-9+b2_i386.deb 2014.9.7 i386 Debian main
djinn_2014.9.7-9+b2_mips64el.deb 2014.9.7 mips64el Debian main
djinn_2014.9.7-9+b2_mipsel.deb 2014.9.7 mipsel Debian main
djinn_2014.9.7-9+b2_ppc64el.deb 2014.9.7 ppc64el Debian main
djinn_2014.9.7-9+b3_armel.deb 2014.9.7 armel Debian main


نیازمندی

مقدار نام
>= 2.29 libc6
>= 3.4 libffi8
>= 2:6.2.1+dfsg libgmp10
>= 6 libtinfo6


نحوه نصب


نصب پکیج deb djinn:

    sudo apt-get install djinn_2014.9.7-9+b2_s390x.deb


فایل ها

مسیرها
./usr/bin/djinn
./usr/share/doc/djinn/buildinfo_s390x.gz
./usr/share/doc/djinn/changelog.Debian.gz
./usr/share/doc/djinn/changelog.Debian.s390x.gz
./usr/share/doc/djinn/copyright
./usr/share/lintian/overrides/djinn
./usr/share/man/man1/djinn.1.gz