套件：libghc-smtlib-dev（1.1-4 以及其他的）

libghc-smtlib-dev 的相關連結

• eLxr 補丁追蹤網站

下載原始碼套件 haskell-smtlib：

• [haskell-smtlib_1.1-4.debian.tar.xz]
• [haskell-smtlib_1.1-4.dsc]
• [haskell-smtlib_1.1.orig.tar.gz]

維護小組：

• Debian Haskell Group
• Ilias Tsitsimpis

相似套件：

• libghc-smtlib-prof
• libghc-simple-smt-dev
• libghc-simple-smt-doc
• libghc-simple-smt-prof
• libghc-src-exts-util-dev
• libghc-src-exts-util-doc
• libghc-src-exts-util-prof
• libghc-url-dev
• libghc-constraints-extras-dev
• libghc-url-doc
• libghc-url-prof

其他與 libghc-smtlib-dev 有關的套件

• dep: libc6 (>= 2.17) [arm64]

  GNU C Library: Shared libraries
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libghc-base-dev-4.18.2.1-75247 [arm64]

  本虛擬套件由這些套件填實： ghc

• dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

  本虛擬套件由這些套件填實： ghc

• dep: libghc-pretty-dev-1.1.3.6-21c21 [arm64]

  本虛擬套件由這些套件填實： ghc

• dep: libghc-pretty-dev-1.1.3.6-8f6c9 [amd64]

  本虛擬套件由這些套件填實： ghc

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

下載 libghc-smtlib-dev