معرفی شرکت ها
libghc-parameterized-utils-dev_2.1.5.0-2+b3_armhf.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Classes/data structures for data-kind indexed types
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main armhf |
| نام بسته | libghc-parameterized-utils-dev |
| نام فایل بسته | libghc-parameterized-utils-dev_2.1.5.0-2+b3_armhf.deb |
| نسخه بسته | 2.1.5.0 |
| انتشار بسته | 2+b3 |
| معماری بسته | armhf |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/GaloisInc/parameterized-utils |
| مجوز | - |
| حجم دانلود | 883112 |
| حجم نصب | 9943 |
This package contains collection classes and type representations
used for working with values that have a single parameter. It's
intended for things like expression libraries where one wishes
to leverage the Haskell type-checker to improve type-safety by encoding
the object language type system into data kinds.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-parameterized-utils-dev_2.1.5.0-2+b2_mips64el.deb | 2.1.5.0 | mips64el | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b2_mipsel.deb | 2.1.5.0 | mipsel | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b2_ppc64el.deb | 2.1.5.0 | ppc64el | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b3_i386.deb | 2.1.5.0 | i386 | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b3_s390x.deb | 2.1.5.0 | s390x | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b4_amd64.deb | 2.1.5.0 | amd64 | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b4_arm64.deb | 2.1.5.0 | arm64 | Debian main |
| libghc-parameterized-utils-dev_2.1.5.0-2+b4_armel.deb | 2.1.5.0 | armel | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-base-dev-4.15.1.0-0d25e |
| - | libghc-base-orphans-dev-0.8.7-07c75 |
| - | libghc-constraints-dev-0.13.4-a0408 |
| - | libghc-containers-dev-0.6.4.1-3dea5 |
| - | libghc-deepseq-dev-1.4.5.0-5bb0a |
| - | libghc-ghc-prim-dev-0.7.0-5c885 |
| - | libghc-hashable-dev-1.3.5.0-43001 |
| - | libghc-hashtables-dev-1.2.4.2-a05c0 |
| - | libghc-indexed-traversable-dev-0.1.2-defe0 |
| - | libghc-lens-dev-5.0.1-72530 |
| - | libghc-mtl-dev-2.2.2-df477 |
| - | libghc-profunctors-dev-5.6.2-4c683 |
| - | libghc-template-haskell-dev-2.17.0.0-b650a |
| - | libghc-text-dev-1.2.5.0-262bd |
| - | libghc-th-abstraction-dev-0.4.5.0-a13b4 |
| - | libghc-vector-dev-0.12.3.1-7c5a2 |
| >= 2.4 | libc6 |
| >= 2:6.2.1+dfsg1 | libgmp10 |
نحوه نصب
نصب پکیج deb libghc-parameterized-utils-dev:
sudo apt-get install libghc-parameterized-utils-dev_2.1.5.0-2+b3_armhf.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/libHSparameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3-ghc9.0.2.so |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/All.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/All.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Axiom.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Axiom.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/BoolRepr.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/BoolRepr.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Classes.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Classes.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/ClassesC.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/ClassesC.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Compose.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Compose.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context/Safe.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context/Safe.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context/Unsafe.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context/Unsafe.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Ctx/Proofs.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Ctx/Proofs.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Ctx.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Ctx.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/DataKind.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/DataKind.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/DecidableEq.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/DecidableEq.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Fin.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Fin.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/HashTable.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/HashTable.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/List.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/List.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Map.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Map.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/NatRepr/Internal.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/NatRepr/Internal.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/NatRepr.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/NatRepr.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce/Transformers.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce/Transformers.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce/Unsafe.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce/Unsafe.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Pair.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Pair.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Peano.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Peano.hi |
| ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Some.dyn_hi |
| ... and 29 more |