全部搜尋項
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

原始碼套件:haskell-simple-smt(0.9.1-1)

haskell-simple-smt 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
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 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

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 套件原始碼倉庫(VCSGit
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