全部搜尋項
bookworm  ] [  trixie  ] [  sid  ]

原始碼套件:haskell-what4(1.3-4)

haskell-what4 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
haskell-what4-utils
Solver-agnostic symbolic values support for issuing queries
libghc-what4-dev
Solver-agnostic symbolic values support for issuing queries
libghc-what4-doc
Solver-agnostic symbolic values support for issuing queries; documentation
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries

其他與 haskell-what4 有關的套件

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

Download haskell-what4

檔案大小(單位:kB)MD5 校驗碼
haskell-what4_1.3-4.dsc 5。6 kB 87752c59b0f76f8efc328171c3ba4694
haskell-what4_1.3.orig.tar.gz 363。6 kB df1de622e4410ccf1adbb3e12437c0ae
haskell-what4_1.3-4.debian.tar.xz 3。6 kB 973f47c2a4efc22d809238e9b616dff2
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-what4]
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-what4