معرفی شرکت ها
libghc-parameterized-utils-prof_2.1.5.0-2+b4_arm64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Classes/data structures for data-kind indexed types; profiling libraries
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main arm64 |
| نام بسته | libghc-parameterized-utils-prof |
| نام فایل بسته | libghc-parameterized-utils-prof_2.1.5.0-2+b4_arm64.deb |
| نسخه بسته | 2.1.5.0 |
| انتشار بسته | 2+b4 |
| معماری بسته | arm64 |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/GaloisInc/parameterized-utils |
| مجوز | - |
| حجم دانلود | 988228 |
| حجم نصب | 11063 |
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, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-parameterized-utils-prof_2.1.5.0-2+b2_mips64el.deb | 2.1.5.0 | mips64el | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b2_mipsel.deb | 2.1.5.0 | mipsel | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b2_ppc64el.deb | 2.1.5.0 | ppc64el | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b3_armhf.deb | 2.1.5.0 | armhf | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b3_i386.deb | 2.1.5.0 | i386 | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b3_s390x.deb | 2.1.5.0 | s390x | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b4_amd64.deb | 2.1.5.0 | amd64 | Debian main |
| libghc-parameterized-utils-prof_2.1.5.0-2+b4_armel.deb | 2.1.5.0 | armel | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-base-orphans-prof-0.8.7-51209 |
| - | libghc-base-prof-4.15.1.0-78aa1 |
| - | libghc-constraints-prof-0.13.4-36351 |
| - | libghc-containers-prof-0.6.4.1-567e5 |
| - | libghc-deepseq-prof-1.4.5.0-81ebb |
| - | libghc-ghc-prim-prof-0.7.0-65cf5 |
| - | libghc-hashable-prof-1.3.5.0-22c73 |
| - | libghc-hashtables-prof-1.2.4.2-85479 |
| - | libghc-indexed-traversable-prof-0.1.2-5e493 |
| - | libghc-lens-prof-5.0.1-16972 |
| - | libghc-mtl-prof-2.2.2-e3bae |
| = 2.1.5.0-2+b4 | libghc-parameterized-utils-dev |
| - | libghc-profunctors-prof-5.6.2-f19b3 |
| - | libghc-template-haskell-prof-2.17.0.0-fec37 |
| - | libghc-text-prof-1.2.5.0-901e9 |
| - | libghc-th-abstraction-prof-0.4.5.0-5153e |
| - | libghc-vector-prof-0.12.3.1-64b75 |
نحوه نصب
نصب پکیج deb libghc-parameterized-utils-prof:
sudo apt-get install libghc-parameterized-utils-prof_2.1.5.0-2+b4_arm64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/All.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Axiom.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/BoolRepr.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Classes.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/ClassesC.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Compose.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context/Safe.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context/Unsafe.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Context.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Ctx/Proofs.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Ctx.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/DataKind.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/DecidableEq.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Fin.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/HashTable.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/List.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Map.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/NatRepr/Internal.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/NatRepr.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce/Transformers.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce/Unsafe.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Nonce.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Pair.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Peano.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Some.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/SymbolRepr.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/TH/GADT.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/TraversableF.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/TraversableFC/WithIndex.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/TraversableFC.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Utils/BinTree.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Utils/Endian.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/Vector.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized/WithRepr.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/Data/Parameterized.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3/libHSparameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3_p.a |
| ./usr/share/doc/libghc-parameterized-utils-prof/buildinfo_arm64.gz |
| ./usr/share/doc/libghc-parameterized-utils-prof/changelog.Debian.arm64.gz |
| ./usr/share/doc/libghc-parameterized-utils-prof/changelog.Debian.gz |
| ./usr/share/doc/libghc-parameterized-utils-prof/changelog.gz |
| ./usr/share/doc/libghc-parameterized-utils-prof/copyright |