معرفی شرکت ها
libghc-smallcheck-dev_1.1.7-1_arm64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Another lightweight testing library
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main arm64 |
| نام بسته | libghc-smallcheck-dev |
| نام فایل بسته | libghc-smallcheck-dev_1.1.7-1_arm64.deb |
| نسخه بسته | 1.1.7 |
| انتشار بسته | 1 |
| معماری بسته | arm64 |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/Bodigrim/smallcheck |
| مجوز | - |
| حجم دانلود | 201664 |
| حجم نصب | 2431 |
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.7-1_amd64.deb | 1.1.7 | amd64 | Debian main |
| libghc-smallcheck-dev_1.1.7-1_armel.deb | 1.1.7 | armel | Debian main |
| libghc-smallcheck-dev_1.1.7-1_armhf.deb | 1.1.7 | armhf | Debian main |
| libghc-smallcheck-dev_1.1.7-1_i386.deb | 1.1.7 | i386 | Debian main |
| libghc-smallcheck-dev_1.1.7-1_mips64el.deb | 1.1.7 | mips64el | Debian main |
| libghc-smallcheck-dev_1.1.7-1_mipsel.deb | 1.1.7 | mipsel | Debian main |
| libghc-smallcheck-dev_1.1.7-1_ppc64el.deb | 1.1.7 | ppc64el | Debian main |
| libghc-smallcheck-dev_1.1.7-1_s390x.deb | 1.1.7 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-base-dev-4.13.0.0-d4e5b |
| - | libghc-logict-dev-0.7.0.2-0c541 |
| - | libghc-mtl-dev-2.2.2-7208c |
| - | libghc-pretty-dev-1.1.3.6-2f341 |
| >= 2.17 | libc6 |
| - | libgmp10 |
نحوه نصب
نصب پکیج deb libghc-smallcheck-dev:
sudo apt-get install libghc-smallcheck-dev_1.1.7-1_arm64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/libHSsmallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c-ghc8.8.4.so |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Drivers.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Drivers.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Property/Result.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Property/Result.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Property.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Property.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Series.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/Series.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/SeriesMonad.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck/SeriesMonad.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/Test/SmallCheck.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/smallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c/libHSsmallcheck-1.1.7-JjQqTvxRPkOBDRBDIiVD1c.a |
| ./usr/share/doc/libghc-smallcheck-dev/buildinfo_arm64.gz |
| ./usr/share/doc/libghc-smallcheck-dev/changelog.Debian.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.7.conf |