معرفی شرکت ها
libghc-what4-doc_1.3-4_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bookworm-12 |
مخزن | Debian main all |
نام بسته | libghc-what4-doc |
نام فایل بسته | libghc-what4-doc_1.3-4_all.deb |
نسخه بسته | 1.3 |
انتشار بسته | 4 |
معماری بسته | all |
نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | https://github.com/GaloisInc/what4 |
مجوز | - |
حجم دانلود | 1432668 |
حجم نصب | 36176 |
نیازمندی
مقدار | نام |
---|---|
- | haddock-interface-38 |
نحوه نصب
نصب پکیج deb libghc-what4-doc:
sudo apt-get install libghc-what4-doc_1.3-4_all.deb
فایل ها
مسیرها |
---|
./usr/lib/ghc-doc/haddock/what4-1.3/what4.haddock |
./usr/share/doc/libghc-what4-doc/buildinfo_all.gz |
./usr/share/doc/libghc-what4-doc/changelog.Debian.gz |
./usr/share/doc/libghc-what4-doc/changelog.gz |
./usr/share/doc/libghc-what4-doc/copyright |
./usr/share/doc/libghc-what4-doc/html/CHANGES.md.gz |
./usr/share/doc/libghc-what4-doc/html/README.md.gz |
./usr/share/doc/libghc-what4-doc/html/Test-Verification.html |
./usr/share/doc/libghc-what4-doc/html/What4-BaseTypes.html |
./usr/share/doc/libghc-what4-doc/html/What4-Concrete.html |
./usr/share/doc/libghc-what4-doc/html/What4-Config.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-Allocator.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-App.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-AppTheory.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-ArrayUpdateMap.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-BoolMap.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-Builder.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-GroundEval.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-MATLAB.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-Simplify.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-StringSeq.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-UnaryBV.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-VarIdentification.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr-WeightedSum.html |
./usr/share/doc/libghc-what4-doc/html/What4-Expr.html |
./usr/share/doc/libghc-what4-doc/html/What4-FloatMode.html |
./usr/share/doc/libghc-what4-doc/html/What4-FunctionName.html |
./usr/share/doc/libghc-what4-doc/html/What4-IndexLit.html |
./usr/share/doc/libghc-what4-doc/html/What4-Interface.html |
./usr/share/doc/libghc-what4-doc/html/What4-InterpretedFloatingPoint.html |
./usr/share/doc/libghc-what4-doc/html/What4-LabeledPred.html |
./usr/share/doc/libghc-what4-doc/html/What4-Panic.html |
./usr/share/doc/libghc-what4-doc/html/What4-Partial.html |
./usr/share/doc/libghc-what4-doc/html/What4-ProblemFeatures.html |
./usr/share/doc/libghc-what4-doc/html/What4-ProgramLoc.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-Online.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-PolyRoot.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-ReadDecimal.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SExp.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2-Parse.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2-Response.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2-Syntax.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTWriter.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter-ABCVerilog.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter-AST.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter-Backend.html |
./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter.html |
./usr/share/doc/libghc-what4-doc/html/What4-SFloat.html |
./usr/share/doc/libghc-what4-doc/html/What4-SWord.html |
... and 168 more |