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

套件：libghc-sbv-prof（10.2-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 （非官方移植版） 10.2-1+b1 9，173。2 kB119，772。0 kB [檔案列表]
amd64 10.2-1+b2 6，083。2 kB72，746。0 kB [檔案列表]
arm64 10.2-1+b2 7，149。0 kB94，015。0 kB [檔案列表]
armel 10.2-1+b2 8，623。2 kB86，597。0 kB [檔案列表]
armhf 10.2-1+b2 8，504。8 kB84，787。0 kB [檔案列表]
hppa （非官方移植版） 10.2-1+b2 11，288。2 kB109，475。0 kB [檔案列表]
i386 10.2-1+b1 8，905。0 kB80，331。0 kB [檔案列表]
ia64 （非官方移植版） 10.2-1+b2 12，554。8 kB229，449。0 kB [檔案列表]
m68k （非官方移植版） 8.17-1+b2 8，359。1 kB88，233。0 kB [檔案列表]
mips64el 10.2-1+b2 8，213。1 kB111，747。0 kB [檔案列表]
ppc64 （非官方移植版） 10.2-1+b4 7，809。3 kB122，744。0 kB [檔案列表]
ppc64el 10.2-1+b2 8，192。8 kB118，528。0 kB [檔案列表]
riscv64 10.2-1+b2 13，719。5 kB179，854。0 kB [檔案列表]
s390x 10.2-1+b2 10，049。9 kB146，854。0 kB [檔案列表]
sparc64 （非官方移植版） 10.2-1+b3 10，775。3 kB181，743。0 kB [檔案列表]
x32 （非官方移植版） 8.17-1+b2 8，970。3 kB91，700。0 kB [檔案列表]