全部搜索项
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ 源代码:  ]

软件包:libghc-sbv-prof(7.13-1 以及其他的) [debports]

libghc-sbv-prof 的相关链接

Screenshot

Debian 的资源:

下载源码包

未找到

维护小组:

外部的资源:

相似软件包:

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+b1 4,931.7 kB66,906.0 kB [文件列表]