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

原始碼套件：haskell-simple-smt（0.9.7-2）

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)

Debian tools to build Haskell packages (with hscolour)

idep: ghc-doc

Documentation for the Glasgow Haskell Compilation system

Download haskell-simple-smt

檔案	大小（單位：kB）	MD5 校驗碼
haskell-simple-smt_0.9.7-2.dsc	2。3 kB	e3baf13a20498a1fab5a59f71316b62e
haskell-simple-smt_0.9.7.orig.tar.gz	9。9 kB	967f6a30598e1f427cd27b6bca740c38
haskell-simple-smt_0.9.7-2.debian.tar.xz	2。6 kB	aa95a740ab71a971c8be3fd0b0c79a90

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