معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Generate Haskell code from a type

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything i686
نام بسته	ghc-djinn-lib
نام فایل بسته	ghc-djinn-lib-0.0.1.4-4.fc38.src.rpm
نسخه بسته	0.0.1.4
انتشار بسته	4.fc38
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Thu 16 Feb 2023 11
هاست سازنده	buildhw-x86-10.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://hackage.haskell.org/package/djinn-lib
مجوز	BSD-3-Clause
حجم دانلود	30K
حجم نصب	19.749K

Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.

جایگزین ها

بسته	نسخه	معماری	مخزن
ghc-djinn-lib-0.0.1.4-4.fc38.aarch64.rpm	0.0.1.4	aarch64	Fedora Everything
ghc-djinn-lib-0.0.1.4-4.fc38.x86_64.rpm	0.0.1.4	x86_64	Fedora Everything
ghc-djinn-lib-devel-0.0.1.4-4.fc38.aarch64.rpm	0.0.1.4	aarch64	Fedora Everything
ghc-djinn-lib-devel-0.0.1.4-4.fc38.x86_64.rpm	0.0.1.4	x86_64	Fedora Everything
ghc-djinn-lib-doc-0.0.1.4-4.fc38.noarch.rpm	0.0.1.4	noarch	Fedora Everything
ghc-djinn-lib-prof-0.0.1.4-4.fc38.aarch64.rpm	0.0.1.4	aarch64	Fedora Everything
ghc-djinn-lib-prof-0.0.1.4-4.fc38.x86_64.rpm	0.0.1.4	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	ghc-Cabal-devel
-	ghc-base-devel
-	ghc-base-prof
-	ghc-containers-devel
-	ghc-containers-prof
-	ghc-mtl-devel
-	ghc-mtl-prof
-	ghc-pretty-devel
-	ghc-pretty-prof
-	ghc-rpm-macros

ارائه دهنده

مقدار	نام
= 0.0.1.4-4.fc38	ghc-djinn-lib
= 0.0.1.4-4.fc38	ghc-djinn-lib-devel
= 0.0.1.4-4.fc38	ghc-djinn-lib-prof
= 0.0.1.4-4.fc38	ghc-djinn-lib-debuginfo
= 0.0.1.4-4.fc38	ghc-djinn-lib-debugsource

نحوه نصب

نصب پکیج rpm ghc-djinn-lib:

dnf install ghc-djinn-lib-0.0.1.4-4.fc38.src.rpm

فایل ها

مسیرها
djinn-lib-0.0.1.4.tar.gz

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

تاریخ آخرین تغییر	جزئیات
2023-02-16	refresh to cabal-rpm-2.1.0 with SPDX migration
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-07	https://hackage.haskell.org/package/djinn-lib-0.0.1.4/changelog
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-06	rebuild
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild