معرفی شرکت ها
libghc-bv-sized-dev_1.0.4-2+b3_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
bitvector datatype parameterized by the vector width
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main i386 |
| نام بسته | libghc-bv-sized-dev |
| نام فایل بسته | libghc-bv-sized-dev_1.0.4-2+b3_i386.deb |
| نسخه بسته | 1.0.4 |
| انتشار بسته | 2+b3 |
| معماری بسته | i386 |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/GaloisInc/bv-sized |
| مجوز | - |
| حجم دانلود | 262180 |
| حجم نصب | 2063 |
This module defines a width-parameterized bitvector type and various
associated operations.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-bv-sized-dev_1.0.4-2+b2_mips64el.deb | 1.0.4 | mips64el | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b2_mipsel.deb | 1.0.4 | mipsel | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b2_ppc64el.deb | 1.0.4 | ppc64el | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b3_arm64.deb | 1.0.4 | arm64 | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b3_armel.deb | 1.0.4 | armel | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b3_armhf.deb | 1.0.4 | armhf | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b4_amd64.deb | 1.0.4 | amd64 | Debian main |
| libghc-bv-sized-dev_1.0.4-2+b4_s390x.deb | 1.0.4 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-base-dev-4.15.1.0-6f9e8 |
| - | libghc-bitwise-dev-1.0.0.1-58113 |
| - | libghc-bytestring-dev-0.10.12.1-d7a8b |
| - | libghc-deepseq-dev-1.4.5.0-cb78f |
| - | libghc-panic-dev-0.4.0.1-f083b |
| - | libghc-parameterized-utils-dev-2.1.5.0-0a707 |
| - | libghc-random-dev-1.2.1.1-965d7 |
| - | libghc-th-lift-dev-0.8.2-311fa |
| >= 2.1.3 | libc6 |
| >= 2:6.2.1+dfsg1 | libgmp10 |
نحوه نصب
نصب پکیج deb libghc-bv-sized-dev:
sudo apt-get install libghc-bv-sized-dev_1.0.4-2+b3_i386.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Internal.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Internal.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Overflow.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Overflow.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Panic.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Panic.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Signed.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Signed.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Unsigned.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized/Unsigned.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/Data/BitVector/Sized.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1/libHSbv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1.a |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/libHSbv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1-ghc9.0.2.so |
| ./usr/share/doc/libghc-bv-sized-dev/buildinfo_i386.gz |
| ./usr/share/doc/libghc-bv-sized-dev/changelog.Debian.gz |
| ./usr/share/doc/libghc-bv-sized-dev/changelog.Debian.i386.gz |
| ./usr/share/doc/libghc-bv-sized-dev/changelog.gz |
| ./usr/share/doc/libghc-bv-sized-dev/copyright |
| ./var/lib/ghc/package.conf.d/bv-sized-1.0.4.conf |