معرفی شرکت ها
libghc-smallcheck-dev_1.1.5-2+b2_ppc64el.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Another lightweight testing library
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main ppc64el |
| نام بسته | libghc-smallcheck-dev |
| نام فایل بسته | libghc-smallcheck-dev_1.1.5-2+b2_ppc64el.deb |
| نسخه بسته | 1.1.5 |
| انتشار بسته | 2+b2 |
| معماری بسته | ppc64el |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/feuerbach/smallcheck |
| مجوز | - |
| حجم دانلود | 211512 |
| حجم نصب | 2575 |
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-smallcheck-dev_1.1.5-2+b2_amd64.deb | 1.1.5 | amd64 | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_arm64.deb | 1.1.5 | arm64 | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_armhf.deb | 1.1.5 | armhf | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_i386.deb | 1.1.5 | i386 | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_mips.deb | 1.1.5 | mips | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_mips64el.deb | 1.1.5 | mips64el | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_mipsel.deb | 1.1.5 | mipsel | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b2_s390x.deb | 1.1.5 | s390x | Debian main |
| libghc-smallcheck-dev_1.1.5-2+b3_armel.deb | 1.1.5 | armel | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-base-dev-4.11.1.0-816ce |
| - | libghc-ghc-prim-dev-0.5.2.0-0a259 |
| - | libghc-logict-dev-0.6.0.2-f15cd |
| - | libghc-mtl-dev-2.2.2-28a8b |
| - | libghc-pretty-dev-1.1.3.6-3bbc5 |
| >= 4.8 | libatomic1 |
| >= 2.17 | libc6 |
| - | libgmp10 |
نحوه نصب
نصب پکیج deb libghc-smallcheck-dev:
sudo apt-get install libghc-smallcheck-dev_1.1.5-2+b2_ppc64el.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/libHSsmallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS-ghc8.4.4.so |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Drivers.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Drivers.hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Property/Result.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Property/Result.hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Property.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Property.hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Series.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/Series.hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/SeriesMonad.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck/SeriesMonad.hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/Test/SmallCheck.hi |
| ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/smallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS/libHSsmallcheck-1.1.5-3f5qiJxrEExLmWHgkqVfWS.a |
| ./usr/share/doc/libghc-smallcheck-dev/buildinfo_ppc64el.gz |
| ./usr/share/doc/libghc-smallcheck-dev/changelog.Debian.gz |
| ./usr/share/doc/libghc-smallcheck-dev/changelog.Debian.ppc64el.gz |
| ./usr/share/doc/libghc-smallcheck-dev/changelog.gz |
| ./usr/share/doc/libghc-smallcheck-dev/copyright |
| ./usr/share/lintian/overrides/libghc-smallcheck-dev |
| ./var/lib/ghc/package.conf.d/smallcheck-1.1.5.conf |