全部搜尋項
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 原始碼: haskell-smtlib  ]

套件:libghc-smtlib-dev(1.0.9-2 以及其他的)

libghc-smtlib-dev 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 haskell-smtlib

維護小組:

相似套件:

A library for working with the SMTLIB format.

. This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

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

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 libghc-smtlib-dev

下載可用於所有硬體架構的
硬體架構 版本 套件大小 安裝後大小 檔案
amd64 1.0.9-2+b2 499。5 kB5,771。0 kB [檔案列表]
arm64 1.0.9-2+b2 648。3 kB8,007。0 kB [檔案列表]
armel 1.0.9-2+b3 628。2 kB6,292。0 kB [檔案列表]
armhf 1.0.9-2+b2 621。8 kB6,188。0 kB [檔案列表]
i386 1.0.9-2+b2 468。4 kB4,497。0 kB [檔案列表]
mips 1.0.9-2+b2 614。6 kB7,485。0 kB [檔案列表]
mips64el 1.0.9-2+b2 680。0 kB9,728。0 kB [檔案列表]
mipsel 1.0.9-2+b2 633。3 kB7,485。0 kB [檔案列表]
ppc64el 1.0.9-2+b2 718。9 kB9,711。0 kB [檔案列表]
s390x 1.0.9-2+b2 746。9 kB9,266。0 kB [檔案列表]