Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> 源代码 >> misc >> haskell-sbv
etiona  ] [  nabia  ] [  aramo  ]

源码包: haskell-sbv (5.14-1build3)

haskell-sbv 的相关链接

Trisquel 的资源:

维护者:

Original Maintainers:

外部的资源:

  • 主页 [leventerkok.github.com]
本源码包构建了以下这些二进制包:
libghc-sbv-dev
symbolic Haskell theorem prover using SMT solving
libghc-sbv-doc
symbolic Haskell theorem prover using SMT solving; documentation
libghc-sbv-prof
symbolic Haskell theorem prover using SMT solving; profiling libraries

其他与 haskell-sbv 有关的软件包

  • 完整构建时刻依赖
  • 单独构建时刻依赖

Download haskell-sbv

文件大小(单位: kB)MD5 校验码
haskell-sbv_5.14-1build3.dsc 2.8 kB 434a26cb402684ac0d90ead64f73dbda
haskell-sbv_5.14.orig.tar.gz 514.9 kB 759378d1bf13651d1ee9ebe9f50ce974
haskell-sbv_5.14-1build3.debian.tar.xz 2.6 kB 1ea1cd34a9de0abaaacb3410550bc116
Debian 软件包源码仓库(VCS: Git)
https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Debian 软件包源码仓库(可在线浏览)
https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-sbv