Pacote: libghc-sbv-doc (10.2-2)

Links para libghc-sbv-doc

• Rastreador de patch eLxr

Baixe o pacote-fonte haskell-sbv:

• [haskell-sbv_10.2-2.debian.tar.xz]
• [haskell-sbv_10.2-2.dsc]
• [haskell-sbv_10.2.orig.tar.gz]

Mantenedores(as):

• Debian Haskell Group
• Clint Adams

Fontes externas:

• Pagina principal [leventerkok.github.io]

Pacotes similares:

• libghc-sbv-prof
• libghc-what4-doc
• libghc-simple-smt-doc
• libghc-what4-dev
• libghc-what4-prof
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libghc-diagrams-solve-doc
• libcvc4-7
• libghc-copilot-theorem-doc
• libcvc4parser7

Outros pacotes relacionados a libghc-sbv-doc

• dep: haddock-interface-42

  pacote virtual fornecido por ghc

• rec: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• rec: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• rec: libghc-libbf-doc

  Binding to the libBF library; documentation

• rec: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• rec: libghc-random-doc

  random number generator for Haskell; documentation

• rec: libghc-sbv-dev

  symbolic Haskell theorem prover using SMT solving

• rec: libghc-syb-doc

  Generic programming library for Haskell; documentation

• rec: libghc-uniplate-doc

  Documentation for uniform type generic traversals; documentation

• rec: libjs-mathjax

  JavaScript display engine for LaTeX and MathML

• sug: libghc-sbv-prof

  symbolic Haskell theorem prover using SMT solving; profiling libraries

Download de libghc-sbv-doc