معرفی شرکت ها


libghc-simple-smt-prof_0.9.5-1_s390x.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

A simple way to interact with an SMT solver process.; profiling libraries
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main s390x
نام بسته libghc-simple-smt-prof
نام فایل بسته libghc-simple-smt-prof_0.9.5-1_s390x.deb
نسخه بسته 0.9.5
انتشار بسته 1
معماری بسته s390x
نگهدارنده Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://hackage.haskell.org/package/simple-smt
مجوز -
حجم دانلود 95396
حجم نصب 976
This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


جایگزین ها

بسته نسخه معماری مخزن
libghc-simple-smt-prof_0.9.5-1_amd64.deb 0.9.5 amd64 Debian main
libghc-simple-smt-prof_0.9.5-1_arm64.deb 0.9.5 arm64 Debian main
libghc-simple-smt-prof_0.9.5-1_armel.deb 0.9.5 armel Debian main
libghc-simple-smt-prof_0.9.5-1_armhf.deb 0.9.5 armhf Debian main
libghc-simple-smt-prof_0.9.5-1_i386.deb 0.9.5 i386 Debian main
libghc-simple-smt-prof_0.9.5-1_mips64el.deb 0.9.5 mips64el Debian main
libghc-simple-smt-prof_0.9.5-1_mipsel.deb 0.9.5 mipsel Debian main
libghc-simple-smt-prof_0.9.5-1_ppc64el.deb 0.9.5 ppc64el Debian main


نیازمندی

مقدار نام
= 0.9.5-1 libghc-simple-smt-dev
- libghc-base-prof-4.13.0.0-95196
- libghc-process-prof-1.6.9.0-d3807


نحوه نصب


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

    sudo apt-get install libghc-simple-smt-prof_0.9.5-1_s390x.deb


فایل ها

مسیرها
./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/simple-smt-0.9.5-IP4XloT5eML6GDMEBYzIK8/SimpleSMT.p_hi
./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/simple-smt-0.9.5-IP4XloT5eML6GDMEBYzIK8/libHSsimple-smt-0.9.5-IP4XloT5eML6GDMEBYzIK8_p.a
./usr/share/doc/libghc-simple-smt-prof/buildinfo_s390x.gz
./usr/share/doc/libghc-simple-smt-prof/changelog.Debian.gz
./usr/share/doc/libghc-simple-smt-prof/changelog.gz
./usr/share/doc/libghc-simple-smt-prof/copyright