[ 源代码: haskell-smtlib ]
软件包: libghc-smtlib-dev (1.1-4) [universe]
libghc-smtlib-dev 的相关链接
Ubuntu 的资源:
下载源码包 haskell-smtlib:
维护者:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Haskell Group (Mail Archive)
- Ilias Tsitsimpis
It should generally not be necessary for users to contact the original maintainer.
相似软件包:
A library for working with the SMTLIB format.
其他与 libghc-smtlib-dev 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.2.5)
- GNU C Library: Shared libraries
-
- dep: libghc-base-dev-4.18.2.1-8e81e
- 本虚包由这些包填实: ghc
-
- dep: libghc-pretty-dev-1.1.3.6-8f6c9
- 本虚包由这些包填实: ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library