全部搜尋項
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ 原始碼: haskell-sbv  ]

套件:libghc-sbv-prof(7.13-1 以及其他的)

libghc-sbv-prof 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 haskell-sbv

維護小組:

外部的資源:

相似套件:

symbolic Haskell theorem prover using SMT solving; profiling libraries

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

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

其他與 libghc-sbv-prof 有關的套件

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

下載 libghc-sbv-prof

下載可用於所有硬體架構的
硬體架構 版本 套件大小 安裝後大小 檔案
alpha (非官方移植版) 7.13-1+b2 4,920。7 kB67,327。0 kB [檔案列表]
amd64 7.13-1+b2 3,331。4 kB40,382。0 kB [檔案列表]
arm64 7.13-1+b2 3,737。2 kB46,555。0 kB [檔案列表]
armel 7.13-1+b1 3,607。7 kB34,868。0 kB [檔案列表]
armhf 7.13-1+b3 3,569。1 kB34,129。0 kB [檔案列表]
hppa (非官方移植版) 7.13-1+b2 6,055。3 kB63,481。0 kB [檔案列表]
i386 7.13-1+b2 3,344。0 kB30,327。0 kB [檔案列表]
m68k (非官方移植版) 7.13-1+b2 4,787。9 kB48,916。0 kB [檔案列表]
mips64el 7.13-1+b1 4,601。6 kB64,526。0 kB [檔案列表]
mipsel 7.13-1+b2 4,297。1 kB44,784。0 kB [檔案列表]
powerpcspe (非官方移植版) 7.5-1+b1 3,766。0 kB42,974。0 kB [檔案列表]
ppc64 (非官方移植版) 7.13-1+b3 4,227。3 kB67,202。0 kB [檔案列表]
ppc64el 7.13-1+b2 4,456。0 kB64,919。0 kB [檔案列表]
riscv64 (非官方移植版) 7.13-1+b1 8,095。0 kB115,352。0 kB [檔案列表]
s390x 7.13-1+b2 4,086。5 kB57,191。0 kB [檔案列表]
sparc64 (非官方移植版) 7.13-1+b3 6,321。9 kB109,784。0 kB [檔案列表]
x32 (非官方移植版) 7.13-1+b3 5,503。3 kB53,353。0 kB [檔案列表]