معرفی شرکت ها
libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Lambdabot Haskell plugins
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main i386 |
| نام بسته | libghc-lambdabot-haskell-plugins-dev |
| نام فایل بسته | libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_i386.deb |
| نسخه بسته | 5.1.0.3 |
| انتشار بسته | 3+b1 |
| معماری بسته | i386 |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://wiki.haskell.org/Lambdabot |
| مجوز | - |
| حجم دانلود | 761888 |
| حجم نصب | 6621 |
Lambdabot is an IRC bot written over several years by
those on the #haskell IRC channel.
.
Provided plugins:
.
[check] Quick, check!
.
[djinn] Derive implementations from types intuitinistically.
.
[eval] Run Haskell code.
.
[free] Theorems for free.
.
[haddock] Find modules implementing a function.
.
[hoogle] Search for functions by type using hoogle.
.
[instances] Query instances of type classes.
.
[pl] Produce point-less code.
.
[pointful] Produce point-ful code.
.
[pretty] Print code prettily.
.
[source] Show implementations of standard functions.
.
[type] Query type of expressions.
.
[undo] Unfold do notation.
.
[unmtl] Expand monad transformers stacks.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_amd64.deb | 5.1.0.3 | amd64 | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_arm64.deb | 5.1.0.3 | arm64 | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_armhf.deb | 5.1.0.3 | armhf | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_mips.deb | 5.1.0.3 | mips | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_mips64el.deb | 5.1.0.3 | mips64el | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_mipsel.deb | 5.1.0.3 | mipsel | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_ppc64el.deb | 5.1.0.3 | ppc64el | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_s390x.deb | 5.1.0.3 | s390x | Debian main |
| libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b2_armel.deb | 5.1.0.3 | armel | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-http-dev-4000.3.12-eb838 |
| - | libghc-iospec-dev-0.3-df02f |
| - | libghc-monadrandom-dev-0.5.1.1-cbf31 |
| - | libghc-quickcheck-dev-2.11.3-0255a |
| - | libghc-array-dev-0.5.2.0-ff492 |
| - | libghc-arrows-dev-0.4.4.2-f09b9 |
| - | libghc-base-dev-4.11.1.0-3abbc |
| - | libghc-bytestring-dev-0.10.8.2-1e712 |
| - | libghc-containers-dev-0.5.11.0-76ed0 |
| - | libghc-data-memocombinators-dev-0.5.1-64bc2 |
| - | libghc-directory-dev-1.3.1.5-a79c4 |
| - | libghc-filepath-dev-1.4.2-5b812 |
| - | libghc-haskell-src-exts-simple-dev-1.20.0.0-edcb7 |
| - | libghc-hoogle-dev-5.0.17.3-4d5ed |
| - | libghc-lambdabot-core-dev-5.1.0.2-71f41 |
| - | libghc-lambdabot-reference-plugins-dev-5.1.0.1-ab21e |
| - | libghc-lambdabot-trusted-dev-5.1.0.1-2a016 |
| - | libghc-lifted-base-dev-0.2.3.12-df1cb |
| - | libghc-logict-dev-0.6.0.2-11dab |
| - | libghc-mtl-dev-2.2.2-32af5 |
| - | libghc-mueval-dev-0.9.3-4e7a6 |
| - | libghc-network-dev-2.6.3.6-6f1b7 |
| - | libghc-numbers-dev-3000.2.0.2-0b255 |
| - | libghc-oeis-dev-0.3.9-f6aea |
| - | libghc-parsec-dev-3.1.13.0-d0bb3 |
| - | libghc-pretty-dev-1.1.3.6-41c62 |
| - | libghc-process-dev-1.6.3.0-871ce |
| - | libghc-regex-tdfa-dev-1.2.3.1-a8dd4 |
| - | libghc-show-dev-0.6-0c3ef |
| - | libghc-split-dev-0.2.3.3-17214 |
| - | libghc-syb-dev-0.7-b28fb |
| - | libghc-transformers-dev-0.5.5.0-1fc6e |
| - | libghc-utf8-string-dev-1.0.1.1-49e1f |
| - | libghc-vector-space-dev-0.13-75a16 |
| >= 4.8 | libatomic1 |
| >= 2.3.6-6~ | libc6 |
| - | libgmp10 |
| >= 6 | libtinfo6 |
| >= 1:1.1.4 | zlib1g |
نحوه نصب
نصب پکیج deb libghc-lambdabot-haskell-plugins-dev:
sudo apt-get install libghc-lambdabot-haskell-plugins-dev_5.1.0.3-3+b1_i386.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Config/Haskell.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Config/Haskell.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Check.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Check.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Djinn.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Djinn.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Eval.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Eval.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Expr.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Expr.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/FreeTheorem.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/FreeTheorem.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Parse.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Parse.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Theorem.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Theorem.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Type.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Type.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Util.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free/Util.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Free.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Haddock.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Haddock.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Hoogle.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Hoogle.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Instances.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Instances.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Common.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Common.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Names.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Names.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Optimize.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Optimize.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Parser.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Parser.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/PrettyPrinter.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/PrettyPrinter.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/RuleLib.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/RuleLib.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Rules.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Rules.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Transform.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl/Transform.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pl.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pointful.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pointful.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pretty.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/lambdabot-haskell-plugins-5.1.0.3-FqjsKXfnNmZ46E68Z3GU9V/Lambdabot/Plugin/Haskell/Pretty.hi |
| ... and 21 more |