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

套件:libghc-sbv-prof(7.12-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

下載可用於所有硬體架構的
硬體架構 版本 套件大小 安裝後大小 檔案
amd64 7.12-2+b2 3,299。2 kB39,875。0 kB [檔案列表]
arm64 7.12-2+b2 3,653。8 kB45,608。0 kB [檔案列表]
armel 7.12-2+b3 3,565。3 kB34,260。0 kB [檔案列表]
armhf 7.12-2+b2 3,516。1 kB33,536。0 kB [檔案列表]
i386 7.12-2+b2 3,290。4 kB29,879。0 kB [檔案列表]
mips 7.12-2+b2 4,167。1 kB44,100。0 kB [檔案列表]
mips64el 7.12-2+b2 4,551。9 kB63,413。0 kB [檔案列表]
mipsel 7.12-2+b2 4,219。6 kB44,104。0 kB [檔案列表]
ppc64el 7.12-2+b2 4,348。8 kB63,477。0 kB [檔案列表]
s390x 7.12-2+b2 4,077。3 kB56,044。0 kB [檔案列表]