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

套件：libghc-sbv-prof（10.2-2 以及其他的）

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-2+b1 5，892。2 kB67，597。0 kB [檔案列表]
arm64 10.2-2+b1 6，863。4 kB86，054。0 kB [檔案列表]
armel 10.2-2+b1 8，037。7 kB80，266。0 kB [檔案列表]
armhf 10.2-2+b1 7，897。2 kB78，659。0 kB [檔案列表]
hppa （非官方移植版） 10.2-2+b1 10，613。8 kB100，009。0 kB [檔案列表]
i386 10.2-2+b1 8，472。5 kB73，860。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-2+b1 7，957。6 kB102，571。0 kB [檔案列表]
ppc64 （非官方移植版） 10.2-2 7，507。3 kB112，620。0 kB [檔案列表]
ppc64el 10.2-2 7，965。6 kB108，831。0 kB [檔案列表]
riscv64 10.2-2 12，841。8 kB163，821。0 kB [檔案列表]
s390x 10.2-2 9，089。6 kB134，026。0 kB [檔案列表]
sparc64 （非官方移植版） 10.2-2 10，338。4 kB165，200。0 kB [檔案列表]
x32 （非官方移植版） 8.17-1+b2 8，970。3 kB91，700。0 kB [檔案列表]