معرفی شرکت ها
libghc-cryptol-doc_2.4.0-3_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
domain-specific language of cryptography; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe all |
| نام بسته | libghc-cryptol-doc |
| نام فایل بسته | libghc-cryptol-doc_2.4.0-3_all.deb |
| نسخه بسته | 2.4.0 |
| انتشار بسته | 3 |
| معماری بسته | all |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.cryptol.net/ |
| مجوز | - |
| حجم دانلود | 622376 |
| حجم نصب | 12390 |
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
.
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-28 |
نحوه نصب
نصب پکیج deb libghc-cryptol-doc:
sudo apt-get install libghc-cryptol-doc_2.4.0-3_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/cryptol-2.4.0/cryptol.haddock |
| ./usr/share/doc/libghc-cryptol-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-cryptol-doc/copyright |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Eval-Arch.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Eval-Env.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Eval-Error.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Eval-Type.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Eval-Value.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Eval.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-Base.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-Env.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-Interface.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-Monad.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-Name.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-NamingEnv.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem-Renamer.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-ModuleSystem.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-AST.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Lexer.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Name.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Names.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-NoInclude.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-NoPat.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Position.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Unlit.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Utils.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Prims-Eval.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Prims-Syntax.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-REPL-Command.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-REPL-Monad.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-REPL-Trie.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Symbolic-Prims.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Symbolic-Value.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Symbolic.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Testing-Concrete.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Testing-Random.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Transform-MonoValues.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-Transform-Specialize.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-AST.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Depends.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Infer.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-InferTypes.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Instantiate.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Kind.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Monad.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-PP.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Sanity.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Solve.html |
| ./usr/share/doc/libghc-cryptol-doc/html/Cryptol-TypeCheck-Solver-Class.html |
| ... and 221 more |