معرفی شرکت ها
libghc-smtlib-doc_1.0.9-2build1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
A library for working with the SMTLIB format.; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Focal-20.04 |
| مخزن | Ubuntu universe all |
| نام بسته | libghc-smtlib-doc |
| نام فایل بسته | libghc-smtlib-doc_1.0.9-2build1_all.deb |
| نسخه بسته | 1.0.9 |
| انتشار بسته | 2build1 |
| معماری بسته | all |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 68084 |
| حجم نصب | 1329 |
.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
نیازمندی
| مقدار | نام |
|---|---|
| - | haddock-interface-33 |
نحوه نصب
نصب پکیج deb libghc-smtlib-doc:
sudo apt-get install libghc-smtlib-doc_1.0.9-2build1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/smtlib-1.0.9/smtLib.haddock |
| ./usr/share/doc/libghc-smtlib-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-smtlib-doc/copyright |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib1.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html |
| ./usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-46.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-A.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-All.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html |
| ./usr/share/doc/libghc-smtlib-doc/html/doc-index.html |
| ./usr/share/doc/libghc-smtlib-doc/html/haddock-bundle.min.js |
| ./usr/share/doc/libghc-smtlib-doc/html/hslogo-16.png |
| ./usr/share/doc/libghc-smtlib-doc/html/index.html |
| ./usr/share/doc/libghc-smtlib-doc/html/meta.json |
| ./usr/share/doc/libghc-smtlib-doc/html/minus.gif |
| ./usr/share/doc/libghc-smtlib-doc/html/ocean.css |
| ./usr/share/doc/libghc-smtlib-doc/html/plus.gif |
| ./usr/share/doc/libghc-smtlib-doc/html/quick-jump.css |
| ./usr/share/doc/libghc-smtlib-doc/html/smtLib.txt |
| ./usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.AST.html |
| ./usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.PP.html |
| ./usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.QF_AUFBV.html |
| ./usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.QF_BV.html |
| ./usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.html |
| ... and 13 more |