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

原始碼套件：haskell-simple-smt（0.9.5-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.5-1.dsc	2。3 kB	e5d55deec029eb0a18c9fdbe1861852b
haskell-simple-smt_0.9.5.orig.tar.gz	9。1 kB	427b7543b317f7f27a9fd00396a35acc
haskell-simple-smt_0.9.5-1.debian.tar.xz	2。5 kB	63849c2c3555f8b70f516fc7c7275ef3

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