معرفی شرکت ها

libghc-singletons-prof_3.0.2-1_armhf.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Haskell framework for generating singleton types; profiling libraries
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main armhf
نام بسته libghc-singletons-prof
نام فایل بسته libghc-singletons-prof_3.0.2-1_armhf.deb
نسخه بسته 3.0.2
انتشار بسته 1
معماری بسته armhf
نگهدارنده Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.github.com/goldfirere/singletons
مجوز -
حجم دانلود 92620
حجم نصب 675
This library generates singleton types, promoted functions, and singleton functions using Template Haskell. It is useful for programmers who wish to use dependently typed programming techniques. The library was originally presented in /Dependently Typed Programming with Singletons/, published at the Haskell Symposium, 2012. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


جایگزین ها

بسته نسخه معماری مخزن
libghc-singletons-prof_3.0.2-1_amd64.deb 3.0.2 amd64 Debian main
libghc-singletons-prof_3.0.2-1_arm64.deb 3.0.2 arm64 Debian main
libghc-singletons-prof_3.0.2-1_armel.deb 3.0.2 armel Debian main
libghc-singletons-prof_3.0.2-1_i386.deb 3.0.2 i386 Debian main
libghc-singletons-prof_3.0.2-1_mips64el.deb 3.0.2 mips64el Debian main
libghc-singletons-prof_3.0.2-1_mipsel.deb 3.0.2 mipsel Debian main
libghc-singletons-prof_3.0.2-1_ppc64el.deb 3.0.2 ppc64el Debian main
libghc-singletons-prof_3.0.2-1_s390x.deb 3.0.2 s390x Debian main


نیازمندی

مقدار نام
- libghc-base-prof-4.15.1.0-0d25e
= 3.0.2-1 libghc-singletons-dev


نحوه نصب


نصب پکیج deb libghc-singletons-prof:

    sudo apt-get install libghc-singletons-prof_3.0.2-1_armhf.deb


فایل ها

مسیرها
./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/singletons-3.0.2-93hmyY3AGblEf4xcAeOh3k/Data/Singletons/Decide.p_hi
./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/singletons-3.0.2-93hmyY3AGblEf4xcAeOh3k/Data/Singletons/ShowSing.p_hi
./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/singletons-3.0.2-93hmyY3AGblEf4xcAeOh3k/Data/Singletons/Sigma.p_hi
./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/singletons-3.0.2-93hmyY3AGblEf4xcAeOh3k/Data/Singletons.p_hi
./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.0.2/singletons-3.0.2-93hmyY3AGblEf4xcAeOh3k/libHSsingletons-3.0.2-93hmyY3AGblEf4xcAeOh3k_p.a
./usr/share/doc/libghc-singletons-prof/buildinfo_armhf.gz
./usr/share/doc/libghc-singletons-prof/changelog.Debian.gz
./usr/share/doc/libghc-singletons-prof/changelog.gz
./usr/share/doc/libghc-singletons-prof/copyright