[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

原始碼套件：haskell-simple-smt（0.9.1-1）

haskell-simple-smt 的相關連結

Debian 的資源：

維護小組：

外部的資源：

主頁 [hackage.haskell.org]

本原始碼套件構建了以下這些二進位制包：

libghc-simple-smt-dev: A simple way to interact with an SMT solver process.
libghc-simple-smt-doc: A simple way to interact with an SMT solver process.; documentation
libghc-simple-smt-prof: A simple way to interact with an SMT solver process.; profiling libraries

其他與 haskell-simple-smt 有關的套件

構建架構特定包依賴

構建架構獨立包依賴

adep: cdbs

common build system for Debian packages
adep: debhelper (>= 10)

helper programs for debian/rules
adep: ghc (>= 8)

The Glasgow Haskell Compilation system
adep: ghc-prof

Profiling libraries for the Glasgow Haskell Compilation system
adep: haskell-devscripts (>= 0.13)

Tools to help Debian developers build Haskell packages

idep: ghc-doc

Documentation for the Glasgow Haskell Compilation system

Download haskell-simple-smt

檔案	大小（單位：kB）	MD5 校驗碼
haskell-simple-smt_0.9.1-1.dsc	2。3 kB	1a01a69b36e5dafe77427aa58727bdf4
haskell-simple-smt_0.9.1.orig.tar.gz	8。6 kB	56202d60432629b2235b5f34bd5cc1f7
haskell-simple-smt_0.9.1-1.debian.tar.xz	2。4 kB	8c0cc05cce7709d61fcf4962b3e3a36e

Debian 套件原始碼倉庫（VCS：Git）: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-simple-smt]
Debian 套件原始碼倉庫（可線上瀏覽）: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-simple-smt