すべてのオプション
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: haskell-smtlib  ]

パッケージ: libghc-smtlib-prof (1.1-3 など)

libghc-smtlib-prof に関するリンク

Screenshot

Debian の資源:

haskell-smtlib ソースパッケージをダウンロード:

メンテナ:

類似のパッケージ:

A library for working with the SMTLIB format.; profiling libraries

. This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

その他の libghc-smtlib-prof 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libghc-smtlib-prof のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 1.1-3+b1 514.0 kB6,525.0 kB [ファイル一覧]
amd64 1.1-3+b1 365.2 kB4,198.0 kB [ファイル一覧]
arm64 1.1-3+b1 426.3 kB5,327.0 kB [ファイル一覧]
armel 1.1-3+b2 511.5 kB5,093.0 kB [ファイル一覧]
armhf 1.1-3+b2 499.5 kB4,998.0 kB [ファイル一覧]
hppa (非公式の移植版) 1.1-3+b4 621.4 kB5,901.0 kB [ファイル一覧]
i386 1.1-3+b1 501.0 kB4,501.0 kB [ファイル一覧]
ia64 (非公式の移植版) 1.1-3+b1 639.6 kB12,532.0 kB [ファイル一覧]
m68k (非公式の移植版) 1.1-3 562.0 kB5,333.0 kB [ファイル一覧]
mips64el 1.1-3+b1 461.5 kB6,114.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 1.1-3+b1 456.4 kB6,858.0 kB [ファイル一覧]
ppc64el 1.1-3+b1 471.7 kB6,641.0 kB [ファイル一覧]
riscv64 1.1-3+b1 784.2 kB9,867.0 kB [ファイル一覧]
s390x 1.1-3+b1 545.7 kB8,082.0 kB [ファイル一覧]
sh4 (非公式の移植版) 1.1-2 108.0 kB772.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 1.1-3+b2 587.5 kB9,966.0 kB [ファイル一覧]
x32 (非公式の移植版) 1.1-3 571.6 kB5,640.0 kB [ファイル一覧]